—This paper highlights the requirements a model
needs to fulfill to match human user expectations. We introduce
higraph-based formalism for system modeling. Due to the
hierarchical and compositional nature of higraghs,
representations based on higraphs can capture all the relevant
aspects of the system to model. A system modeling language, arKItect is also introduced. We show how this language is based
on the proposed formalism.
—Higraph-based formalism, system modeling, system engineering framework, tool.
The authors are with Computer and System Department, ENSTA
ParisTech, 828 Boulevard des Maréchaux, 91120 Palaiseau, France (e-mail:
Cite: Hycham Aboutaleb and Bruno Monsuez, "A Higraph-Based Formalism for System Modelling
Language ArKItect," International Journal of Modeling and Optimization vol. 4, no. 3, pp. 246-250, 2014.