Measuring Complexity of System / Software Architecture Using Higraph-Based Model

The exponential growing effort, cost and time investment of complex systems in modeling phase emphasize the need for a methodology, a framework and a environment to handle the system model complexity. For that, it is necessary to be able to measure the system model complexity. This paper highlights the requirements a model needs to fulfill to match human user expectations. It suggests a hierarchical graphbased formalism for modeling complex systems and presents transformations to handle the underlying complexity. Finally, a way to measure complexity based on Shannon theory of information is proposed and applied to an example.

[1]  Leen Lambers,et al.  Certifying rule-based models using graph transformation , 2009 .

[2]  Giorgio De Michelis,et al.  A Light Workflow Management System Using Simple Process Models , 2000, Computer Supported Cooperative Work (CSCW).

[3]  A. Mostashari Stakeholder-Assisted Modeling and Policy Design Process for Engineering Systems , 2005 .

[4]  HERBERT A. SIMON,et al.  The Architecture of Complexity , 1991 .

[5]  David S. Munro,et al.  Collaboration and composition: issues for a second generation process language , 1999, ESEC/FSE-7.

[6]  Bart R. Meijer Organization structures for dealing with complexity , 2006 .

[7]  J. Bain,et al.  PSYCHOLOGICAL SCIENCE Research Article How Many Variables Can Humans Process? , 2022 .

[8]  Matti J. Kinnunen,et al.  Complexity Measures for System Architecture Models , 2006 .

[9]  T. Allen,et al.  Hierarchy Theory: A Vision, Vocabulary, and Epistemology , 1996 .

[10]  Edward F. Crawley,et al.  A meta-language for systems architecting , 2005 .

[11]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[12]  Mark Austin,et al.  System modeling and traceability applications of the higraph formalism , 2009 .

[13]  Maria Letizia Jaccheri,et al.  Eliciting software process models with the E3 language , 1998, TSEM.

[14]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[15]  David Harel,et al.  On visual formalisms , 1988, CACM.

[16]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.