{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:01:40Z","timestamp":1725494500253},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642341755"},{"type":"electronic","value":"9783642341762"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34176-2_19","type":"book-chapter","created":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T05:56:59Z","timestamp":1349071019000},"page":"222-237","source":"Crossref","is-referenced-by-count":9,"title":["Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata"],"prefix":"10.1007","author":[{"given":"Joel","family":"Greenyer","sequence":"first","affiliation":[]},{"given":"Jan","family":"Rieke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/11787044_27","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"C. Amelunxen","year":"2006","unstructured":"Amelunxen, C., K\u00f6nigs, A., R\u00f6tschke, T., Sch\u00fcrr, A.: MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol.\u00a04066, pp. 361\u2013375. Springer, Heidelberg (2006)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III","author":"J. Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: UPPAAL \u2013 A Tool Suite for Automatic Verification of Real-time Systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) HS 1995. LNCS, vol.\u00a01066, pp. 232\u2013243. Springer, Heidelberg (1996)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/11539452_9","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"F. Cassez","year":"2005","unstructured":"Cassez, F., David, A., Fleury, E., Larsen, K.G., Lime, D.: Efficient On-the-Fly Algorithms for the Analysis of Timed Games. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 66\u201380. Springer, Heidelberg (2005)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-01648-6_14","volume-title":"Models in Software Engineering","author":"D.-H. Dang","year":"2009","unstructured":"Dang, D.-H., Gogolla, M.: On Integrating OCL and Triple Graph Grammars. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol.\u00a05421, pp. 124\u2013137. Springer, Heidelberg (2009)"},{"key":"19_CR5","unstructured":"Geiger, N., Grusie, B., Koch, A., Z\u00fcndorf, A.: Yet another TGG engine? In: Norbisrath, U., Jubeh, R. (eds.) Int. Fujaba Days. Kasseler Informatikschriften (2011)"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/978-3-642-17322-6_24","volume-title":"Graph Transformations and Model-Driven Engineering","author":"H. Giese","year":"2010","unstructured":"Giese, H., Hildebrandt, S., Neumann, S.: Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Graph Transformations and Model-Driven Engineering. LNCS, vol.\u00a05765, pp. 555\u2013579. Springer, Heidelberg (2010)"},{"key":"19_CR7","unstructured":"Golas, U., Ehrig, H., Hermann, F.: Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. In: Rachid Echahed, A.H., Mosbah, M. (eds.) Int. Workshop on Graph Computation Models. Electronic Communications of the EASST, vol.\u00a039 (2011)"},{"key":"19_CR8","unstructured":"Greenyer, J.: Synthesizing modal sequence diagram specifications with Uppaal-Tiga. Tech. Rep. tr-ri-10-310, University of Paderborn (2010)"},{"key":"19_CR9","unstructured":"Greenyer, J.: Scenario-Based Design of Mechatronic Systems. Ph.D. thesis, University of Paderborn (2011)"},{"issue":"1","key":"19_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10270-009-0121-8","volume":"9","author":"J. Greenyer","year":"2010","unstructured":"Greenyer, J., Kindler, E.: Comparing Relational Model Transformation Technologies: Implementing Query\/View\/Transformation with Triple Graph Grammars. Software and Systems Modeling\u00a09(1), 21\u201346 (2010)","journal-title":"Software and Systems Modeling"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-02408-5_7","volume-title":"Theory and Practice of Model Transformations","author":"E. Guerra","year":"2009","unstructured":"Guerra, E., de Lara, J., Orejas, F.: Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. In: Paige, R. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 83\u201399. Springer, Heidelberg (2009)"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-71289-3_11","volume-title":"Fundamental Approaches to Software Engineering","author":"D. Harel","year":"2007","unstructured":"Harel, D., Kleinbort, A., Maoz, S.: S2A: A Compiler for Multi-modal UML Sequence Diagrams. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 121\u2013124. Springer, Heidelberg (2007)"},{"issue":"2","key":"19_CR13","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10270-007-0054-z","volume":"7","author":"D. Harel","year":"2008","unstructured":"Harel, D., Maoz, S.: Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling\u00a07(2), 237\u2013252 (2008)","journal-title":"Software and Systems Modeling"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-642-15928-2_11","volume-title":"Graph Transformations","author":"F. Hermann","year":"2010","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Golas, U.: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 155\u2013170. Springer, Heidelberg (2010)"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1145\/1287624.1287664","volume-title":"ESEC-FSE 2007","author":"F. Klar","year":"2007","unstructured":"Klar, F., K\u00f6nigs, A., Sch\u00fcrr, A.: Model transformation in the large. In: ESEC-FSE 2007, pp. 285\u2013294. ACM, New York (2007)"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-17322-6_8","volume-title":"Graph Transformations and Model-Driven Engineering","author":"F. Klar","year":"2010","unstructured":"Klar, F., Lauder, M., K\u00f6nigs, A., Sch\u00fcrr, A.: Extended Triple Graph Grammars with Efficient and Compatible Graph Translators. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Graph Transformations and Model-Driven Engineering. LNCS, vol.\u00a05765, pp. 141\u2013174. Springer, Heidelberg (2010)"},{"key":"19_CR17","unstructured":"Object Management Group (OMG): MOF Query\/View\/Transformation (QVT)\u00a01.1 Specification, OMG document formal\/2011-01-01"},{"key":"19_CR18","unstructured":"Object Management Group (OMG): Object Constraint Language (OCL 2.2) specification, OMG document formal\/2010-02-01"},{"key":"19_CR19","unstructured":"Object Management Group (OMG): UML 2.3 Superstructure Specification, OMG document formal\/2010-05-03"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-21732-6_3","volume-title":"Theory and Practice of Model Transformations","author":"M. Wimmer","year":"2011","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W., Kolovos, D., Paige, R., Lauder, M., Sch\u00fcrr, A., Wagelaar, D.: A Comparison of Rule Inheritance in Model-to-Model Transformation Languages. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol.\u00a06707, pp. 31\u201346. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34176-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:47:07Z","timestamp":1620132427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34176-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642341755","9783642341762"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34176-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}