Modelling of complex software systems: A reasoned overview

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4229 LNCS, Issue , 2006, Pages 1-22

  Krob, Daniel ^a  

^a ÉCOLE POLYTECHNIQUE   (France)

Author keywords

Complex system; Information system; Integrated system; Modelling; Software system

Indexed keywords

COMPUTER SIMULATION; DATA PROCESSING; INFORMATION TECHNOLOGY; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; COMPUTER SOFTWARE; INFORMATION SYSTEMS; MODELS;

INFORMATION SYSTEMS; INTEGRATED SYSTEMS; MATHEMATICAL THEORY; SOFTWARE SYSTEMS; COMPLEX SOFTWARE SYSTEMS; FORMAL FRAMEWORK; MODERN INFORMATION TECHNOLOGIES;

COMPUTER SOFTWARE; FORMAL METHODS;

EID: 33750572840     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11888116_1     Document Type: Conference Paper

References (60)

1. ABRIAL J.R., The B-book - Assigning programs to meanings, Cambridge University Press, 1996.
2. ALUR R., COURCOUBETIS C., HALBWACHS N., HENZINGER T.A., HO P.H., NICOLLIN X., OLIVERO A., SIFAKIS J., YOVINE S., The algorithmic analysis of hybrid systems, Theor. Comp. Sci., 1995; 138 (1): 3-34.
3. AUTEBERT J.M., BOASSON L., Transductions rationnelles - Applications aux langages algébriques, Collection ERI, Masson, 1988.
4. BACCELLI F., COHEN G., OLSDER G.J., QUADRAT J.P., Synchronization and linearity - An algebra for discrete event systems, Wiley, 1992.
5. BENVENISTE A., CASPI P., EDWARDS S.A., HALBWACHS N., LE GUERNIC P., DE SIMONE R., The Synchronous Languages Twelve years later, Proc. of the IEEE, Special issue on Embedded Systems, 2003; 91 (1): 64-83.
6. BÉRARD B., BIDOIT M., LAROUSSINIE F., PETIT A., SCHNOEBELEN P., Vérification de logiciels - Techniques et outils du model-checking, Vuibert Informatique, 1999.
7. BERRY G., GONTHIER G., The Synchronous Programming Language ESTEREL: Design, Semantics, Implementation Science of Computer Programming, 19, 83-152, 1992.
8. BOCK C., SysML and UML2 Support for Activity Modeling, Systems Engineering, 9, (2), 160-186, 2006.
9. BÖRGER E., STÄRK R., Abstract state machines - A method for high-level system design and analysis, Springer, 2003.
10. BUSINESS PROCESS MANAGEMENT INITIATIVE - OBJECT MANAGEMENT GROUP, Business Process Modeling Notation, OMG, http://www.bpmn.org, 2006.
11. CASEAU Y., Urbanisation et BPM: le point de vue d'un DSI, Dunod, 2006.
12. CASPI P., HAMON G., POUZET M., 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", 217-260, Hermes International Publishing, 2006.
13. CASPI P., POUZET M., Synchronous Kahn networks, Proc. of the first ACM SIGPLAN Int. Conf. on Functional Programming, 226-238, 1996.
14. CHA D.P., ROSENBERG J.J., DYM C.L., Fundamentals of Modeling and Analyzing Engineering Systems, Cambridge University Press, 2000.
15. COUSOT P., COUSOT R., Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in "Conf. Record of the Sixth Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages", Los Angeles, ACM Press, 238-252, 1977.
16. CUTLAND N., Nonstandard analysis and its applications, London Mathematical Society Student Texts, 10, Cambridge University Press, 1988.
17. DE ALFARO L., HENZIGER T.A., Interface-based design, in "Engineering Theories of Software-intensive Systems", M. Broy, J. Gruenbauer, D. Harel, and C.A.R. Hoare, Eds., NATO Science Series: Mathematics, Physics, and Chemistry, Vol. 195, 83-104, Springer, 2005.
18. FLIESS M., Fonctionnelles causales non linéaires et indéterminées non commutatives, Bull. Soc. Math. France, 1981; 109: 3-40.
19. GARMUS D., HERRON D., Function Point Analysis: Measurement Practices for Successful Software Projects, Addison-Wesley Information Technology Series, Addison-Wesley, 2000.
20. GOLD-BERNSTEIN B., RUH W., Enterprise Integration: The Essential Guide to Integration Solutions, Addison-Wesley Information Technology Series, Addsison-Wesley, 2004.
21. GUNTER C.A., SCOTT D., Semantic domains, in "Handbook of Theoretical Computer Science", Vol. B, 633-674, Elsevier, 1990.
22. HALBWACHS N., CASPI P., RAYMOND P., PILAUD D., The synchronous data-flow programming language LUSTRE, Proceedings of the IEEE, 79, (9), 1305-1320, 1991.
23. HAREL D., Statecharts: A visual formalism for complex systems, Science of Computer Programming, 8, (3), 231-274, 1987.
24. HENZINGER T.A., The theory of hybrid automata, in Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, LICS'96, IEEE Society Press, 1996, pp. 278-292.
25. HENZINGER T.A., SIFAKIS J., The embedded systems design challenge, Proc. of the 14th Int. Symp. on Formal Methods (FM), LNCS, Springer, 2006 (to appear).
26. IT TOOL BOX, http://www.ittoolbox.com.
27. KAHN G., The semantics of a simple language for paralell programming, Proc. of the IFIP Congress 74, 471-475, 1974.
28. KATOK A., HASSELBLATT B., Introduction to the modern theory of dynamical systems, Cambridge, 1996.
29. KROB D., BLIUDZE S., Towards a Functional Formalism for Modelling Complex Industrial Systems, in "European Conference on Complex Systems (ECCS05), P. Bourgine, F. Kps, M. Schoenauer, Eds., (article 193), 20 pages, 2005.
30. KROB D., BLIUDZE S., Towards a Functional Formalism for Modelling Complex Industrial Systems, in "Complex Systems: Selected Papers", ComPlexUs (to appear).
31. LAMPORT L., Specifying systems - The TLA+ Language and Tools for Hardware and Software Engineers, Addison-Wesley, 2003.
32. LE GUERNIC P., GAUTIER T., Data-Flow to von Neumann: the Signal approach, in "Advanced Topics in Data-Flow Computing", Gaudiot J.-L. and Bic L., Eds., Prentice-Hall, 413-438, 1991.
33. MAIER M.W., System and Software Architecture Reconciliation, Systems Engineering, 9, (2), 146-59, 2006.
34. MANOUVRIER B., EAI - Intégration des applications d'entreprise, Hermès, 2001.
35. MARWEDEL P., Embedded systems design, Kluwer, 2003.
36. MATHWORKS, Mathlab and Simulink, http://www.mathworks.com.
37. MEALY G.H., A Method for Synthesizing Sequential Circuits, Bell System Tech. J., 34, 1045-1079, 1955.
38. MEINADIER J.P., Ingénierie et intégration de systèmes, Hermès, 1998.
39. MEINADIER J.P., Le métier d'intégration de systèmes, Hermès-Lavoisier, 2002.
40. MEYER K.R., HALL G.R., Introduction to Hamiltonian Dynamical Systems and the N-Body Problem, Applied Mathematical Sciences, 90, Springer Verlag, 1992.
41. MORLEY C., HUGUES J., LEBLANC B., HUGUES O., Processus métiers et systèmes d'information, Dunod, 2005.
42. PETRI C.A., Fundamentals of a Theory of Asynchronous Information Flow, Proc. of IFIP Congress 1962, 386-390, North Holland, 1963.
43. PROAKIS J., Digital Communications, 3rd Edition, McGraw Hill, 1995.
44. PRINTZ J., DEH C., MESDON B., TRÈVES B., Coûts et durée des projets informatiques - Pratique des modèles d'estimation, Hermès Lavoisier, 2001.
45. REISIG W., Petri nets, Springer Verlag, 1985.
46. RUMBAUGH J., JACOBSON I., BOOCH G., The Unified Modeling Language Reference Manual, Addison Wesley, 1999.
47. SAGE A.P., ARMSTRONG J.E. JR., Introduction to Systems Engineering. John Wiley, 2000.
48. SATZINGER J.W., JACKSON R.B., BURD S., SIMOND M., VILLENEUVE M., Analyse et conception de systèmes d'information, Les éditions Reynald Goulet, 2003.
49. SCHNEIDER K., Verification of reactive systems - Formal methods and algorithms, Springer, 2004.
50. SEVERANCE F.L., System modeling and simulation - An introduction, John Wiley, 2001.
51. SOMMERVILLE I., Software Engineering, Addison Wesley, 6th Edition, 2001.
52. SPIVEY J.M., The Z notation - A reference manual, Prentice Hall, 1992.
53. SYSML, Systems Modeling Language - Open Source Specification Project -http://www.sysml.org.
54. TOMAS J.L., ERP et progiciels de gestion intégrés - Sélection, déet utilisation opérationnelle - Les bases du SCM et du CRM, Dunod, 2002.
55. TURNER W.G., MIZE J.H., CASE K.E., NAZEMETZ J.W., Introduction to industrial and systems engineering, Prentice Hall, 1993.
56. WHITE S.A., Introduction to BPMN, IBM, http://www.bpmn.org, 2006.
57. WORDSWORTH J.B., Software engineering with B, Addison-Wesley, 1996.
58. ZAYTOON J., ED., Systèmes dynamiques hybrides, Hermès, 2001.
59. ZEIGLER B.P., PRAEHOFER H., GON KIM T., Theory of modeling and simulation - Integrating discrete event and continuous complex dynamic systems, Academic Press, 2000.
60. ZSCHALER S., Formal Specification of Non-functional Properties of Component-Based Software, in "Workshop on Models for Non-functional Aspects of Component-Based Software" (NfC'04), Bruel J.M., Georg G., Hussmann H., Ober I., Pohl C. Whittle J. and Zschaler S., Eds., Technische Universität Dresden, 2004.