{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T04:10:56Z","timestamp":1684555856438},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,8,28]],"date-time":"2008-08-28T00:00:00Z","timestamp":1219881600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s10270-008-0101-4","type":"journal-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T11:51:27Z","timestamp":1219837887000},"page":"403-422","source":"Crossref","is-referenced-by-count":10,"title":["Towards an integrated graph-based semantics for UML"],"prefix":"10.1007","volume":"8","author":[{"given":"Sabine","family":"Kuske","sequence":"first","affiliation":[]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[]},{"given":"Hans-J\u00f6rg","family":"Kreowski","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Ziemann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,8,28]]},"reference":[{"key":"101_CR1","doi-asserted-by":"crossref","unstructured":"Baresi, L., Pezz\u00e8, M.: On formalizing UML with high-level Petri nets. In: Agha, G., Cindio, F.D. (eds.) Proceedings of Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol. 2001, pp. 271\u2013300. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45397-0_9"},{"issue":"2","key":"101_CR2","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/s10270-002-0012-8","volume":"1","author":"M. Beek von der","year":"2002","unstructured":"von der Beek M.: A structured operational semantics for UML-statecharts. Softw. Syst. Model. 1(2), 130\u2013141 (2002)","journal-title":"Softw. Syst. Model."},{"key":"101_CR3","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/0022-0000(87)90030-4","volume":"34","author":"P. Boehm","year":"1987","unstructured":"Boehm P., Fonio H.R., Habel A.: Amalgamation of graph transformations: a synchronization mechanism. J. Comput. Syst. Sci. 34, 377\u2013408 (1987)","journal-title":"J. Comput. Syst. Sci."},{"key":"101_CR4","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1998","unstructured":"Booch G., Rumbaugh J., Jacobson I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)"},{"key":"101_CR5","doi-asserted-by":"crossref","unstructured":"Bottoni, P., Parisi-Presicce, F., Taentzer, G.: Coordinated distributed diagram transformation for software evolution. In: Heckel, R., Mens, T., Wermelinger, M. (eds) Proceedings of the Workshop on \u2018Software Evolution Through Transformations\u2019 (SET\u201902), Electronic Notes in Theoretical Computer Science, vol.72 (2002)","DOI":"10.1016\/S1571-0661(04)80626-1"},{"issue":"04","key":"101_CR6","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1017\/S0960129505004846","volume":"15","author":"G. Busatto","year":"2005","unstructured":"Busatto G., Kreowski H.J., Kuske S.: Abstract hierarchical graph transformation. Math. Struct. Comput. Sci. 15(04), 773\u2013819 (2005)","journal-title":"Math. Struct. Comput. Sci."},{"key":"101_CR7","doi-asserted-by":"crossref","unstructured":"Cordes, B., H\u00f6lscher, K., Kreowski, H.J.: UML interaction diagrams: correct translation of sequence diagrams into collaboration diagrams. In: Nagl, M., Pfalz, J. (eds.) Applications of Graph Transformations with Industrial Relevance (AGTIVE), no. 3062 in Lecture Notes in Computer Science, pp. 275\u2013291. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-25959-6_20"},{"key":"101_CR8","doi-asserted-by":"crossref","unstructured":"Corradini, A., Ehrig, H., Heckel, R., L\u00f6we, M., Montanari, U., Rossi, F.: Algebraic approaches to graph transformation part I: Basic concepts and double pushout approach. In: Rozenberg [40], pp. 163\u2013245","DOI":"10.1142\/9789812384720_0003"},{"key":"101_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, Vol.2: Applications, Languages and Tools. World Scientific, Singapore (1999)","DOI":"10.1142\/4180"},{"key":"101_CR10","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-642-95486-3_7","volume-title":"The Book of L","author":"H. Ehrig","year":"1986","unstructured":"Ehrig H., Habel A.: Graph grammars with application conditions. In: Rozenberg, G., Salomaa, A.(eds) The Book of L., pp. 87\u2013100. Springer, Berlin (1986)"},{"key":"101_CR11","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski, H.J., Montanari, U., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, Vol.3: Concurrency, Parallelism, and Distribution. World Scientific, Singapore (1999)","DOI":"10.1142\/4181"},{"key":"101_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: Parisi-Presicce, F., Bottoni, P., Engles, G. (eds.) Proceedings of 2nd International Conference on Graph Transformation (ICGT\u201904), Lecture Notes in Computer Science, vol. 3256, pp. 161\u2013177. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-30203-2_13"},{"key":"101_CR13","doi-asserted-by":"crossref","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds) Proceedings of UML 2000\u2014The Unified Modeling Language. Advancing the Standard, Lecture Notes in Computer Science, vol. 1939, pp. 323\u2013337. Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-40011-7_23"},{"key":"101_CR14","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Testing the consistency of dynamic UML diagrams. In: Proceedings of 6th International Conference on Integrated Design and Process Technology (IDPT 2002), 23\u201328 June 2002, Pasadena (2002)"},{"key":"101_CR15","doi-asserted-by":"crossref","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.: Rule-based specification of behavioral consistency based on the UML meta-model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001\u2014The Unified Modeling Language. Modeling Languages, Concepts, and Tools. Lecture Notes in Computer Science, vol. 2185, pp. 272\u2013286. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45441-1_21"},{"key":"101_CR16","doi-asserted-by":"crossref","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\u2014The Unified Modeling Language. Model Languages and Applications. 6th International Conference, San Francisco, CA, USA. Proceedings, Lecture Notes in Computer Science, vol. 2863, pp. 356\u2013359. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-45221-8_30"},{"issue":"1","key":"101_CR17","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S1567-8326(01)00012-1","volume":"51","author":"S. Gnesi","year":"2002","unstructured":"Gnesi S., Latella D., Massink M.: Modular semantics for a UML state diagrams kernel and their execution to multicharts and branching time model-checking. J. Logic Algebr. Program. 51(1), 43\u201375 (2002)","journal-title":"J. Logic Algebr. Program."},{"key":"101_CR18","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Richters, M.: Transformation rules for UML class diagrams. In: B\u00e9zivin, J., Muller, P.A. (eds.) The Unified Modeling Language, UML\u201998 - Beyond the Notation. Ist International Workshop, Mulhouse, France, June 1998, Selected Papers, LNCS, vol. 1618, pp. 92\u2013106. Springer, Heidelberg (1999)","DOI":"10.1007\/978-3-540-48480-6_8"},{"key":"101_CR19","first-page":"86","volume-title":"Object Modeling with the OCL, The Rationale behind the Object Constraint Language, Lecture Notes in Computer Science, vol 2263","author":"M. Gogolla","year":"2002","unstructured":"Gogolla M., Richters M.: Expressing UML class diagrams properties with OCL. In: Clark, T., Warmer, J.(eds) Object Modeling with the OCL, The Rationale behind the Object Constraint Language, Lecture Notes in Computer Science, vol 2263, pp. 86\u2013115. Springer, Heidelberg (2002)"},{"key":"101_CR20","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Ziemann, P., Kuske, S.: Towards an integrated graph based semantics for UML. In: Graph Transformation and Visual Modeling Techniques (GT-VMT 2002), Electronic Notes in Theoretical Computer Science, vol.72 (2003)","DOI":"10.1016\/S1571-0661(04)80619-4"},{"issue":"3,4","key":"101_CR21","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel A., Heckel R., Taentzer G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26(3,4), 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"101_CR22","doi-asserted-by":"crossref","unstructured":"Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of conflicting functional requirements in a use case-driven approach. In: Proceedings of the 24th International Conference on Software Engineering 2002, Orlando, USA, pp. 105\u2013115. IEEE Computer Society Press (2002)","DOI":"10.1145\/581352.581355"},{"key":"101_CR23","doi-asserted-by":"crossref","unstructured":"Heckel, R., Engels, G., Ehrig, H., Taentzer, G.: Classification and comparison of module concepts for graph transformation systems. In: Ehrig etal. [9], pp. 639\u2013689","DOI":"10.1142\/9789812815149_0017"},{"key":"101_CR24","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Towards automatic translation of UML models into semantic domains. In: Kreowski, H.J., Knirsch, P. (eds.) Applied Graph Transformation (AGT\u201902), pp. 11\u201322 (2002)"},{"key":"101_CR25","unstructured":"Hu, Z., Shatz, S.M.: Mapping UML diagrams to a petri net notation for system simulation. In: Proceedings of International Conference on Software Engineering and Knowledge Engineering, pp. 213\u2013219 (2004)"},{"key":"101_CR26","doi-asserted-by":"crossref","unstructured":"Kastenberg, H., Rensink, A.: Model checking dynamic states in GROOVE. In: Valmari, A. (ed.) Proceedings of 13th International Workshop on Software Model Checking (SPIN\u201906), no. 3925 in Lecture Notes in Computer Science, pp. 299\u2013305. Springer, Heidelberg (2006)","DOI":"10.1007\/11691617_19"},{"key":"101_CR27","doi-asserted-by":"crossref","unstructured":"Kuske, S.: A formal semantics of UML state machines based on structured graph transformation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001\u2014The Unified Modeling Language. Modeling languages, Concepts, and Tools, Lecture Notes in Computer Science, vol. 2185, pp. 241\u2013256. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45441-1_19"},{"key":"101_CR28","doi-asserted-by":"crossref","unstructured":"Kuske, S., Gogolla, M., Kollmann, R., Kreowski, H.J.: An integrated semantics for UML class, object, and state diagrams based on graph transformation. In: Butler, M., Sere, K. (eds.) 3rd International Conference on Integrated Formal Methods(IFM\u201902), Lecture Notes in Computer Science, vol. 2335, pp. 11\u201328. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-47884-1_2"},{"key":"101_CR29","doi-asserted-by":"crossref","unstructured":"Kwon, G.: Rewrite rules and operational semantics for model checking UML statecharts. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000 - The Unified Modeling Language. Advancing the Standard. 3rd International Conference, York, UK, October 2000, Proceedings. Lecture Notes in Computer Science, vol. 1939, pp. 528\u2013540. Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-40011-7_39"},{"key":"101_CR30","doi-asserted-by":"crossref","unstructured":"Lilius, J., Paltor, I.: Formalising UML state machines for model checking. In: France, R., Rumpe, B. (eds.) Proceedings of UML\u201999\u2014The Unified Modeling Language. Beyond the Standard, Lecture Notes in Computer Science, vol. 1723, pp. 430\u2013445. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-46852-8_31"},{"key":"101_CR31","first-page":"185","volume-title":"Term Graph Rewriting, Theory and Practice","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we M., Korff M., Wagner A.: An algebraic framework for the transformation of attributed graphs. In: Sleep, M.R., Plasmeijer, R., van Eekelen, M.(eds) Term Graph Rewriting, Theory and Practice., pp. 185\u2013199. Wiley, Chichester (1993)"},{"key":"101_CR32","doi-asserted-by":"crossref","unstructured":"Maggiolo-Schettini, A., Peron, A.: Semantics of full statecharts based on graph rewriting. In: Schneider, H.J., Ehrig, H. (eds.) Proceedings of Graph Transformation in Computer Science, Lecture Notes in Computer Science, vol. 776, pp. 265\u2013279. Springer, Heidelberg (1994)","DOI":"10.1007\/3-540-57787-4_17"},{"key":"101_CR33","unstructured":"Maggiolo-Schettini, A., Peron, A.: A Graph Rewriting Framework for Statecharts Semantics. In: Cuny, J.E., Ehrig, H., Engels, G., Rozenberg, G. (eds.) Proceedings of 5th International Workshop on Graph Grammars and their Application to Computer Science, vol. 1073, pp. 107\u2013121. Springer, Heidelberg (1996). citeseer.nj.nec.com\/article\/maggiolo-schettini96graph.html"},{"key":"101_CR34","unstructured":"OMG: Unified Modeling Language specifcation, version 1.5 (2003). Available at http:\/\/www.omg.org\/"},{"key":"101_CR35","doi-asserted-by":"crossref","unstructured":"Reggio, G., Astesiano, E., Choppy, C., Hussmann, H.: Analysing UML active classes and associated state machines\u2014a lightweight formal approach. In: Maibaum, T. (ed.) Proceedings of Fundamental Approaches to Software Engineering (FASE 2000), Berlin, Germany, Lecture Notes in Computer Science, vol. 1783, pp. 127\u2013146. Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-46428-X_10"},{"key":"101_CR36","doi-asserted-by":"crossref","unstructured":"Rensink, A.: The GROOVE simulator: A tool for state space generation. In: Nagl, M., Pfalz, J. (eds.) Applications of Graph Transformations with Industrial Relevance (AGTIVE), no. 3062 in Lecture Notes in Computer Science, pp. 479\u2013485. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-25959-6_40"},{"key":"101_CR37","unstructured":"Rensink, A.: Towards model checking graph grammars. In: Leuschel, S.G.M., Presti, S.L. (eds.) Proceedings of 3rd Workshop on Automated Verification of Critical Systems, no. 3062 in Tech. Report DSSE-TR-2003-2, pp. 150\u2013160. University of Southampton (2003)"},{"key":"101_CR38","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-45669-4_4","volume-title":"Object Modeling with the OCL: The Rationale behind the Object Constraint Language","author":"M. Richters","year":"2002","unstructured":"Richters M., Gogolla M.: OCL: Syntax, semantics, and tools. In: Clark, T., Warmer, J.(eds) Object Modeling with the OCL: The Rationale behind the Object Constraint Language., pp. 42\u201368. Springer, Heidelberg (2002)"},{"key":"101_CR39","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10270-003-0029-7","volume":"3","author":"C. Rossi","year":"2004","unstructured":"Rossi C., Enciso M., de Guzm\u00e1n I.P.: Formalization of UML state machines using temporal logic. Softw. Syst. Model. 3, 31\u201354 (2004)","journal-title":"Softw. Syst. Model."},{"key":"101_CR40","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Vol.1: Foundations","year":"1997","unstructured":", (eds): . , ()"},{"key":"101_CR41","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1998","unstructured":"Rumbaugh J., Jacobson I., Booch G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1998)"},{"key":"101_CR42","doi-asserted-by":"crossref","unstructured":"Schmidt, \u00c1., Varr\u00f3, D.: CheckVML: A tool for model checking visual modeling languages. In: P.Stevens, J.Whittle, G.Booch (eds.) UML 2003\u2014The Unified Modeling Language. Model Languages and Applications. 6th International Conference, San Francisco, CA, USA. Proceedings, Lecture Notes in Computer Science, vol. 2863, pp. 92\u201395. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-45221-8_8"},{"key":"101_CR43","doi-asserted-by":"crossref","unstructured":"Simons, A.J.H.: On the compositional properties of UML statechart diagrams. Electronic Workshops in Computing: Rigorous Object-Oriented Methods, pp. 8\/1\u20138\/12 (2000)","DOI":"10.14236\/ewic\/ROOM2000.8"},{"key":"101_CR44","doi-asserted-by":"crossref","unstructured":"Taentzer G. (1996) Hierarchically distributed graph transformation. In: Cuny, J.E., Ehrig, H., Engels, G., Rozenberg, G. (eds.) Proceedings of Graph Grammars and their Application to Computer Science, Lecture Notes in Computer Science, vol. 1073, pp. 304\u2013320 (1996)","DOI":"10.1007\/3-540-61228-9_95"},{"key":"101_CR45","unstructured":"Taentzer, G., Ermel, C., Rudolf, M.: The AGG-approach: Language and tool environment. In: Ehrig etal. [9], pp. 551\u2013603"},{"key":"101_CR46","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D.: A formal semantics of UML statecharts by model transition systems. In: Corradini, A., Ehrig, H., Kreowski, H.J., Rozenberg, G. (eds.) Graph Transformation. Ist International Conference, ICGT 2002, Barcelona, Spain. Proceedings, Lecture Notes in Computer Science, vol. 2505, pp. 378\u2013392. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45832-8_28"},{"key":"101_CR47","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Pataricza, A.: Metamodeling mathematics: a precise and visual framework for describing semantics domains of UML models. In: J\u00e9z\u00e9quel, J.M., Hussmann, H., Cook, S. (eds.) UML 2002\u2014The Unified Modeling Language. Model Engineering, Languages, Concepts, and Tools. 5th International Conference, Dresden, Germany. Proceedings, Lecture Notes in Computer Science, vol. 2460, pp. 18\u201333. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45800-X_3"},{"key":"101_CR48","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"1998","unstructured":"Warmer J., Kleppe A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading (1998)"},{"key":"101_CR49","unstructured":"Ziemann, P.: An Integrated Operational Semantics for a UML Core Based on Graph Transformation. No.14 in Monographs of the Bremen Institute of Safe Systems. Logos, Ph.D. Thesis (2006)"},{"issue":"1","key":"101_CR50","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/j.jvlc.2005.11.001","volume":"17","author":"P. Ziemann","year":"2006","unstructured":"Ziemann P., H\u00f6lscher K., Gogolla M.: On translating UML models into graph transformation systems. J. Vis. Lang. Comput. 17(1), 78\u2013105 (2006)","journal-title":"J. Vis. Lang. Comput."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0101-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-008-0101-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0101-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T19:11:19Z","timestamp":1684523479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-008-0101-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,28]]},"references-count":50,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["101"],"URL":"https:\/\/doi.org\/10.1007\/s10270-008-0101-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8,28]]}}}