{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:56:05Z","timestamp":1725566165982},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156427"},{"type":"electronic","value":"9783642156434"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15643-4_9","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T13:39:39Z","timestamp":1284989979000},"page":"97-111","source":"Crossref","is-referenced-by-count":0,"title":["On Scenario Synchronization"],"prefix":"10.1007","author":[{"given":"Duc-Hanh","family":"Dang","sequence":"first","affiliation":[]},{"given":"Anh-Hoang","family":"Truong","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"OMG: OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2. OMG (November 2007)"},{"key":"9_CR2","volume-title":"Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools","author":"J. Greenfield","year":"2004","unstructured":"Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools, 1st edn. Wiley, Chichester (August 2004)","edition":"1"},{"key":"9_CR3","unstructured":"Kleppe, A.G.: A Language Description is More than a Metamodel. In: Fourth International Workshop on Software Language Engineering, Nashville, USA, October 1 (2007), http:\/\/planet-mde.org\/atem2007\/"},{"issue":"10","key":"9_CR4","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D. Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: Meaningful Modeling: What\u2019s the Semantics of \u201cSemantics\u201d? Computer\u00a037(10), 64\u201372 (2004)","journal-title":"Computer"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-540-69489-2_39","volume-title":"Models in Software Engineering","author":"M. Broy","year":"2007","unstructured":"Broy, M., Crane, M., Dingel, J., Hartman, A., Rumpe, B., Selic, B.: 2nd UML 2 Semantics Symposium: Formal Semantics for UML. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 318\u2013323. Springer, Heidelberg (2007)"},{"key":"9_CR6","unstructured":"Gogolla, M.: (An Example for) Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion. In: Bezivin, J., Heckel, R. (eds.) Proc. Dagstuhl Seminar on Language Engineering for Model-Driven Software Development (2004), http:\/\/www.dagstuhl.de\/04101\/"},{"key":"9_CR7","volume-title":"Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002","author":"J.H. Hausmann","year":"2002","unstructured":"Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of Conflicting Functional Requirements in a Use Case-Driven approach: a static analysis technique based on graph transformation. In: Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, Orlando, Florida, USA, May 19-25. ACM, New York (2002)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-540-48480-6_26","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"A. Evans","year":"1999","unstructured":"Evans, A., France, R.B., Lano, K., Rumpe, B.: The UML as a Formal Modeling Notation. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol.\u00a01618, pp. 336\u2013348. Springer, Heidelberg (1999)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/978-3-540-87875-9_48","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Kelsen","year":"2008","unstructured":"Kelsen, P., Ma, Q.: A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 690\u2013704. Springer, Heidelberg (2008)"},{"key":"9_CR10","volume-title":"The Object Constraint Language: Precise Modeling With Uml","author":"J.B. Warmer","year":"1998","unstructured":"Warmer, J.B., Kleppe, A.G.: The Object Constraint Language: Precise Modeling With Uml, 1st edn. Addison-Wesley Professional, Reading (1998)","edition":"1"},{"issue":"1-2","key":"9_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming\u00a072(1-2), 31\u201339 (2008)","journal-title":"Science of Computer Programming"},{"key":"9_CR12","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":"9_CR13","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification, Final Adopted Specification ptc\/07-07-07. OMG (2007)"},{"key":"9_CR14","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":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/978-3-642-01648-6_14","volume-title":"MODELS 2008","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":"9_CR16","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"2004","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley Professional, Reading (2004)","edition":"2"},{"key":"9_CR17","volume-title":"Writing Effective Use Cases","author":"A. Cockburn","year":"2000","unstructured":"Cockburn, A.: Writing Effective Use Cases, 1st edn. Addison-Wesley Professional, Reading (2000)","edition":"1"},{"key":"9_CR18","volume-title":"Object-Oriented Software Engineering: A Use Case Driven Approach","author":"I. Jacobson","year":"1992","unstructured":"Jacobson, I.: Object-Oriented Software Engineering: A Use Case Driven Approach, 1st edn. Addison-Wesley Professional, USA (June 1992)","edition":"1"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. In: Science of Computer Programming (2007)","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"9_CR20","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/1402947.1402950","volume-title":"Proceedings of the Third International Workshop on Graph and Model Transformations","author":"H. Ehrig","year":"2008","unstructured":"Ehrig, H., Ermel, C., Hermann, F.: On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars. In: Proceedings of the Third International Workshop on Graph and Model Transformations, pp. 9\u201316. ACM, New York (2008)"},{"key":"9_CR21","first-page":"1","volume-title":"7th IEEE International Conference on Software Engineering and Formal Methods","author":"D.H. Dang","year":"2009","unstructured":"Dang, D.H., Gogolla, M.: Precise Model-Driven Transformation Based on Graphs and Metamodels. In: Hung, D.V., Krishnan, P. (eds.) 7th IEEE International Conference on Software Engineering and Formal Methods, Hanoi, Vietnam, November 23-27, pp. 1\u201310. IEEE Computer Society Press, Los Alamitos (2009)"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/978-3-540-87875-9_25","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Jurack","year":"2008","unstructured":"Jurack, S., Lambers, L., Mehner, K., Taentzer, G.: Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 341\u2013355. Springer, Heidelberg (2008)"},{"issue":"4","key":"9_CR23","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M. Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and System Modeling\u00a04(4), 386\u2013398 (2005)","journal-title":"Software and System Modeling"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45923-5_12","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Lara de","year":"2002","unstructured":"de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-formalism and Meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 174\u2013188. Springer, Heidelberg (2002)"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P.A. Muller","year":"2005","unstructured":"Muller, P.A., Fleurey, F., J\u00e9z\u00e9quel, J.M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"key":"9_CR26","unstructured":"Hurlbut, R.R.: A Survey of Approaches for Describing and Formalizing Use Cases. Technical Report XPT-TR-97-03, Department of Computer Science, Illinois Institute of Technology, USA (1997)"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/11663430_30","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"J. Whittle","year":"2006","unstructured":"Whittle, J.: Specifying Precise Use Cases with Use Case Charts. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 290\u2013301. Springer, Heidelberg (2006)"},{"key":"9_CR28","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1109\/ECBS.1996.494538","volume-title":"IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS 1996)","author":"B. Regnell","year":"1996","unstructured":"Regnell, B., Andersson, M., Bergstrand, J.: A Hierarchical Use Case Model with Graphical Representation. In: IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS 1996), Friedrichshafen, Germany, March 11-15, p. 270. IEEE Computer Society, Los Alamitos (1996)"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1007\/978-3-540-75209-7_37","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Smialek","year":"2007","unstructured":"Smialek, M., Bojarski, J., Nowakowski, W., Ambroziewicz, A., Straszak, T.: Complementary Use Case Scenario Representations Based on Domain Vocabularies. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 544\u2013558. Springer, Heidelberg (2007)"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"<\u2009<UML>\u2009> 2004 - The Unified Modeling Language","author":"A. Dur\u00e1n","year":"2004","unstructured":"Dur\u00e1n, A., Bern\u00e1rdez, B., Genero, M., Piattini, M.: Empirically Driven Use Case Metamodel Evolution. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 1\u201311. Springer, Heidelberg (2004)"},{"key":"9_CR31","first-page":"97","volume-title":"ICSEW 2007: Proceedings of the 29th International Conference on Software Engineering Workshops","author":"A. Sinha","year":"2007","unstructured":"Sinha, A., Paradkar, A., Williams, C.: On Generating EFSM Models from Use Cases. In: ICSEW 2007: Proceedings of the 29th International Conference on Software Engineering Workshops, p. 97. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"3","key":"9_CR32","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1109\/TSE.2006.22","volume":"32","author":"C. Nebut","year":"2006","unstructured":"Nebut, C., Fleurey, F., Traon, Y.L., Jezequel, J.: Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions on Software Engineering\u00a032(3), 140\u2013155 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR33","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/APAQS.2001.990016","volume-title":"Proceedings of 2nd Asia-Pacific Conference on Quality Software (APAQS 2001)","author":"W. Grieskamp","year":"2001","unstructured":"Grieskamp, W., Lepper, M., Schulte, W., Tillmann, N.: Testable use cases in the Abstract State Machine Language. In: Proceedings of 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), Hong Kong, China, December 10-11, pp. 167\u2013172. IEEE Computer Society, Los Alamitos (2001)"},{"key":"9_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/978-3-540-87405-8_39","volume-title":"Graph Transformations","author":"D.H. Dang","year":"2008","unstructured":"Dang, D.H.: Triple Graph Grammars and OCL for Validating System Behavior. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 481\u2013483. Springer, Heidelberg (2008)"},{"key":"9_CR35","unstructured":"Dang, D.H.: Validation of System Behavior Utilizing an Integrated Semantics of Use Case and Design Models. In: Pons, C. (ed.) Proceedings of the Doctoral Symposium at the ACM\/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems (MoDELS 2007), vol.\u00a0262, pp. 1\u20135 (2007)"},{"key":"9_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-540-89020-1_44","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"M. Gogolla","year":"2008","unstructured":"Gogolla, M., Bttner, F., Dang, D.H.: From Graph Transformation to OCL using USE. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol.\u00a05088, pp. 585\u2013586. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15643-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T07:33:02Z","timestamp":1636529582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15643-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156427","9783642156434"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15643-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}