Handling Complexity of a Complex System Design: Paradigm, Formalism and Transformations

Authors: Hycham Aboutaleb, Bruno Monsuez

Abstract:

Current systems complexity has reached a degree that requires addressing conception and design issues while taking into account environmental, operational, social, legal and financial aspects. Therefore, one of the main challenges is the way complex systems are specified and designed. The exponential growing effort, cost and time investment of complex systems in modeling phase emphasize the need for a paradigm, a framework and an environment to handle the system model complexity. For that, it is necessary to understand the expectations of the human user of the model and his limits. This paper presents a generic framework for designing complex systems, highlights the requirements a system model needs to fulfill to meet human user expectations, and suggests a graphbased formalism for modeling complex systems. Finally, a set of transformations are defined to handle the model complexity.

Keywords: Higraph-based, formalism, system engineering paradigm, modeling requirements, graph-based transformations.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1107613

References:

[1] Hycham Aboutaleb, Samuel Boutin, and Bruno Monsuez. Handling scenarios complexity in model-based design. Concurrent Engineering: Research and Applications, Special issue: Complex systems design and Management, 20(2):1–20, 2012.
[2] Sara Sadvandi, Hycham Aboutaleb, Cosmin Dumitrescu. “Negotiation Process from a Systems Perspective”. In Proceedings of CSDM 2011, Paris, France, 2011. Springer Verlag.
[3] Martin, James N., Systems Engineering Guidebook: A Process for Developing Systems and Products, CRC Press, Inc.: Boca Raton, FL, 1996.
[4] Hsueh-Yung Benjamin Koo. A Meta-language for Systems Architecting. PhD thesis, MIT, USA, (2005)
[5] Håvard D. Jørgensen. Interactive Process Models. PhD thesis, Norwegian University of Science and Technology Trondheim, Norway, 2004.
[6] Mark Sean Avnet. Socio-Cognitive Analysis of Engineering Systems Design: Shared Knowledge, Process, and Product. PhD thesis, MIT, USA, 2009.
[7] Ali Mostashari. Stakeholder-Assisted Modeling and Policy Design Process for Engineering Systems. PhD thesis, MIT, USA, (2005)
[8] J.A. Cannon-Bowers, E. Salas, and S.A. Converse. Shared mental models in team decision making. In Individual and Group Decision Making, pages 221–246. N.J. Castellan Jr, (1993)
[9] Kevin Forsberg and Harold Mooz. The relationship of systems engineering to the project cycle. Journal of Applied Psychology, 85(2):273–283, 2000.
[10] Herbert A. Simon. “The architecture of complexity.” Proceedings of the American Philosophical Society, 106(6):467–482, 1962.
[11] Graeme S. Halford, Rosemary Baker, Julie E. McCredden, and John D.Bain. “How many variables can humans process?” Psychological Science, 16(1):70–76, 2005.
[12] Luca Cardelli and Peter Wegner. “On understanding types, data abstraction,and polymorphism.” ACM Comput. Surv., 17(4):471–522, 1985.
[13] Valerie Ahl and T. F. H. Allen. Hierarchy Theory - A Vision, Vocabulary, and Epistemology. Columbia University Press, 1996.
[14] G. S. Halford, J. Wiles, M. S. Humphreys, and W. H. Wilson. “Parallel distributed processing approaches to creative reasoning: Tensor models of memory and analogy.” In Proceedings of the AAAI Spring Symposium, Palo Alto, California, USA, 1993. T. Dartnall, S. Kim, and F. Sudweeks.
[15] Hermann Kopetz. The complexity challenge in embedded system design. In ISORC, pages 3–12, 2008.
[16] Marc Bouissou. Gestion de la complexité dans les études quantitatives de sûreté de fonctionnement de systèmes. Lavoisier, 2008.
[17] Alexander Harhurin, Judith Hartmann, and Daniel Ratiu. Motivation and formal foundations of a comprehensive modeling theory for embedded systems. Technical report, Technical University of Munich, 2009.
[18] Leen Lambers. Certifying Rule-Based Models using Graph Transformation. PhD thesis, Technical University of Berlin, Germany, 2009.
[19] Frank Drewes, Berthold Hoffman, and Detlef Plump. “Hierarchical graph transformation”. Journal of Computer and System Sciences, 64(2):449–283, 2002.
[20] David Harel. Statecharts: “A visual formalism for complex systems.” Science of Computer Programming, 8(5):231–274, 1987.
[21] David Harel. “On visual formalisms.” Communications of the ACM, 31(5):514–530, 1988.