{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T20:01:34Z","timestamp":1783368094887,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540293897","type":"print"},{"value":"9783540320685","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11568322_1","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T13:49:30Z","timestamp":1131716970000},"page":"1-15","source":"Crossref","is-referenced-by-count":7,"title":["Conceptual Modeling of Structure and Behavior with UML \u2013 The Top Level Object-Oriented Framework (TLOOF) Approach"],"prefix":"10.1007","author":[{"given":"Iris","family":"Reinhartz-Berger","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Ambler, S.W.: How the UML Models Fit Together. Software Development Online: Focus on UML (2000), \n                    \n                      http:\/\/www.sdmagazine.com\/documents\/s=815\/sdm0003z\/0003z1.htm"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/3-540-45397-0_9","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"L. Baresi","year":"2001","unstructured":"Baresi, L., Pezze, M.: On Formalizing UML with High-Level Petri Nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, pp. 276\u2013304. Springer, Heidelberg (2001)"},{"issue":"2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1023\/A:1016000201864","volume":"21","author":"H. Bowman","year":"2002","unstructured":"Bowman, H., Steen, M., Boiten, E.A., Derrick, J.: A Formal Framework for Viewpoint Consistency. Formal Methods in System Design\u00a021(2), 111\u2013166 (2002)","journal-title":"Formal Methods in System Design"},{"key":"1_CR4","unstructured":"Bodeveix, J.P., Millan, T., Percebois, C., Le Camus, C., Bazex, P., Feraud, L., Sobek, R.: Extending OCL for Verifying UML Models Consistency. In: Workshop on Consistency Problems in UML-based Software Development, 5th International Conference on the Unified Modeling Language- the Language and its applications (UML 2002), Dresden, Germany, pp. 75\u201390 (2002)"},{"key":"1_CR5","unstructured":"Chiorean, D., Pasca, M., Carcu, A., Botiza, C., Moldovan, S.: Ensuring UML models consistency using the OCL Environment. In: Workshop on OCL 2.0 - Industry standard or scientific playground? 6th International Conference on the Unified Modeling Language - the Language and its applications (UML 2003), San Francisco (2003), \n                    \n                      http:\/\/i11www.ira.uka.de\/~baar\/oclworkshopUml03\/papers\/06_ensuring_uml_model_consistency.pdf"},{"key":"1_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56209-9","volume-title":"Object-Process Methodology - A Holistic Systems Paradigm","author":"D. Dori","year":"2002","unstructured":"Dori, D.: Object-Process Methodology - A Holistic Systems Paradigm. Springer, Heidelberg (2002)"},{"key":"1_CR7","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Testing the Consistency of Dynamic UML Diagrams. In: Proc. 6th International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena CA (2002), \n                    \n                      http:\/\/www.uni-paderborn.de\/cs\/ag-engels\/Papers\/2002\/EngelsHHS-IDPT02.pdf"},{"key":"1_CR8","first-page":"186","volume-title":"Proceedings of the 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9)","author":"G. Engels","year":"2001","unstructured":"Engels, G., Kuster, J.M., Groenewegen, L., Heckel, R.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: Gruhn, V. (ed.) Proceedings of the 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), pp. 186\u2013195. ACM Press, Vienna Austria (2001)"},{"key":"1_CR9","volume-title":"UML Distilled: A Brief Guide to the Standard Object Modeling Language","author":"M. Fowler","year":"2003","unstructured":"Fowler, M., Scott, K.: UML Distilled: A Brief Guide to the Standard Object Modeling Language, 3rd edn. Addison-Wesley, Reading (2003)","edition":"3"},{"key":"1_CR10","unstructured":"Gomaa, H., Wijesekera, D.: Consistency in Multiple-View UML Models: A Case Study. In: Workshop on Consistency Problems in UML-based Software Development II, 6th International Conference on the Unified Modeling Language- the Language and its applications (UML 2003), San Francisco, pp. 1\u20138 (2003)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-48224-5_4","volume-title":"Automata, Languages and Programming","author":"M. Gro\u00dfe-Rhode","year":"2001","unstructured":"Gro\u00dfe-Rhode, M.: Integrating Semantics for Object-Oriented System Models. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 40\u201360. Springer, Heidelberg (2001)"},{"issue":"3","key":"1_CR12","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/329693.329694","volume":"6","author":"J. Hahn","year":"1999","unstructured":"Hahn, J., Kim, J.: Why Are Some Diagrams Easier to Work With? Effects of Diagrammatic Representation on the Cognitive Integration Process of Systems Analysis and Design. ACM Transactions on Computer-Human Interaction\u00a06(3), 181\u2013213 (1999)","journal-title":"ACM Transactions on Computer-Human Interaction"},{"issue":"7","key":"1_CR13","first-page":"60","volume":"11","author":"B. Henderson-Sellers","year":"1998","unstructured":"Henderson-Sellers, B.: OO Diagram Connectivity. Journal of Object-Oriented Programming\u00a011(7), 60\u201368 (1998)","journal-title":"Journal of Object-Oriented Programming"},{"key":"1_CR14","unstructured":"Mens, T., Van Der Straeten, R., Simmonds, J.: Maintaining Consistency between UML Models Using Description Logic. In: Workshop on Consistency Problems in UML-based Software Development II, 6th International Conference on the Unified Modeling Language- the Language and its applications (UML 2003), San Francisco, pp. 71\u201377 (2003)"},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/839268.839271","volume":"12","author":"C. Nentwich","year":"2003","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E.: Flexible consistency checking. ACM Transactions on Software Engineering and Methodologies\u00a012(1), 28\u201363 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodologies"},{"key":"1_CR16","unstructured":"Object Management Group. Unified Modeling Language Specification \u2013 version 1.4, \n                    \n                      ftp:\/\/ftp.omg.org\/pub\/docs\/formal\/01-09-67.pdf"},{"key":"1_CR17","unstructured":"Object Management Group. UML 2.0 Superstructure FTF convenience document, \n                    \n                      http:\/\/www.omg.org\/docs\/ptc\/04-10-02.zip"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1023\/A:1014819010099","volume":"7","author":"M.C. Otero","year":"2002","unstructured":"Otero, M.C., Dolado, J.J.: An Initial Experimental Assessment of the Dynamic Modeling in UML. Empirical Software Engineering\u00a07, 27\u201347 (2002)","journal-title":"Empirical Software Engineering"},{"issue":"5","key":"1_CR19","doi-asserted-by":"publisher","first-page":"63","DOI":"10.5381\/jot.2002.1.5.c6","volume":"1","author":"R. Paige","year":"2002","unstructured":"Paige, R., Ostroff, J.: The Single Model Principle. Journal of Object Technology\u00a01(5), 63\u201381 (2002)","journal-title":"Journal of Object Technology"},{"issue":"8","key":"1_CR20","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/32.879812","volume":"26","author":"M. Peleg","year":"2000","unstructured":"Peleg, M., Dori, D.: The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods. IEEE Transaction on Software Engineering\u00a026(8), 742\u2013759 (2000)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"1_CR21","unstructured":"Rasch, H., Wehrheim, H.: Consistency Between UML Classes and Associated State Machines. In: Workshop on Consistency Problems in UML-based Software Development, 5th International Conference on the Unified Modeling Language- the Language and its applications (UML 2002), Dresden, Germany, pp. 46\u201360 (2002)"},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1023\/B:EMSE.0000048323.40484.e0","volume":"10","author":"I. Reinhartz-Berger","year":"2005","unstructured":"Reinhartz-Berger, I., Dori, D.: OPM vs. UML \u2013 Experimenting Comprehension and Construction of Web Application Models. Empirical Software Engineering (EMSE)\u00a010(1), 57\u201380 (2005)","journal-title":"Empirical Software Engineering (EMSE)"},{"key":"1_CR23","unstructured":"Scott, K., Rosenberg, D.: Successful Robustness Analysis. Software Development Online: The lifecycle starts here (2001), \n                    \n                      http:\/\/pyre.third-bit.com\/helium\/extern\/rosenberg04.pdf"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Tilley, S., Huang, S.: A qualitative assessment of the efficacy of UML diagrams as a form of graphical documentation in aiding program understanding. In: Proceedings of the 21st annual international conference on Documentation, San Francisco, CA, pp. 184\u2013191 (2003)","DOI":"10.1145\/944868.944908"},{"key":"1_CR25","unstructured":"Tun, T., Bielkowicz, P.: A Critical Assessment of UML using an Evaluation Framework. In: 8th CAiSE\/IFIP8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD 2003), pp. 29\u201337 (2003)"},{"issue":"2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/TSE.2003.1178048","volume":"29","author":"S. Uchitel","year":"2003","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering\u00a029(2), 99\u2013115 (2003)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling \u2013 ER 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11568322_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:39:12Z","timestamp":1619505552000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11568322_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540293897","9783540320685"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11568322_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}