Publication

Operational ASM Semantics behind Graphical SEAM Notation

Related publications (109)

Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization

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 ...

IEEE2022

Code Generation Approach Supporting Complex System Modeling based on Graph Pattern Matching

Jinzhi Lu, Yan Yan

Code generation is an effective way to drive the complex system development in model-based systems engineering. Currently, different code generators are developed for different modeling languages to deal with the development of systems with multi-domain. T ...

ELSEVIER2022

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Jinzhi Lu, Xiaochen Zheng, Han Li

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalism of system architectures for supporting model-based requirement elicitation, specification, design, deve ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

Direct Model-checking of SysML Models

Alessandro Tempia Calvino

Model-checking intends to verify whether a property is satisfied by a model, or not. Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a ne ...

SCITEPRESS2021

A Novel Approach to Modeling Enterprise Services Leveraging Object Cloning and Multilevel Classification

Alain Wegmann, Lam Son Lê

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 ...

IEEE2019

Smart Factory Information Service Bus (SIBUS) for manufacturing application: requirement, architecture and implementation

Ian Anthony Stroud, Jumyung Um

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. ...

2019

Coopetition and Ecosystems: Case of Amazon.com

Alain Wegmann, Arash Golnam, Gorica Tapandjieva Sekulovska

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 – ...

Routledge2018

Bidirectional transformation between BIP and SysML for visualisation and editing

Leandro Kieliger, Clément Jean Maurice Nussbaumer

When it comes to designing software, the classic procedure consists of writing code that complies with the projects requirements first, and then to extensively test for bugs and defects. Although this approach is valid and can produce correct results, it i ...

2017

A Semantic Framework for Architecture Modelling

Eduard Baranov

Architectures are common means for organising coordination between components in order to build complex systems and to make them manageable. They allow thinking on a higher plane and avoiding low-level mistakes. Architectures provide means for ensuring cor ...

EPFL2017

Information Technology Governance in Public Organizations

This book examines trends and challenges in research on IT governance in public organizations, reporting innovative research and new insights in the theories, models and practices within the area. As we noticed, IT governance plays an important role in gen ...

Springer International Publishing2017

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.