AltaRica Association logo The AltaRica Association
HomeS2ML
S2ML (System Structure Modeling Language)

System engineering modeling formalisms and languages are made of two parts:

  • An underlying mathematical model, that is capturing some aspect of the behavior of the system, e.g. differential equations for Modelica and Matlab-Simulink, Data-Flow equations for Lustre, Guarded Transition Systems for AltaRica.
  • A structuring paradigm that makes it possible to build models by assembling parts (usually copied from libraries of reusable components) into hierarchical descriptions. E.g. Modelica is an object-oriented formalism. This structural part is usually flattened/compiled before the actual treatments take place.

Modeling Language = Mathematical Model + Structuring Paradigm

S2ML is a freely available, prototype oriented modeling language that aims at providing a necessary and sufficient set of concepts to describe functional and/or physical structures of systems and to structure models.

To know more about S2ML: