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

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.




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.