{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:20:24Z","timestamp":1775053224600,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540426677","type":"print"},{"value":"9783540454410","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_21","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T13:29:50Z","timestamp":1186406990000},"page":"272-286","source":"Crossref","is-referenced-by-count":41,"title":["Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Engels","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen Malte","family":"K\u00fcster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"key":"21_CR1","unstructured":"L. Baresi and M. Pezz\u00e8. Improving UML with Petri nets. In A. Corradini and M. Bauderon, editors, Proc. ETAPS 2001 Workshop on Uniform Approaches to Graphical Process Specification Techniques (UniGra 2001), Genova, Italy, Electronic Notes in TCS 51. Elsevier Science, 2001."},{"key":"21_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1007\/3-540-63533-5_34","volume-title":"Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria","author":"E. Boiten","year":"1997","unstructured":"E. Boiten, H. Bowman, J. Derrick, and M. Steen. Viewpoint consistency in Z and LOTOS: A case study. In J. Fitzgerald, C. B. Jones, and P. Lucas, editors, Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, LNCS 1313, pages 644\u2013664. Springer-Verlag, 1997."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"B. Cheng, L. Campbell, and E. Wang. Enabling automated analysis through the formalization of object-oriented modeling diagrams. In Proc. IEEE Intl. Conference on Dependable Systems and Networks. IEEE Computer Society, 2000.","DOI":"10.1109\/ICDSN.2000.857554"},{"key":"21_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BFb0014022","volume-title":"Proc. Object-Oriented Methodologies and Systems","author":"J. Ebert","year":"1994","unstructured":"J. Ebert and G. Engels. Structural and behavioral views of OMT-classes. In E. Bertino and S. Urban, editors, Proc. Object-Oriented Methodologies and Systems, LNCS 858, pages 142\u2013157. Springer-Verlag, 1994."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"G. Engels and L. Groenewegen. Object-oriented modeling: A roadmap. In A. Finkelstein, editor, Future Of Software Engineering 2000, pages 105\u2013116. ACM, 2000.","DOI":"10.1145\/336512.336541"},{"key":"21_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/3-540-46852-8_34","volume-title":"Proc. UML\u201999, Fort Collins, CO, USA","author":"G. Engels","year":"1999","unstructured":"G. Engels, R. H\u00fccking, St. Sauer, and A. Wagner. UML collaboration diagrams and their transformation to Java. In R. France and B. Rumpe, editors, Proc. UML\u201999, Fort Collins, CO, USA, LNCS 1723, pages 473\u2013488. Springer-Verlag, 1999."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"G. Engels, J. M. K\u00fcster, L. Groenewegen, and R. Heckel. A methodology for specifying and analyzing consistency of object-oriented behavioral models. In V. Gruhn, editor, Proc. European Software Engineering Conference (ESEC\/FSE 2001), Vienna, Austria. To appear.","DOI":"10.1145\/503209.503235"},{"key":"21_CR8","unstructured":"Formal Systems Europe (Ltd). Failures-Divergence-Refinement: FDR2 User Manual, 1997."},{"key":"21_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-48166-4_25","volume-title":"Proc. European Software Engineering Conference (ESEC\/FSE 1999)","author":"P. Fradet","year":"1999","unstructured":"P. Fradet, D. Le M\u00e9tayer, and M. P\u00e9rin. Consistency checking for multiple view software architectures. In O. Nierstrasz and M. Lemoine, editors, Proc. European Software Engineering Conference (ESEC\/FSE 1999), LNCS 1687, pages 410\u2013428. Springer-Verlag \/ ACM Press, 1999."},{"key":"21_CR10","unstructured":"C. Ghezzi and B. A. Nuseibeh. Special Issue on Managing Inconsistency in Software Development (1). IEEE Transactions on Software Engineering, 24(11), November 1998."},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"C. Ghezzi and B. A. Nuseibeh. Special Issue on Managing Inconsistency in Software Development (2). IEEE Transactions on Software Engineering, 25(11), November 1999.","DOI":"10.1109\/TSE.1999.824393"},{"key":"21_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BFb0053586","volume-title":"Proc. Fundamental Approaches to Software Engineering (FASE 1998)","author":"M. Gro\u00dfe-Rhode","year":"1998","unstructured":"M. Gro\u00dfe-Rhode. Algebra transformation systems and their compositions. In Proc. Fundamental Approaches to Software Engineering (FASE 1998), LNCS 1382, pages 107\u2013122. Springer-Verlag, 1998."},{"key":"21_CR13","unstructured":"D. Harel and O. Kupferman. On the Inheritance of State-Based Object Behavior. Technical Report MCS99-12, Weizmann Institute of Science, Faculty of Mathematics and Computer Science, June 1999."},{"key":"21_CR14","unstructured":"C. A. R. Hoare. Communcating Sequential Processes. Prentice Hall, 1985."},{"key":"21_CR15","unstructured":"I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison Wesley, 1999."},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"J. M. K\u00fcster and J. Stroop. Consistent design of embedded real-time systems with UML-RT. In Proc. 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC\u20192001), 2001.","DOI":"10.1109\/ISORC.2001.922815"},{"key":"21_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1007\/3-540-46852-8_46","volume-title":"Proc. UML\u201999, Fort Collins, CO, USA","author":"X. Li","year":"1999","unstructured":"X. Li and J. Lilius. Timing analysis of UML sequence diagrams. In R. France and B. Rumpe, editors, Proc. UML\u201999, Fort Collins, CO, USA, LNCS 1723, pages 661\u2013674. Springer-Verlag, 1999."},{"key":"21_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/BFb0052191","volume-title":"Proc. 8th European Conference on Object-Oriented Programming (ECOOP\u201994)","author":"A. Moreira","year":"1994","unstructured":"A. Moreira and R. Clark. Combining object-oriented modeling and formal description techniques. In M. Tokoro and R. Pareschi, editors, Proc. 8th European Conference on Object-Oriented Programming (ECOOP\u201994), LNCS 821, pages 344\u2013364. Springer-Verlag, 1994."},{"key":"21_CR19","unstructured":"Object Management Group. Analysis and design platform task force-white paper on the profile mechanism, April 1999. http:\/\/www.omg.org\/pub\/docs\/ad\/99-04-07.pdf ."},{"key":"21_CR20","unstructured":"Object Management Group. UML specification version 1.4, 2001. http:\/\/www.omg.org ."},{"key":"21_CR21","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1016\/S0022-0000(71)80016-8","volume":"5","author":"T. W. Pratt","year":"1971","unstructured":"T. W. Pratt. Pair grammars, graph languages and string-to-graph translations. Journal of Computer and System Sciences, 5:560\u2013595, 1971.","journal-title":"Journal of Computer and System Sciences"},{"key":"21_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/3-540-46852-8_33","volume-title":"Proc. UML\u201999, Fort Collins, CO, USA","author":"J. L. Sourrouille","year":"1999","unstructured":"Jean Louis Sourrouille. UML behavior: Inheritance and implementation in current object-oriented languages. In R. France and B. Rumpe, editors, Proc. UML\u201999, Fort Collins, CO, USA, LNCS 1723, pages 457\u2013472. Springer-Verlag, 1999."},{"key":"21_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/3-540-45393-8_38","volume-title":"Proc. 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA","author":"M. Stumptner","year":"2000","unstructured":"Markus Stumptner and Michael Schrefl. Behavior consistent inheritance in UML. In A. H. F. Laender, S. W. Liddle, and V. C. Storey, editors, Proc. 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, LNCS 1920. pages 527\u2013542. Springer-Verlag, 2000."}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45441-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T15:45:06Z","timestamp":1556725506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}