{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:50:00Z","timestamp":1743083400999,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":60,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462194"},{"type":"electronic","value":"9783540462200"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11888116_1","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:06:43Z","timestamp":1159870003000},"page":"1-22","source":"Crossref","is-referenced-by-count":3,"title":["Modelling of Complex Software Systems: A Reasoned Overview"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Krob","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book \u2013 Assigning programs to meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-book \u2013 Assigning programs to meanings. Cambridge University Press, Cambridge (1996)"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"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.\u00a0138(1), 3\u201334 (1995)","journal-title":"Theor. Comp. Sci."},{"key":"1_CR3","unstructured":"Autebert J.M., Boasson L.: Transductions rationnelles \u2013 Applications aux langages alg\u00e9briques. Collection ERI, Masson (1988)"},{"key":"1_CR4","volume-title":"Synchronization and linearity \u2013 An algebra for discrete event systems","author":"F. Baccelli","year":"1992","unstructured":"Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.P.: Synchronization and linearity \u2013 An algebra for discrete event systems. Wiley, Chichester (1992)"},{"issue":"1","key":"1_CR5","first-page":"64","volume":"91","author":"A. Benveniste","year":"2003","unstructured":"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,\u00a091(1), 64\u201383 (2003)","journal-title":"Proc. of the IEEE, Special issue on Embedded Systems,"},{"key":"1_CR6","unstructured":"B\u00e9rard, B., Bidoit, M., Laroussinie, F., Petit, A., Schnoebelen, P.: V\u00e9rification de logiciels \u2013 Techniques et outils du model-checking. Vuibert Informatique (1999)"},{"key":"1_CR7","first-page":"83","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Synchronous Programming Language ESTEREL: Design, Semantics. Implementation Science of Computer Programming\u00a019, 83\u2013152 (1992)","journal-title":"Implementation Science of Computer Programming"},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1002\/sys.20046","volume":"9","author":"C. Bock","year":"2006","unstructured":"Bock, C.: SysML and UML2 Support for Activity Modeling. Systems Engineering\u00a09(2), 160\u2013186 (2006)","journal-title":"Systems Engineering"},{"key":"1_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract state machines \u2013 A method for high-level system design and analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract state machines \u2013 A method for high-level system design and analysis. Springer, Heidelberg (2003)"},{"key":"1_CR10","unstructured":"Business Process Management Initiative \u2013 Object Management Group. Business Process Modeling Notation, OMG (2006), \n                    \n                      http:\/\/www.bpmn.org"},{"key":"1_CR11","unstructured":"Caseau, Y.: Urbanisation et BPM: le point de vue d\u2019un DSI, Dunod (2006)"},{"key":"1_CR12","unstructured":"Caspi, P., Hamon, G., Pouzet, M.: Lucid Synchrone, un langage de programmation des syst\u00e8mes r\u00e9actifs. In: Syst\u00e8mes Temps-r\u00e9el: Techniques de Description et de V\u00e9rification - Th\u00e9orie et Outils, pp. 217\u2013260. Hermes International Publishing (2006)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Caspi, P., Pouzet, M.: Synchronous Kahn networks. In: Proc. of the first ACM SIGPLAN Int. Conf. on Functional Programming, pp. 226\u2013238 (1996)","DOI":"10.1145\/232629.232651"},{"key":"1_CR14","volume-title":"Fundamentals of Modeling and Analyzing Engineering Systems","author":"D.P. Cha","year":"2000","unstructured":"Cha, D.P., Rosenberg, J.J., Dym, C.L.: Fundamentals of Modeling and Analyzing Engineering Systems. Cambridge University Press, Cambridge (2000)"},{"key":"1_CR15","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Conf. Record of the Sixth Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"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, pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"1_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172110","volume-title":"Nonstandard analysis and its applications","author":"N. Cutland","year":"1988","unstructured":"Cutland, N.: Nonstandard analysis and its applications. London Mathematical Society Student Texts, vol.\u00a010. Cambridge University Press, Cambridge (1988)"},{"key":"1_CR17","series-title":"NATO Science Series: Mathematics, Physics, and Chemistry","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/1-4020-3532-2_3","volume-title":"Engineering Theories of Software-intensive Systems","author":"L. Alfaro De","year":"2005","unstructured":"De Alfaro, L., Henziger, T.A.: Interface-based design. In: Broy, M., Gruenbauer, J., Harel, D., Hoare, C.A.R. (eds.) Engineering Theories of Software-intensive Systems. NATO Science Series: Mathematics, Physics, and Chemistry, vol.\u00a0195, pp. 83\u2013104. Springer, Heidelberg (2005)"},{"key":"1_CR18","doi-asserted-by":"crossref","first-page":"3","DOI":"10.24033\/bsmf.1931","volume":"109","author":"M. Fliess","year":"1981","unstructured":"Fliess, M.: Fonctionnelles causales non lin\u00e9aires et ind\u00e9termin\u00e9es non commutatives. Bull. Soc. Math. France\u00a0109, 3\u201340 (1981)","journal-title":"Bull. Soc. Math. France"},{"key":"1_CR19","series-title":"Addison-Wesley Information Technology Series","volume-title":"Function Point Analysis: Measurement Practices for Successful Software Projects","author":"D. Garmus","year":"2000","unstructured":"Garmus, D., Herron, D.: Function Point Analysis: Measurement Practices for Successful Software Projects. Addison-Wesley Information Technology Series. Addison-Wesley, Reading (2000)"},{"key":"1_CR20","series-title":"Addison-Wesley Information Technology Series","volume-title":"Enterprise Integration: The Essential Guide to Integration Solutions","author":"B. Gold-Bernstein","year":"2004","unstructured":"Gold-Bernstein, B., Ruh, W.: Enterprise Integration: The Essential Guide to Integration Solutions. Addison-Wesley Information Technology Series. Addison-Wesley, Reading (2004)"},{"key":"1_CR21","first-page":"633","volume-title":"Handbook of Theoretical Computer Science","author":"C.A. Gunter","year":"1990","unstructured":"Gunter, C.A., Scott, D.: Semantic domains. In: Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 633\u2013674. Elsevier, Amsterdam (1990)"},{"issue":"9","key":"1_CR22","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE\u00a079(9), 1305\u20131320 (1991)","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"1_CR23","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"1_CR24","first-page":"278","volume-title":"Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, LICS 1996","author":"T.A. Henzinger","year":"1996","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, LICS 1996, pp. 278\u2013292. IEEE Society Press, Los Alamitos (1996)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11813040_1","volume-title":"FM 2006: Formal Methods","author":"T.A. Henzinger","year":"2006","unstructured":"Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"1_CR26","unstructured":"IT Tool box, \n                    \n                      http:\/\/www.ittoolbox.com"},{"key":"1_CR27","unstructured":"Kahn, G.: The semantics of a simple language for paralell programming. In: Proc. of the IFIP Congress, vol.\u00a074, pp. 471\u2013475 (1974)"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Katok, A., Hasselblatt, B.: Introduction to the modern theory of dynamical systems, Cambridge (1996)","DOI":"10.1017\/CBO9780511809187"},{"key":"1_CR29","unstructured":"Krob, D., Bliudze, S.: Towards a Functional Formalism for Modelling Complex Industrial Systems. In: Bourgine, P., K\u00e9p\u00e8s, F., Schoenauer, M. (eds.) European Conference on Complex Systems (ECCS 2005), article 193, 20 pages (2005)"},{"key":"1_CR30","unstructured":"Krob, D., Bliudze, S.: Towards a Functional Formalism for Modelling Complex Industrial Systems. In: Complex Systems: Selected Papers ComPlexUs (to appear)"},{"key":"1_CR31","volume-title":"Specifying systems \u2013 The TLA+ Language and Tools for Hardware and Software Engineers","author":"L. Lamport","year":"2003","unstructured":"Lamport, L.: Specifying systems \u2013 The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Reading (2003)"},{"key":"1_CR32","first-page":"413","volume-title":"Advanced Topics in Data-Flow Computing","author":"P. Guernic Le","year":"1991","unstructured":"Le Guernic, P., Gautier, T.: Data-Flow to von Neumann: the Signal approach. In: Gaudiot, J.-L., Bic, L. (eds.) Advanced Topics in Data-Flow Computing, pp. 413\u2013438. Prentice-Hall, Englewood Cliffs (1991)"},{"issue":"2","key":"1_CR33","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1002\/sys.20050","volume":"9","author":"M.W. Maier","year":"2006","unstructured":"Maier, M.W.: System and Software Architecture Reconciliation. Systems Engineering\u00a09(2), 146\u2013159 (2006)","journal-title":"Systems Engineering"},{"key":"1_CR34","unstructured":"Manouvrier, B.: EAI \u2013 Int\u00e9gration des applications d\u2019entreprise, Herm\u00e8s (2001)"},{"key":"1_CR35","volume-title":"Embedded systems design","author":"P. Marwedel","year":"2003","unstructured":"Marwedel, P.: Embedded systems design. Kluwer, Dordrecht (2003)"},{"key":"1_CR36","unstructured":"Mathworks, Mathlab and Simulink, \n                    \n                      http:\/\/www.mathworks.com"},{"key":"1_CR37","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","volume":"34","author":"G.H. Mealy","year":"1955","unstructured":"Mealy, G.H.: A Method for Synthesizing Sequential Circuits. Bell System Tech. J.\u00a034, 1045\u20131079 (1955)","journal-title":"Bell System Tech. J."},{"key":"1_CR38","unstructured":"Meinadier, J.P.: Ing\u00e9nierie et int\u00e9gration de syst\u00e8mes, Herm\u00e8s (1998)"},{"key":"1_CR39","unstructured":"Meinadier, J.P.: Le m\u00e9tier d\u2019int\u00e9gration de syst\u00e8mes, Herm\u00e8s-Lavoisier (2002)"},{"key":"1_CR40","series-title":"Applied Mathematical Sciences","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4073-8","volume-title":"Introduction to Hamiltonian Dynamical Systems and the N-Body Problem","author":"K.R. Meyer","year":"1992","unstructured":"Meyer, K.R., Hall, G.R.: Introduction to Hamiltonian Dynamical Systems and the N-Body Problem. Applied Mathematical Sciences, vol.\u00a090. Springer, Heidelberg (1992)"},{"key":"1_CR41","unstructured":"Morley, C., Hugues, J., Leblanc, B., Hugues, O.: Processus m\u00e9tiers et syst\u00e8mes d\u2019information, Dunod (2005)"},{"key":"1_CR42","first-page":"386","volume-title":"Proc. of IFIP Congress 1962","author":"C.A. Petri","year":"1963","unstructured":"Petri, C.A.: Fundamentals of a Theory of Asynchronous Information Flow. In: Proc. of IFIP Congress 1962, pp. 386\u2013390. North-Holland, Amsterdam (1963)"},{"key":"1_CR43","volume-title":"Digital Communications","author":"J. Proakis","year":"1995","unstructured":"Proakis, J.: Digital Communications, 3rd edn. McGraw-Hill, New York (1995)","edition":"3"},{"key":"1_CR44","unstructured":"Printz, J., Deh, C., Mesdon, B., Tr\u00e8ves, B.: Co\u00fbts et dur\u00e9e des projets informatiques \u2013 Pratique des mod\u00e8les d\u2019estimation, Herm\u00e8s Lavoisier (2001)"},{"key":"1_CR45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri nets. Springer, Heidelberg (1985)"},{"key":"1_CR46","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)"},{"key":"1_CR47","volume-title":"Introduction to Systems Engineering","author":"A.P. Sage","year":"2000","unstructured":"Sage, A.P., Armstrong, Jr., J.E.: Introduction to Systems Engineering. John Wiley, Chichester (2000)"},{"key":"1_CR48","unstructured":"Satzinger, J.W., Jackson, R.B., Burd, S., Simond, M., Villeneuve, M.: Analyse et conception de syst\u00e8mes d\u2019information, Les \u00e9ditions Reynald Goulet (2003)"},{"key":"1_CR49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10778-2","volume-title":"Verification of reactive systems \u2013 Formal methods and algorithms","author":"K. Schneider","year":"2004","unstructured":"Schneider, K.: Verification of reactive systems \u2013 Formal methods and algorithms. Springer, Heidelberg (2004)"},{"key":"1_CR50","volume-title":"System modeling and simulation \u2013 An introduction","author":"F.L. Severance","year":"2001","unstructured":"Severance, F.L.: System modeling and simulation \u2013 An introduction. John Wiley, Chichester (2001)"},{"key":"1_CR51","volume-title":"Software Engineering","author":"I. Sommerville","year":"2001","unstructured":"Sommerville, I.: Software Engineering, 6th edn. Addison Wesley, Reading (2001)","edition":"6"},{"key":"1_CR52","volume-title":"The Z notation \u2013 A reference manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z notation \u2013 A reference manual. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"1_CR53","unstructured":"SysML, Systems Modeling Language \u2013 Open Source Specification Project, \n                    \n                      http:\/\/www.sysml.org"},{"key":"1_CR54","unstructured":"Tomas, J.L.: ERP et progiciels de gestion int\u00e9gr\u00e9s \u2013 S\u00e9lection, d\u00e9ploiement et utilisation op\u00e9rationnelle \u2013 Les bases du SCM et du CRM, Dunod (2002)"},{"key":"1_CR55","volume-title":"Introduction to industrial and systems engineering","author":"W.C. Turner","year":"1993","unstructured":"Turner, W.C., Mize, J.H., Case, K.E., Nazemetz, J.W.: Introduction to industrial and systems engineering. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"1_CR56","unstructured":"White, S.A.: Introduction to BPMN, IBM (2006), \n                    \n                      http:\/\/www.bpmn.org"},{"key":"1_CR57","volume-title":"Software engineering with B","author":"J.B. Wordsworth","year":"1996","unstructured":"Wordsworth, J.B.: Software engineering with B. Addison-Wesley, Reading (1996)"},{"key":"1_CR58","unstructured":"Zaytoon, J. (ed.): Syst\u00e8mes dynamiques hybrides, Herm\u00e8s (2001)"},{"key":"1_CR59","volume-title":"Theory of modeling and simulation \u2013 Integrating discrete event and continuous complex dynamic systems","author":"B.P. Zeigler","year":"2000","unstructured":"Zeigler, B.P., Praehofer, H., Gon Kim, T.: Theory of modeling and simulation \u2013 Integrating discrete event and continuous complex dynamic systems. Academic Press, London (2000)"},{"key":"1_CR60","unstructured":"Zschaler, S.: Formal Specification of Non-functional Properties of Component-Based Software. In: Bruel, J.M., Georg, G., Hussmann, H., Ober, I., Pohl, C., Whittle, J., Zschaler, S. (eds.) Workshop on Models for Non-functional Aspects of Component-Based Software (NfC 2004), Technische Universit\u00e4t Dresden (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2006"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11888116_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:36:44Z","timestamp":1558276604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11888116_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462194","9783540462200"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/11888116_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}