Formal semantics for refinement verification of entreprise models
Related publications (132)
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
Turing Lecture from the winners of the 2007 ACM A.M. Turing Award.In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, and Joseph Sifakis working independently in France, authored seminal papers that founded what has become the highly succes ...
We propose and study the notions of behaviour type and composition operator making a first step towards the definition of a formal framework for studying behaviour composition in a setting sufficiently general to provide insight into how the component-base ...
SystemC is an IEEE standard system-level language used in hardware/software co-design and has been widely adopted in the industry. This paper describes a formal approach to verifying SystemC designs by providing a mapping to the process algebra mCRL2. Our ...
In the actual market conditions, where it is essential to rapidly respond to business opportunities that might emerge, the concept of virtual organisation (VO) appears particularly well suited. The possibility of rapidly forming a VO to respond to a busine ...
The ability of enterprise managers to come up with the decisions leading to the best outcome for the enterprise is hampered by their cognitive limits in understanding and addressing the dynamic and structural complexities residing in choice situations. Dyn ...
Modeling Enterprise Architecture requires representing multiple diagrams of an enterprise, which typically shows the multiples business entities, IT systems, even software components and the services they offer. This could be done by a team of stakeholders ...
Adopting a systemic view of an enterprise and its environment, we propose a model-based approach for designing viable enterprises. In our approach, we apply Systemic Enterprise Architecture Method (SEAM) to visualize and graphically represent various aspec ...
Business process modeling techniques, such as BPMN, encourage the early specification of the exact order in which the activities of the process will be executed. However, a business process may be exposed to different environments and subjected to many con ...
In this work, we apply a methodology which consistently integrates modeling, verification, and performance evaluation techniques, based on the BIP (Behavior, Interaction, Priority) component framework developed at Verimag [A. Basu et al., 2006; A. Basu et ...
2009
, ,
IT organizations that wish to implement the best practices recommended by the IT Infrastructure Library (ITIL) need to specify the level of service provided to their customers. The implemented service needs to comply with this specification. We propose a m ...
