Formal semantics for refinement verification of entreprise models
Publications associées (132)
Graph Chatbot
Chattez avec Graph Search
Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
The Smart Factory is an important topic worldwide as a means for achieving Industry 4.0 in the manufacturing domain. Contemporary research on the Smart Factory has been concerned with application of the so-called Internet of Things (IoT) to the shop floor. ...
We describe the use of the concept of service for aligning the business activities of an organization and its IT resources. This work is set in the context of a longitudinal action-research project between our research unit and our university's IT departme ...
The lean startup framework is one of the most popular contributions in the practitioner-oriented entrepreneurship literature. This study seeks to generate new insights into how new ventures are started by describing the five main building blocks of the lea ...
In hard real-time embedded systems, design and specification methods and their associated tools must allow development of temporally deterministic systems to ensure their safety. To achieve this goal, we are specifically interested in methodologies based o ...
We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...
Object-oriented modeling is concerned with capturing common properties of objects. The dominant thinking in this realm is to classify objects that share certain properties into what is called a class, which in turn enables us to instantiate additional obje ...
Software network functions (NFs), such as a network address translator, load balancer, or proxy,
promise to bring flexibility and rapid innovation to computer networks and to reduce operational costs.
However, continuous updates and flexibility typically c ...
With the continuous improvement of system scale and complexity, model-based system engineering (MBSE) is of great importance in the practice of system engineering (SE). MBSE has been widely concerned in industry, especially in the field of complex equipmen ...
Business and innovation ecosystems involve complex interdependencies among various actors. The concept of ecosystem is useful for analyzing strategies in which competitors are also considered as complementary partners. To make this explicit, we use SEAM – ...
Service modeling is an important step in designing service-oriented systems. There are multiple levels of design because service sci-ence includes both the business rationale and the IT implementation ofthe services. As business and IT perspectives differ, ...