{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:58:26Z","timestamp":1776333506382,"version":"3.51.2"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,7,2]],"date-time":"2011-07-02T00:00:00Z","timestamp":1309564800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Comput Sci Res Dev"],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1007\/s00450-011-0184-y","type":"journal-article","created":{"date-parts":[[2011,7,1]],"date-time":"2011-07-01T10:17:50Z","timestamp":1309515470000},"page":"3-22","source":"Crossref","is-referenced-by-count":24,"title":["Modeling and verifying dynamic communication structures based on graph transformations"],"prefix":"10.1007","volume":"28","author":[{"given":"Tobias","family":"Eckardt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Heinzemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Henkler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Hirsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Priesterjahn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,7,2]]},"reference":[{"key":"184_CR1","series-title":"Lecture Notes in Computer Science (LNCS)","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Proceedings of the 11th international conference on computer aided verification (CAV \u201999)","author":"R Alur","year":"1999","unstructured":"Alur R (1999) Timed automata. In: Halbwachs N, Peled D (eds) Proceedings of the 11th international conference on computer aided verification (CAV \u201999), July 6\u201310, 1999, Trento, Italy. Lecture Notes in Computer Science (LNCS), vol 1633. Springer, Berlin, pp 8\u201322"},{"key":"184_CR2","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-3-540-69850-0_6","volume-title":"25 years of model checking","author":"R Alur","year":"2008","unstructured":"Alur R (2008) Model checking: From tools to theory. In: 25 years of model checking. Lecture notes in computer science, vol 5000. Springer, Berlin Heidelberg, pp 89\u2013106"},{"key":"184_CR3","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur R, Courcoubetis C, Dill D (1993) Model-checking in dense real-time. Inf Comput 104:2\u201334","journal-title":"Inf Comput"},{"key":"184_CR4","volume-title":"14th international static analysis symposium","author":"J Bauer","year":"2007","unstructured":"Bauer J, Wilhelm R (2007) Static analysis of dynamic communication systems. In: File G, Nielson HR (eds) 14th international static analysis symposium, vol 4634. Springer, Berlin. http:\/\/www.model.in.tum.de\/~joba\/sas07.pdf"},{"key":"184_CR5","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/1134285.1134297","volume-title":"Proc. of the 28th international conference on software engineering (ICSE)","author":"B Becker","year":"2006","unstructured":"Becker B, Beyer D, Giese H, Klein F, Schilling D (2006) Symbolic invariant verification for systems with dynamic structural adaptation. In: Proc. of the 28th international conference on software engineering (ICSE), Shanghai, China. ACM, New York, pp 72\u201381"},{"key":"184_CR6","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal methods for the design of real-time systems: 4th international school on formal methods for the design of computer, communication, and software systems, SFM-RT 2004","author":"G Behrmann","year":"2004","unstructured":"Behrmann G, David A, Larsen KG (2004) A tutorial on Uppaal. In: Bernardo M, Corradini F (eds) Formal methods for the design of real-time systems: 4th international school on formal methods for the design of computer, communication, and software systems, SFM-RT 2004. LNCS, vol 3185. Springer, Berlin, pp 200\u2013236"},{"key":"184_CR7","series-title":"Lecture notes in computer science","first-page":"87","volume-title":"Lectures on concurrency and Petri nets","author":"J Bengtsson","year":"2003","unstructured":"Bengtsson J, Yi W (2003) Timed automata: semantics, algorithms and tools. In: Desel J, Reisig W, Rozenberg G (eds) Lectures on concurrency and Petri nets. Lecture notes in computer science, vol 3098. Springer, Berlin, pp 87\u2013124"},{"key":"184_CR8","first-page":"167","volume-title":"Formal methods in system design","author":"S Bliudze","year":"2010","unstructured":"Bliudze S, Sifakis J (2010) Causal semantics for the algebra of connectors. In: Formal methods in system design, vol 36. Springer, Berlin, pp 167\u2013194. doi: 10.1007\/s10703-010-0091-z"},{"key":"184_CR9","first-page":"29","volume-title":"Proceedings of the 13th international conference on fundamental approaches to software engineering, FASE 2010","author":"A Boronat","year":"2010","unstructured":"Boronat A, \u00d6lveczky PC (2010) Formal real-time model transformations in moment2. In: Proceedings of the 13th international conference on fundamental approaches to software engineering, FASE 2010, pp 29\u201343"},{"key":"184_CR10","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/1075405.1075411","volume-title":"WOSS \u201904: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems","author":"JS Bradbury","year":"2004","unstructured":"Bradbury JS, Cordy JR, Dingel J, Wermelinger M (2004) A survey of self-management in dynamic software architecture specifications. In: WOSS \u201904: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems. ACM, New York, pp 28\u201333. doi: 10.1007\/s00450-011-0184-y"},{"key":"184_CR11","first-page":"1","volume-title":"Proc of the international workshop on specification and validation of UML models for real-time and embedded systems, SVERTS2004","author":"S Burmester","year":"2004","unstructured":"Burmester S, Giese H, Hirsch M, Schilling D (2004) Incremental design and formal verification with UML\/RT in the FUJABA real-time tool suite. In: Proc of the international workshop on specification and validation of UML models for real-time and embedded systems, SVERTS2004, pp 1\u201320"},{"key":"184_CR12","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1142\/9789812384720_0003","volume-title":"Handbook of graph grammars and computing by graph transformation, vol\u00a01 Foundations","author":"A Corradini","year":"1997","unstructured":"Corradini A, Montanari U, Rossi F, Ehrig H, Heckel R, L\u00f6we M (1997) Algebraic approaches to graph transformation. Part\u00a0I: basic concepts and double pushout approach. In: Handbook of graph grammars and computing by graph transformation, vol\u00a01 Foundations. World Scientific, River Edge, pp 163\u2013245, Chap 3"},{"key":"184_CR13","unstructured":"David A (2006) UPPAAL DBM library programmer\u2019s reference"},{"key":"184_CR14","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/978-3-642-13556-9_4","volume-title":"Architecting critical systems","author":"T Eckardt","year":"2010","unstructured":"Eckardt T, Henkler S (2010) Component behavior synthesis for critical systems. In: Architecting critical systems. Lecture notes in computer science, vol 6150. Springer, Berlin, pp 52\u201371"},{"key":"184_CR15","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1142\/9789812384720_0004","volume-title":"Handbook of graph grammars and computing by graph transformation, vol 1. Foundations","author":"H Ehrig","year":"1997","unstructured":"Ehrig H, Heckel R, Korff M, L\u00f6we M, Ribeiro L, Wagner A, Corradini A (1997) Algebraic approaches to graph transformation. Part\u00a0II: single pushout approach and comparison with double pushout approach. In: Handbook of graph grammars and computing by graph transformation, vol 1. Foundations. World Scientific, River Edge, pp 247\u2013312"},{"issue":"2","key":"184_CR16","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1145\/128894.128895","volume":"1","author":"G Engels","year":"1992","unstructured":"Engels G, Lewerentz C, Nagl M, Sch\u00e4fer W, Sch\u00fcrr A (1992) Building integrated software development environments. Part I: tool specification. ACM Trans Softw Eng Methodol 1(2):135\u2013167","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"184_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Theory and application of graph transformations, 6th international workshop, TAGT\u201998","author":"T Fischer","year":"2000","unstructured":"Fischer T, Niere J, Torunski L, Z\u00fcndorf A (2000) In: Theory and application of graph transformations, 6th international workshop, TAGT\u201998, Paderborn, Germany, 1998. Lecture Notes in Computer Science, vol 1764. Springer, Berlin"},{"key":"184_CR18","unstructured":"Giese H, Burmester S (2003) Real-time statechart semantics. Tech. Rep. tr-ri-03-239, Lehrstuhl f\u00fcr Softwaretechnik, Universit\u00e4t Paderborn, Paderborn, Germany"},{"key":"184_CR19","first-page":"38","volume-title":"Proc of the European software engineering conference (ESEC)","author":"H Giese","year":"2003","unstructured":"Giese H, Tichy M, Burmester S, Sch\u00e4fer W, Flake S (2003) Towards the compositional verification of real-time uml designs. In: Proc of the European software engineering conference (ESEC), Helsinki, Finland. ACM, New York, pp 38\u201347"},{"key":"184_CR20","first-page":"179","volume-title":"Proc of 12th ACM SIGSOFT foundations of software engineering 2004 (FSE 2004)","author":"H Giese","year":"2004","unstructured":"Giese H, Burmester S, Sch\u00e4fer W, Oberschelp O (2004) Modular design and verification of component-based mechatronic systems with online-reconfiguration. In: Proc of 12th ACM SIGSOFT foundations of software engineering 2004 (FSE 2004), Newport Beach, USA. ACM, New York, pp 179\u2013188"},{"key":"184_CR21","doi-asserted-by":"crossref","first-page":"21","DOI":"10.4018\/978-1-59904-699-0.ch002","volume-title":"Designing software-intensive systems: methods and principles","author":"H Giese","year":"2008","unstructured":"Giese H, Henkler S, Roubin Hirsch M V, Tichy M (2008) Modeling techniques for software-intensive systems. In: Tiako DPF (ed) Designing software-intensive systems: methods and principles, Langston University, OK, pp 21\u201358"},{"key":"184_CR22","series-title":"Electronic Communications of the EASST","volume-title":"Proc of the eighth international workshop on graph based tools (GraBaTs 2010)","author":"C Heinzemann","year":"2010","unstructured":"Heinzemann C, Suck J, Eckardt T (2010) Reachability analysis on timed graph transformation systems. In: Proc of the eighth international workshop on graph based tools (GraBaTs 2010), Electronic Communications of the EASST, vol 31"},{"key":"184_CR23","volume-title":"Transformation tool contest","author":"C Heinzemann","year":"2010","unstructured":"Heinzemann C, Suck J, Jubeh R, Z\u00fcndorf A (2010) Topology analysis of car platoons merge with fujabart & timedstorycharts\u2014a\u00a0case study. In: Gorp PV, Mazanek S, Rensink A (eds) Transformation tool contest, Malaga"},{"key":"184_CR24","volume-title":"Proc of the 9th international symposium on advanced vehicle control","author":"C Henke","year":"2008","unstructured":"Henke C, Tichy M, B\u00f6cker J, Sch\u00e4fer W (2008) Organization and control of autonomous railway convoys. In: Proc of the 9th international symposium on advanced vehicle control, Kobe, Japan"},{"key":"184_CR25","volume-title":"Proc of the 31th international conference on software engineering (ICSE)","author":"S Henkler","year":"2009","unstructured":"Henkler S, Greenyer J, Hirsch M, Sch\u00e4fer W, Alhawash K, Eckardt T, Heinzemann C, L\u00f6ffler R, Seibel A, Giese H (2009) Synthesis of timed behavior from scenarios in the fujaba real-time tool suite. In: Proc of the 31th international conference on software engineering (ICSE), Vancouver, Canada."},{"key":"184_CR26","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/11691617_19","volume-title":"Model checking software (SPIN)","author":"H Kastenberg","year":"2006","unstructured":"Kastenberg H, Rensink A (2006) Model checking dynamic states in groove. In: Valmari A (ed) Model checking software (SPIN), Vienna, Austria. Lecture notes in computer science, vol\u00a03925. Springer, Berlin, pp 299\u2013305"},{"key":"184_CR27","series-title":"LNCS","first-page":"305","volume-title":"Proc of ICGT \u201908 (International conference on graph transformation)","author":"B K\u00f6nig","year":"2008","unstructured":"K\u00f6nig B, Kozioura V (2008) Towards the verification of attributed graph transformation systems. In: Proc of ICGT \u201908 (International conference on graph transformation). LNCS, vol\u00a05214. Springer, Berlin, pp 305\u2013320"},{"key":"184_CR28","first-page":"297","volume-title":"Formal aspects of computing","author":"J Lara de","year":"2010","unstructured":"de Lara J, Vangheluwe H (2010) Automating the transformation-based analysis of visual languages. In: Formal aspects of computing, vol 22. Springer, Berlin, pp 297\u2013326"},{"key":"184_CR29","first-page":"561","volume-title":"30th international conference on software engineering (ICSE 2008)","author":"O Niggemann","year":"2008","unstructured":"Niggemann O, Stroop J (2008) Models for model\u2019s sake: why explicit system models are also an end to themselves. In: Sch\u00e4fer W, Dwyer MB, Gruhn V (eds) 30th international conference on software engineering (ICSE 2008), Leipzig, Germany, May 10\u201318, 2008. ACM, New York, pp 561\u2013570"},{"issue":"1\u20132","key":"184_CR30","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"PC \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky PC, Meseguer J (2007) Semantics and pragmatics of real-time maude. High-Order Symb Comput 20(1\u20132):161\u2013196","journal-title":"High-Order Symb Comput"},{"key":"184_CR31","volume-title":"Model-based engineering of embedded real-time systems (MBEERTS)","author":"C Priesterjahn","year":"2010","unstructured":"Priesterjahn C, Tichy M, Henkler S, Hirsch M, Sch\u00e4fer W (2010) Fujaba4eclipse real-time tool suite. In: Model-based engineering of embedded real-time systems (MBEERTS). Springer, Berlin"},{"key":"184_CR32","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of graph transformations with industrial relevance (AGTIVE)","author":"A Rensink","year":"2004","unstructured":"Rensink A (2004) The GROOVE simulator: a tool for state space generation. In: Pfalz J, Nagl M, B\u00f6hlen B (eds) Applications of graph transformations with industrial relevance (AGTIVE). Lecture notes in computer science, vol 3062. Springer, Berlin, pp 479\u2013485"},{"key":"184_CR33","volume-title":"Graph-based tools (GraBaTs), Natal, Brazil, European Association of Software Science and Technology, Electronic Communications of the EASST","author":"A Rensink","year":"2007","unstructured":"Rensink A (2007) Isomorphism checking in groove. In: Z\u00fcndorf A, Varr\u00f3 D (eds) Graph-based tools (GraBaTs), Natal, Brazil, European Association of Software Science and Technology, Electronic Communications of the EASST, vol 1"},{"key":"184_CR34","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-540-68679-8_8","volume-title":"Concurrency, graphs and models","author":"A Rensink","year":"2008","unstructured":"Rensink A (2008) Explicit state model checking for graph grammars. In: Concurrency, graphs and models. Lecture notes in computer science, vol 5065. Springer, Berlin, pp 114\u2013132"},{"key":"184_CR35","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/VLHCC.2009.5295300","volume-title":"Proceedings of the 2009 IEEE symposium on visual languages and human-centric computing (VL\/HCC)","author":"JE Rivera","year":"2009","unstructured":"Rivera JE, Duran F, Vallecillo A (2009) A graphical approach for modeling time-dependent behavior of dsls. In: Proceedings of the 2009 IEEE symposium on visual languages and human-centric computing (VL\/HCC). IEEE Computer Society, Washington, pp\u00a051\u201355"},{"key":"184_CR36","doi-asserted-by":"crossref","DOI":"10.1142\/3303","volume-title":"Handbook of graph grammars and computing by graph transformation, vol 1: Foundations","author":"G Rozenberg","year":"1997","unstructured":"Rozenberg G (1997) Handbook of graph grammars and computing by graph transformation, vol 1: Foundations. World Scientific, River Edge"},{"key":"184_CR37","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/FOSE.2007.28","volume-title":"FOSE \u201907: 2007 future of software engineering","author":"W Sch\u00e4fer","year":"2007","unstructured":"Sch\u00e4fer W, Wehrheim H (2007) The challenges of building advanced mechatronic systems. In: FOSE \u201907: 2007 future of software engineering. IEEE Computer Society, Washington, pp 72\u201384"},{"key":"184_CR38","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1142\/9789812384720_0007","volume-title":"Handbook of graph grammars and computing by graph transformation, vol\u00a01. Foundations","author":"A Sch\u00fcrr","year":"1997","unstructured":"Sch\u00fcrr A (1997) Programmed graph replacement systems. In: Handbook of graph grammars and computing by graph transformation, vol\u00a01. Foundations. World Scientific, River Edge, pp 479\u2013546"},{"key":"184_CR39","volume-title":"GM-VMT\u201910, Electronic communications of the EASST","author":"P Torrini","year":"2010","unstructured":"Torrini P, Heckel R, R\u00e1th I, Bergmann G (2010) Stochastic graph transformation with regions. In: GM-VMT\u201910, Electronic communications of the EASST, vol 29"},{"key":"184_CR40","unstructured":"UML 2.2 (2009) superstructure specification. Object Management Group, document\u2014formal\/09-02-02"},{"key":"184_CR41","unstructured":"Z\u00fcndorf A (2001) Rigorous object oriented software development. University of Paderborn"},{"key":"184_CR42","volume-title":"5th international workshop on graph-based tools (GraBaTs)","author":"A Z\u00fcndorf","year":"2009","unstructured":"Z\u00fcndorf A (2009) Model checking the leader election protocol with Fujaba. In: 5th international workshop on graph-based tools (GraBaTs)"}],"container-title":["Computer Science - Research and Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-011-0184-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00450-011-0184-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-011-0184-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,27]],"date-time":"2021-11-27T09:21:30Z","timestamp":1638004890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-011-0184-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,2]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["184"],"URL":"https:\/\/doi.org\/10.1007\/s00450-011-0184-y","relation":{},"ISSN":["1865-2034","1865-2042"],"issn-type":[{"value":"1865-2034","type":"print"},{"value":"1865-2042","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7,2]]}}}