From Models of Structures to Structures of Models

The complexity of industrial systems is steadily increasing. To face this complexity, the different engineering disciplines are designing models. hese models are complex as they reflect the complexity of systems under study. Therefore, they need to be structured. In this article we study structural constructs of modeling languages used in systems engineering. We introduce for that purpose a small domain specific language, the so-called S2ML for System Structure Modeling Language. We show that a large class of actual modeling languages can be (re)constructed by plugging their underlying mathematical framework into S2ML.

[1]  Niklaus Wirth,et al.  Algorithms + Data Structures = Programs , 1976 .

[2]  G. Lakoff,et al.  Women, Fire, and Dangerous Things: What Categories Reveal about the Mind , 1988 .

[3]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[4]  Armand Hatchuel,et al.  C-K design theory: an advanced formulation , 2008 .

[5]  Sanford Friedenthal,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2008 .

[6]  Eric R. Ziegel,et al.  System Reliability Theory: Models, Statistical Methods, and Applications , 2004, Technometrics.

[7]  Antoine Rauzy,et al.  Open-PSA Model Exchange Formal , 2015 .

[8]  Gordon D. Plotkin,et al.  The origins of structural operational semantics , 2004, J. Log. Algebraic Methods Program..

[9]  Antoine Rauzy,et al.  System Structure Modeling Language (S2ML) , 2015 .

[10]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[11]  A B Rauzy,et al.  Guarded transition systems: A new states/events formalism for reliability studies , 2008 .

[12]  Adele Goldberg,et al.  SmallTalk 80: The Language , 1989 .

[13]  Mark W. Maier.  Architecting Principles for Systems‐of‐Systems , 1996 .

[14]  Martín Abadi,et al.  A Theory of Objects , 1996, Monographs in Computer Science.

[15]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[16]  Marvin Rausand,et al.  System Reliability Theory: Models, Statistical Methods, and Applications , 2003 .

[17]  Antero Taivalsaari,et al.  Prototype-based programming : concepts, languages, and applications , 1999 .

[18]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[19]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[20]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[21]  Antoine Rauzy,et al.  The AltaRica 3.0 project for model-based safety assessment , 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).