{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:01:13Z","timestamp":1762459273734,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466742"},{"type":"electronic","value":"9783662466759"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46675-9_1","type":"book-chapter","created":{"date-parts":[[2015,3,31]],"date-time":"2015-03-31T20:24:38Z","timestamp":1427833478000},"page":"3-18","source":"Crossref","is-referenced-by-count":14,"title":["An Institution for Simple UML State Machines"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Knapp","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Roggenbach","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Glauer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Object Management Group: Unified Modeling Language. Standard formal\/2011-08-06, OMG (2011)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-15545-6_15","volume-title":"Software, Services, and Systems","author":"A. Knapp","year":"2015","unstructured":"Knapp, A., Mossakowski, T., Roggenbach, M.: Towards an Institutional Framework for Heterogeneous Formal Development in UML - A Position Paper. In: De Nicola, R., Hennicker, R. (eds.) Wirsing Festschrift. LNCS, vol.\u00a08950, pp. 215\u2013230. Springer, Heidelberg (2015)"},{"key":"1_CR3","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, 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Gro\u00dfe-Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. Springer (2004)","DOI":"10.1007\/978-3-662-09853-0"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.tcs.2005.11.007","volume":"354","author":"M. Roggenbach","year":"2006","unstructured":"Roggenbach, M.: CSP-CASL: A New Integration of Process Algebra and Algebraic Specification. Theo. Comp. Sci.\u00a0354, 42\u201371 (2006)","journal-title":"Theo. Comp. Sci."},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-71998-4_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2007","unstructured":"Mossakowski, T., Roggenbach, M.: Structured CSP \u2013 A Process Algebra as an Institution. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol.\u00a04409, pp. 92\u2013110. Springer, Heidelberg (2007)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-28412-0_16","volume-title":"Recent Trends in Algebraic Development Techniques","author":"L. O\u2019Reilly","year":"2012","unstructured":"O\u2019Reilly, L., Mossakowski, T., Roggenbach, M.: Compositional Modelling and Reasoning in an Institution for Processes and Data. In: Mossakowski, T., Kreowski, H.-J. (eds.) WADT 2010. LNCS, vol.\u00a07137, pp. 251\u2013269. Springer, Heidelberg (2012)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Schattkowsky, T., M\u00fcller, W.: Transformation of UML State Machines for Direct Execution. In: VL\/HCC 2005, pp. 117\u2013124. IEEE (2005)","DOI":"10.1109\/VLHCC.2005.64"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-70952-7_16","volume-title":"Formal Methods: Applications and Technology","author":"H. Fecher","year":"2007","unstructured":"Fecher, H., Sch\u00f6nborn, J.: UML 2.0 State Machines: Complete Formal Semantics Via core state machine. In: Brim, L., Haverkort, B.R., Leucker, M., van de Pol, J. (eds.) FMICS and PDMC 2006. LNCS, vol.\u00a04346, pp. 244\u2013260. Springer, Heidelberg (2007)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s11334-011-0161-4","volume":"7","author":"D. Calegari","year":"2011","unstructured":"Calegari, D., Szasz, N.: Institutionalising UML 2.0 State Machines. Innov. Syst. Softw. Eng.\u00a07, 315\u2013323 (2011)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"1_CR11","unstructured":"Object Management Group: Precise Semantics of UML Composite Structures. Beta Specification ptc\/14-06-15, OMG (2014)"},{"key":"1_CR12","unstructured":"Dereziska, A., Szczykulski, M.: Interpretation Problems in Code Generation from UML State Machines \u2014 A Comparative Study. In: Kwater, T. (ed.) Computing in Science and Technology 2011: Monographs in Applied Informatics, pp. 36\u201350. Warsaw University (2012)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Lano, K. (ed.): UML\u00a02 \u2014 Semantics and Applications. Wiley (2009)","DOI":"10.1002\/9780470522622"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-540-45221-8_30","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"G. Engels","year":"2003","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.M.: The Consistency Workbench: A Tool for Consistency Management in UML-Based Development. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 356\u2013359. Springer, Heidelberg (2003)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-31959-7_10","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2005","unstructured":"Mossakowski, T., Sannella, D., Tarlecki, A.: A Simple Refinement Language for Casl. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 162\u2013185. Springer, Heidelberg (2005)"},{"key":"1_CR16","unstructured":"Codescu, M., Mossakowski, T., Sannella, D., Tarlecki, A.: Specification Refinements: Calculi, Tools, and Applications (2014) (submitted)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0304-3975(01)00317-6","volume":"286","author":"T. Borzyszkowski","year":"2002","unstructured":"Borzyszkowski, T.: Logical Systems for Structured Specifications. Theor. Comput. Sci.\u00a0286, 197\u2013245 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.jlap.2005.09.005","volume":"67","author":"T. Mossakowski","year":"2006","unstructured":"Mossakowski, T., Autexier, S., Hutter, D.: Development Graphs \u2014 Proof Management for Structured Specifications. J. Log. Alg. Program.\u00a067, 114\u2013145 (2006)","journal-title":"J. Log. Alg. Program."},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1016330812768","volume":"10","author":"R. Diaconescu","year":"2002","unstructured":"Diaconescu, R.: Grothendieck Institutions. Applied Cat. Struct.\u00a010, 383\u2013402 (2002)","journal-title":"Applied Cat. Struct."},{"key":"1_CR20","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, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46675-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T19:47:44Z","timestamp":1747856864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46675-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466742","9783662466759"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46675-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}