Abstract

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.

Citations

1962	Statecharts: A visual formalism for complex systems - Harel - 1987
1635	Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints - Cousot, Cousot - 1977
1054	The Z notation : A reference manual - Spivey - 1992
790	The Unified Modeling Language Reference Manual - Rumbaugh, Jacobson, et al. - 1998
669	Introduction to the Modern Theory of Dynamical Systems - Katok, Hasselblatt - 1995
647	The B Book - Assigning Programs to Meanings - Abrial - 1996
514	The algorithmic analysis of hybrid systems - Alur, Courcoubetis, et al. - 1995
419	The synchronous data-flow programming language Lustre - Halbwachs, Caspi, et al. - 1991
377	The theory of hybrid automata - Henzinger - 1996
187	Abstract State Machines. A Method for High Level System Design and Analysis - Börger, Stärk - 2003
136	Semantic Domains - Gunter, Scott - 1990
121	Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers - Lamport - 2002
80	A method for synthesizing sequential circuits - Mealy - 1955
76	Introduction to Hamiltonian Dynamical Systems and the N-Body Problem - Meyer, Hall - 1992
70	Fundamentals of a theory of asynchronous information flow - Petri - 1963
61	Digital Communications, 3rd Edition - Proakis - 1995
53	Systems Engineering - Sage - 1992
48	Synchronous Kahn networks - Caspi, Pouzet - 1996
34	Embedded System Design - Marwedel
32	Fonctionnelles causales non linéaires et indéterminées non commutatives - Fliess - 1981
26	Function Point Analysis: Measurement Practices for Successful Software Projects - Garmus, Herron - 2001
26	Software Engineering with - Wordsworth - 1996
25	The embedded systems design challenge - Henzinger, Sifakis
25	Introduction to BPMN - White - 2005
24	The Synchronous Programming Language ESTEREL - Berry, Gonthier - 1992
17	Verification of Reactive Systems – Formal Methods and Algorithms - Schneider - 2003
13	Data–flow to Von Neumann: the Signal approach”, Proc. of the Workshop Data–flow: a Status Report, Eilat (Israël - Guernic, Gautier - 1989
9	SysML and UML 2 support for activity modeling - Bock - 2006
8	Nonstandard Analysis and its Applications - Cutland, ed - 1988
7	Formal specification of non-functional properties of component-based software - Zschaler - 2004
5	Transductions rationnelles. Applications aux langages alg'ebriques.Collection ERI - Boasson, Autebert - 1988
5	Vérification de logiciels : Techniques et outils du model-checking”, Vuibert - Schnoebelen, Bérard, et al. - 1999
4	Interface-Based Design,” Engineering Theories of Software Intensive Systems - Alfaro, Henzinger - 2005
3	Olsder G.J., Quadrat J.P., Synchronization and Linearity. An Algebra for Discrete Event Systems - Baccelli, Cohen - 1992
3	Enterprise Integration: The Essential Guide to Integration Solutions - Gold-Bernstein, Ruh - 2004
3	Le métier d’intégration de systèmes - Meinadier - 2002
3	System Modeling and Simulation: An Introduction - Severance - 2001
2	A Edwards, N Halbwachs, P Le Guernic, and R de Simone. The synchronous languages 12 years later - Benveniste, Caspi, et al. - 2003
2	D.: Towards a functional formalism for modelling complex industrial systems - Bliudze, Krob - 2005
2	Tag Gon Kim. Theory of Modelling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems - Zeigler, Praehofer - 2000
1	Urbanisation et BPM : le point de vue d’un DSI, Dunod - Caseau - 2006
1	Lucid Synchrone, un langage de programmation des systèmes réactifs, in “Systèmes Temps-réel : Techniques de Description et de Vérification - Théorie et Outils - Caspi, Hamon, et al. - 2006
1	Dym C.L., Fundamentals of Modeling and Analyzing Engineering Systems - Cha, Rosenberg - 2000
1	The semantics of a simple language for paralell programming - Kahn - 1974
1	EAI – Intégration des applications d’entreprise, Hermès - Manouvrier - 2001
1	Ingénierie et intégration de systèmes, Hermès - Meinadier - 1998
1	Processus métiers et systèmes d’information - Morley, Hugues, et al.
1	Deh C., Mesdon B., Trèves B., Coûts et durée des projets informatiques – Pratique des modèles d’estimation, Hermès Lavoisier - Printz - 2001
1	Analyse et conception de systèmes d’information, Les éditions Reynald Goulet - Satzinger, Jackson, et al. - 2003
1	Systems Modeling Language – Open Source Specification Project – http://www.sysml.org - SysML