Publications associées à Métamodèle

Metamodel for Safety Risk Management of Medical Devices Based on ISO 14971

Mihai Adrian Ionescu, David Atienza Alonso

The integration of information technologies into medical systems has led to an increase in digitalization, which results in enormous possibilities, but also challenges in system development. The ever-growing complexity of modern medical devices (MD) requir ...

2023

Surrogate modelling for seismic collapse risk assessment of steel moment resisting frames

Dimitrios Lignos, Andronikos Skiadopoulos, Nenad Bijelic

With the overall goal of reducing the numerical burden of uncertainty quantification involved in seismic risk assessments, this paper examines opportunities for assessment of seismic collapse capacity and risk using data-driven surrogates as a complement t ...

2023

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

Dimitrios Kyritsis, Yan Yan, Jinzhi Lu

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

Dimitrios Kyritsis, 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 INC2022

Ontology for SEAM Service Models

Alain Wegmann, Gorica Tapandjieva Sekulovska

A service system is a popular concept in academia and industry. At the same time, it is a challenging concept to represent, due to its recursive nature and difficulty to relate it to entities in reality. In this paper we present an ontology for modeling se ...

2018

Semantics of OCL specified with QVT

Slavisa Markovic

The Object Constraint Language (OCL) has been for many years formalized both in its syntax and semantics in the language standard. While the official definition of OCL's syntax is already widely accepted and strictly supported by most OCL tools, there is n ...

Springer-Verlag2008

Concrete syntax definition for modeling languages

Frédéric Fondement

Model Driven Engineering (MDE) promotes the use of models as primary artefacts of a software development process, as an attempt to handle complexity through abstraction, e.g. to cope with the evolution of execution platforms. MDE follows a stepwise approac ...

EPFL2007

Aspect-oriented model-driven engineering of middleware-mediated distributed systems

The era of distributed systems is upon us. The Internet revolution, combined with the recent explosion of smart devices, indicate a clear trend toward ubiquitous and pervasive computing that will continue to change the way people live and interact, the way ...

EPFL2007

RoclET– Refactoring OCL Expressions by Transformations

Slavisa Markovic, Cédric Jeanneret, Leander Eyer

The role of UML models in software development has changed considerably over the last years. While UML was used in its early days mostly as a notation for sketching ideas, developers more and more recognize now the value of a UML model as a formal document ...

2006

On the Usage of Concrete Syntax in Model Transformation Rules

Graph transformations are one of the best known approaches for defining transformations in model-based software development. They are defined over the abstract syntax of source and target languages, described by metamodels. Since graph transformations are ...

2006