Modelling of Complex Software Systems: A Reasoned Overview

This paper is devoted to the presentation of the key concepts on which a mathematical theory of complex (industrial) systems can be based. We especially show how this formal framework can capture the realness of modern information technologies. We also present some new modelling problems that are naturally emerging in the specific context of complex software systems.

[1]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[2]  Grady Booch,et al.  Software engineering with Ada , 1983 .

[3]  Ian Sommerville,et al.  Software engineering (6th ed.) , 2001 .

[4]  Jan van Leeuwen,et al.  Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics , 1994 .

[5]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[6]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[7]  Christian Onof.  Fundamentals of Modeling and Analyzing Engineering Systems , 2001 .

[8]  Thomas A. Henzinger,et al.  INTERFACE-BASED DESIGN , 2005 .

[9]  M. Fliess,et al.  Fonctionnelles causales non linaires et indtermines non commutatives , 1981 .

[10]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[11]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[12]  Klaus Schneider,et al.  Verification of Reactive Systems: Formal Methods and Algorithms , 2003 .

[13]  Stephen A. Edwards,et al.  The Synchronous Languages Twelve Years Later , 1997 .

[14]  Françoise Desrochers,et al.  Tool Box , 1995, IEEE Softw..

[15]  J. Craggs.  Applied Mathematical Sciences , 1973 .

[16]  Nigel Cutland.  Nonstandard Analysis and its Applications: Contents , 1988 .

[17]  David Herron,et al.  Function Point Analysis: Measurement Practices for Successful Software Projects , 2000 .

[18]  P. Guernic,et al.  Data-flow to Von Neumann : the SIGNAL approach , 1990 .

[19]  Peter Marwedel,et al.  Embedded system design , 2021, Embedded Systems.

[20]  Jean-Luc Gaudiot,et al.  Advanced Topics in Data-Flow Computing , 1991 .

[21]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[22]  Joe H. Mize,et al.  Introduction to industrial and systems engineering , 1987 .

[23]  Michel Bertrand,et al.  Systèmes dynamiques hybrides - Modélisation et simulation , 2015, Automatique et ingénierie système.

[24]  Kenneth R. Meyer,et al.  Introduction to Hamiltonian Dynamical Systems and the N-Body Problem , 1991 .

[25]  J. B. Wordsworth.  Software Engineering with B , 1996 .

[26]  Nigel J. Cutland,et al.  Nonstandard Analysis and its Applications , 1988 .

[27]  Carl A. Gunter,et al.  Semantic Domains , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[28]  C. A. Petri.  Fundamentals of a Theory of Asynchronous Information Flow , 1962, IFIP Congress.

[29]  Manfred Broy.  Engineering Theories of Software Intensive Systems , 2005 .

[30]  Thomas A. Henzinger,et al.  The Embedded Systems Design Challenge , 2006, FM.

[31]  William Ruh,et al.  Enterprise Integration: The Essential Guide to Integration Solutions , 2004 .

[32]  John G. Proakis,et al.  Digital Communications , 1983 .

[33]  Jamal Daafouz,et al.  Systèmes dynamiques hybrides , 2007 .

[34]  A. Katok,et al.  Introduction to the Modern Theory of Dynamical Systems: INTRODUCTION , 1995 .

[35]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[36]  Conrad Bock,et al.  SysML and UML 2 support for activity modeling , 2006, Syst. Eng..

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

[38]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[39]  Frank L. Severance.  System Modeling and Simulation: An Introduction , 2001 .

[40]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[41]  Tobias Nipkow,et al.  FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings , 2006, FM.

[42]  Mark W. Maier,et al.  System and software architecture reconciliation , 2006, Syst. Eng..

[43]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[44]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[45]  Steve Heath,et al.  Embedded Systems Design , 1997 .

[46]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[47]  Activité ad‐hoc Types de tâches.  Introduction to BPMN , 2004 .

[48]  John W. Satzinger,et al.  Analyse et conception de systemes d''information , 2003 .

[49]  Simon Bliudze,et al.  Towards a Functional Formalism for Modelling Complex Industrial Systems , 2004, Complexus.

[50]  Marc Pouzet,et al.  Synchronous Kahn networks , 1996, ICFP '96.

[51]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[52]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[53]  Klaus Schneider.  Verification of Reactive Systems , 2004, Texts in Theoretical Computer Science.

[54]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[55]  Leslie Lamport,et al.  Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.

[56]  Andrew P. Sage,et al.  Introduction to systems engineering , 2000 .

[57]  Conrad E. Bock.  SysML and UML 2 support for activity modeling , 2006 .

[58]  Ileana Ober,et al.  Models for Non-functional Aspects of Component-Based Software (NfC'04) , 2004, UML Satellite Activities.

[59]  George H. Mealy,et al.  A method for synthesizing sequential circuits , 1955 .

[60]  Wilfrid S. Kendall,et al.  NONSTANDARD ANALYSIS AND ITS APPLICATIONS (London Mathematical Society Student Texts 10) , 1989 .

[61]  S. T. Buckland,et al.  An Introduction to the Bootstrap. , 1994 .

[62]  C. Leake.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .