{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T11:41:49Z","timestamp":1790854909875,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540686767","type":"print"},{"value":"9783540686798","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_23","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T02:58:16Z","timestamp":1213066696000},"page":"383-402","source":"Crossref","is-referenced-by-count":30,"title":["A Heterogeneous Approach to UML Semantics"],"prefix":"10.1007","author":[{"given":"Mar\u00eda Victoria","family":"Cengarle","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrzej","family":"Tarlecki","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Recent Trends in Algebraic Development Techniques","author":"L. Andrade","year":"2003","unstructured":"Andrade, L., Baldan, P., Baumeister, H., Bruni, R., Corradini, A., De Nicola, R., Fiadeiro, J.L., Gadducci, F., Gnesi, S., Hoffman, P., Koch, N., Kosiuczenko, P., Lapadula, A., Latella, D., Lopes, A., Loreti, M., Massink, M., Mazzanti, F., Montanari, U., Oliveira, C., Pugliese, R., Tarlecki, A., Wermelinger, M., Wirsing, M., Zaw\u0142ocki, A.: AGILE: Software architecture for mobility. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755. Springer, Heidelberg (2003)"},{"issue":"1\u20133","key":"23_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process Algebra for Synchronous Communication. Information and Control\u00a060(1\u20133), 109\u2013137 (1984)","journal-title":"Information and Control"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/BFb0014333","volume-title":"Algebraic Methodology and Software Technology","author":"G. Bernot","year":"1996","unstructured":"Bernot, G., Coudert, S., Gall, P.L.: Towards Heterogenous Formal Specifications. In: Wirsing, M., Nivat, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, pp. 458\u2013472. Springer, Heidelberg (1996)"},{"key":"23_CR4","series-title":"Lect. Notes Comp. Sci.","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/11841197_3","volume-title":"Proc. 3rd Int. Wsh. Web Services and Formal Methods (WS-FM 2006)","author":"M. Boreale","year":"2006","unstructured":"Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V., Zavattaro, G.: SCC: a Service Centered Calculus. In: Bravetti, M., Zavattaro, G. (eds.) Proc. 3rd Int. Wsh. Web Services and Formal Methods (WS-FM 2006). Lect. Notes Comp. Sci., vol.\u00a04184, pp. 38\u201357. Springer, Heidelberg (2006)"},{"key":"23_CR5","unstructured":"Broy, M., Cengarle, M.V., Rumpe, B.: Semantics of UML \u2013 Towards a System Model for UML: The Structural Data Model. Technical Report TUM-I0612, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (June 2006)"},{"key":"23_CR6","unstructured":"Broy, M., Cengarle, M.V., Rumpe, B.: Semantics of UML \u2013 Towards a System Model for UML: The Control Model. Technical Report TUM-I0710, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (February 2007)"},{"key":"23_CR7","unstructured":"Broy, M., Cengarle, M.V., Rumpe, B.: Semantics of UML \u2013 Towards a System Model for UML: The State Machine Model. Technical Report TUM-I0711, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (February 2007)"},{"key":"23_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","author":"M. Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-45499-3_9","volume-title":"Algebraic Methodology and Software Technology","author":"M. Broy","year":"2000","unstructured":"Broy, M., Wirsing, M.: Algebraic State Machines. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 89\u2013118. Springer, Heidelberg (2000)"},{"key":"23_CR10","unstructured":"Bruni, R., Lluch-Lafuente, A., Montanari, U., Tuosto, E.: Style-based architectural reconfigurations. Technical Report TR-07-17, Computer Science Department, University of Pisa (2007)"},{"key":"23_CR11","unstructured":"Calegari, D.: UML 2.0 Interactions with OCL\/RT Constraints. Master\u2019s thesis, InCo-PEDECIBA, Technical report 07-17 (2007)"},{"key":"23_CR12","unstructured":"Cengarle, M.V.: The Rewriting Logic institution. Technical Report 9801, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik (1998)"},{"key":"23_CR13","unstructured":"Cengarle, M.V.: The Temporal Logic institution. Technical Report 9805, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik (1998)"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-45614-7_22","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"M.V. Cengarle","year":"2002","unstructured":"Cengarle, M.V., Knapp, A.: Towards OCL\/RT. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 390\u2013409. Springer, Heidelberg (2002)"},{"issue":"1","key":"23_CR15","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s10270-003-0035-9","volume":"3","author":"M.V. Cengarle","year":"2004","unstructured":"Cengarle, M.V., Knapp, A.: OCL 1.4\/1.5 vs. OCL 2.0 Expressions: Formal Semantics and Expressiveness. Softw. Syst. Model.\u00a03(1), 9\u201330 (2004)","journal-title":"Softw. Syst. Model."},{"key":"#cr-split#-23_CR16.1","unstructured":"Cengarle, M.V., Knapp, A.: UML 2.0 Interactions: Semantics and Refinement. In: J\u00fcrjens, J., Fernandez, E.B., France, R., Rumpe, B. (eds.) Proc. 3                                                                                  $^{\\text{rd}}$                   Int. Wsh. Critical Systems Development with UML (CSDUML 2004), pp. 85\u201399 (2004);"},{"key":"#cr-split#-23_CR16.2","unstructured":"Technical Report TUM-I0415, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (2004)"},{"key":"23_CR17","unstructured":"Cengarle, M.V., Knapp, A.: An Institution for OCL 2.0. Technical Report 0801, Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (2008)"},{"key":"23_CR18","unstructured":"Cengarle, M.V., Knapp, A.: An Institution for UML 2.0 Interactions. Technical Report TUM-I0808, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (2008)"},{"key":"23_CR19","unstructured":"Cengarle, M.V., Knapp, A.: An Institution for UML 2.0 Static Structures. Technical Report TUM-I0807, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (2008)"},{"key":"23_CR20","unstructured":"Diaconescu, R.: Institution-independent Model Theory. Birkh\u00e4user (to appear, 2008)"},{"key":"23_CR21","first-page":"202","volume-title":"Current Trends in Theoretical Computer Science: Entering the 21th Century","author":"H. Ehrig","year":"2001","unstructured":"Ehrig, H., Padberg, J., Orejas, F.: From basic views and aspects to integration of specification formalisms. In: Paun, G., Rozenberg, G., Salomaa, A. (eds.) Current Trends in Theoretical Computer Science: Entering the 21th Century, pp. 202\u2013214. World Scientific, Singapore (2001)"},{"key":"23_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/11841197_13","volume-title":"Web Services and Formal Methods","author":"J.L. Fiadeiro","year":"2006","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L.: A Formal Approach to Service Component Architecture. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 193\u2013213. Springer, Heidelberg (2006)"},{"key":"23_CR23","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-0-387-35261-9_29","volume-title":"Proc. 2nd Int. Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997)","author":"C. Fischer","year":"1997","unstructured":"Fischer, C.: CSP-OZ: How to Combine Z with a Process Algebra. In: Bowman, H., Derrick, J. (eds.) Proc. 2nd Int. Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997), pp. 423\u2013438. Chapman & Hall, Boston (1997)"},{"key":"23_CR24","series-title":"Foundations Of Computing Series","first-page":"133","volume-title":"Proof, Language, and Interaction: Essays in Honour of Robin Milner","author":"F. Gadducci","year":"2000","unstructured":"Gadducci, F., Montanari, U.: The Tile Model. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language, and Interaction: Essays in Honour of Robin Milner. Foundations Of Computing Series, pp. 133\u2013166. The MIT Press, Cambridge (2000)"},{"issue":"6","key":"23_CR25","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1093\/jigpal\/jzi050","volume":"13","author":"J.A. Goguen","year":"2005","unstructured":"Goguen, J.A.: Data, schema, ontology and logic integration. Logic J. IGPL\u00a013(6), 685\u2013715 (2005)","journal-title":"Logic J. IGPL"},{"key":"23_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume-title":"Logics of Programs","author":"J.A. Goguen","year":"1984","unstructured":"Goguen, J.A., Burstall, R.M.: Introducing Institutions. In: Clarke, E., Kozen, D. (eds.) Logics of Programs. LNCS, vol.\u00a0164, pp. 221\u2013256. Springer, Heidelberg (1984)"},{"issue":"1","key":"23_CR27","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming. J. ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"23_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/11948148_27","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"C. Guidi","year":"2006","unstructured":"Guidi, C., Lucchi, R., Busi, N., Gorrieri, R., Zavattaro, G.: SOCK: A Calculus for Service-Oriented Computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 327\u2013338. Springer, Heidelberg (2006)"},{"issue":"3-5","key":"23_CR29","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"J.A. Goguen","year":"2002","unstructured":"Goguen, J.A., Rosu, G.: Institution Morphisms. Form. Asp. Comp.\u00a013(3-5), 274\u2013307 (2002)","journal-title":"Form. Asp. Comp."},{"key":"23_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"23_CR31","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"MacLane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1971)"},{"key":"23_CR32","doi-asserted-by":"crossref","unstructured":"Mayer, P., Schroeder, A., Koch, N.: A Model-Driven Approach to Service Orchestration. In: Proc. IEEE Int. Conf. Services Computing (SCC 2008) (submitted, 2008)","DOI":"10.1109\/SCC.2008.91"},{"key":"23_CR33","first-page":"275","volume-title":"Logic Colloquium 1987","author":"J. Meseguer","year":"1989","unstructured":"Meseguer, J.: General Logics. In: Ebbinghaus, H.D., Fernandez-Prida, J., Garrido, M., Lascar, D. (eds.) Logic Colloquium 1987, pp. 275\u2013329. North-Holland, Amsterdam (1989)"},{"key":"23_CR34","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional Rewriting Logic as a Unified Model of Concurrency. Theo. Comp. Sci.\u00a096, 73\u2013155 (1992)","journal-title":"Theo. Comp. Sci."},{"key":"23_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-64299-4_27","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J., Montanari, U.: Mapping Tile Logic into Rewriting Logic. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 62\u201391. Springer, Heidelberg (1998)"},{"key":"23_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-45931-6_23","volume-title":"Foundations of Software Science and Computation Structures","author":"T. Mossakowski","year":"2002","unstructured":"Mossakowski, T.: Heterogenous Development Graphs and Heterogeneous Borrowing. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 326\u2013341. Springer, Berlin (2002)"},{"key":"23_CR37","unstructured":"Mossakowski, T.: Heterogeneous Specification and the Heterogeneous Tool Set. Habilitation thesis, Universit\u00e4t Bremen (2005)"},{"key":"23_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The Heterogeneous Tool Set. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"23_CR39","unstructured":"Naur, P., Randell, B.: Software Engineering \u2014 Report on a Conference sponsored by the NATO Science Committee. NATO Sci. Affairs Div., Bruxelles, Garmisch (1969)"},{"key":"23_CR40","series-title":"Lecture Notes in Computer Science","first-page":"27","volume-title":"KORSO: Methods, Languages, and Tools for the Construction of Correct Software","author":"P. Pepper","year":"1995","unstructured":"Pepper, P., Wirsing, M.: A Method for the Development of Correct Software. In: J\u00e4hnichen, S., Broy, M. (eds.) KORSO 1995. LNCS, vol.\u00a01009, pp. 27\u201357. Springer, Heidelberg (1995)"},{"issue":"1","key":"23_CR41","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"Pratt, V.: Modeling Concurrency with Partial Orders. Int. J. Parallel Program.\u00a015(1), 33\u201371 (1986)","journal-title":"Int. J. Parallel Program."},{"key":"23_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-45499-3_19","volume-title":"Algebraic Methodology and Software Technology","author":"G. Reggio","year":"2000","unstructured":"Reggio, G., Repetto, L.: CASL-CHART: A Combination of Statecharts and the Algebraic Specification Language CASL. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 243\u2013272. Springer, Berlin (2000)"},{"key":"23_CR43","unstructured":"Tarlecki, A.: Institution representation. Unpublished note, Dept.of Computer Science, University of Edinburgh (1987)"},{"key":"23_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","volume-title":"Recent Trends in Data Type Specification","author":"A. Tarlecki","year":"1996","unstructured":"Tarlecki, A.: Moving between Logical Systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol.\u00a01130, pp. 478\u2013502. Springer, Heidelberg (1996)"},{"key":"23_CR45","unstructured":"Tarlecki, A.: Towards heterogeneous specifications. In: Gabbay, D., de Rijke, M. (eds.) Frontiers of Combining Systems. Studies in Logic and Computation, vol.\u00a02, pp. 337\u2013360. Research Studies Press (2000)"},{"key":"23_CR46","series-title":"NATO Science Series \u2014 Computer and System Sciences","first-page":"43","volume-title":"Models, Algebras, and Logics of Engineering Software","author":"A. Tarlecki","year":"2003","unstructured":"Tarlecki, A.: Abstract Specification Theory: An Overview. In: Broy, M., Pizka, M. (eds.) Models, Algebras, and Logics of Engineering Software. NATO Science Series \u2014 Computer and System Sciences, vol.\u00a0191, pp. 43\u201379. IOS Press, Amsterdam (2003)"},{"key":"23_CR47","unstructured":"Wehrheim, H.: Behavioural Subtyping in Object-Oriented Specification Formalisms. Habilitationsschrift, Carl-von-Ossietzky-Universit\u00e4t Oldenburg (2002)"},{"key":"23_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/11888116_3","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"M. Wirsing","year":"2006","unstructured":"Wirsing, M., Clark, A., Gilmore, S., H\u00f6lzl, M., Knapp, A., Koch, N., Schroeder, A.: Semantic-Based Development of Service-Oriented Systems. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 24\u201345. Springer, Heidelberg (2006)"},{"key":"23_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/978-3-540-24626-8_24","volume-title":"Radical Innovations of Software and Systems Engineering in the Future","author":"M. Wirsing","year":"2004","unstructured":"Wirsing, M., Knapp, A.: View Consistency in Software Development. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol.\u00a02941, pp. 341\u2013357. Springer, Heidelberg (2004)"},{"key":"23_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-75336-0_3","volume-title":"Trustworthy Global Computing","author":"M. Wirsing","year":"2007","unstructured":"Wirsing, M., Nicola, R.D., Gilmore, S., H\u00f6lzl, M.M., Lucchi, R., Tribastone, M., Zavattaro, G.: Sensoria process calculi for service-oriented computing. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2007. LNCS, vol.\u00a04661, pp. 30\u201350. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T03:09:09Z","timestamp":1551496149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}