{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T11:49:43Z","timestamp":1774007383313,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540202431","type":"print"},{"value":"9783540452218","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45221-8_28","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T17:11:39Z","timestamp":1277831499000},"page":"326-340","source":"Crossref","is-referenced-by-count":77,"title":["Using Description Logic to Maintain Consistency between UML Models"],"prefix":"10.1007","author":[{"given":"Ragnhild","family":"Van Der Straeten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Mens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jocelyn","family":"Simmonds","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviane","family":"Jonckers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Alem\u00e1n, J., Toval, A., Hoyos, J.: Rigorously transforming UML class diagrams. In: Proc. 5th Workshop Models, Environments and Tools for Requirements Engineering (MENHIR), Universidad de Granada, Spain (2000)"},{"key":"28_CR2","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"28_CR3","unstructured":"B\u00ebzivin, J., Ploquin, N.: Tooling the MDA framework: a new software maintenance and evolution scheme proposal. Journal of Object-Oriented Programming, JOOP (2001)"},{"key":"28_CR4","unstructured":"Bodeveix, J.-P., Millan, T., Percebois, C., Camus, C.L., Bazes, P., Ferraud, L.: Extending OCL for verifying UML model consistency. In: Kuzniarz, L., Reggio, G., Sourrouille, J., Huzar, Z. (eds.) Consistency Problems in UML-based Software Development, Workshop UML 2002, Technical Report (2002)"},{"key":"28_CR5","unstructured":"Cal\u00ed, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Reasoning on UML class diagrams in description logics. In: Proc. of IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development, PMD 2001 (2001)"},{"key":"28_CR6","unstructured":"Ehrig, H., Tsiolakis, A.: Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In: Ehrig, H., Taentzer, G. (eds.) ETAPS 2000 workshop on graph transformation systems, March 2000, pp. 77\u201386 (2000)"},{"key":"28_CR7","unstructured":"Engels, G., Hausmann, J., Heckel, R., Sauer, S.: Testing the consistency of dynamic UML diagrams. In: Proc. Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA, USA (June 2002)"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/3-540-45441-1_21","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"G. Engels","year":"2001","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.M.: Rule-based specification of behavioral consistency based on the UML meta-model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 272\u2013286. Springer, Heidelberg (2001)"},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-45800-X_18","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"G. Engels","year":"2002","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.M., Groenewegen, L.: Consistency-preserving model evolution through transformations. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 212\u2013227. Springer, Heidelberg (2002)"},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-57209-0_7","volume-title":"European Software Engineering Conference","author":"A. Finkelstein","year":"1993","unstructured":"Finkelstein, A., Gabbay, D.M., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multi-perspective specifications. In: European Software Engineering Conference. LNCS, pp. 84\u201399. Springer, Heidelberg (1993)"},{"key":"28_CR11","volume-title":"Refactoring: Improving the Design of Existing Programs","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Programs. Addison-Wesley, Reading (1999)"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/3-540-48166-4_25","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"P. Fradet","year":"1999","unstructured":"Fradet, P., Le M\u00e9tayer, D., P\u00e9rin, M.: Consistency checking for multiple view software architectures. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, pp. 410\u2013428. Springer, Heidelberg (1999)"},{"key":"28_CR13","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Languages and Systems","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Languages and Systems. Addison-Wesley, Reading (1994)"},{"key":"28_CR14","unstructured":"Gorp, P.V., Stenten, H., Mens, T., Demeyer, S.: A UML extension for automating source-consistent design improvements based on refactoring contracts. In: Proc. 6th International Conference on the Unified Modeling Language (2003)"},{"issue":"11","key":"28_CR15","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1109\/32.730545","volume":"24","author":"J.C. Grundy","year":"1998","unstructured":"Grundy, J.C., Hosking, J.G., Mugridge, W.B.: Inconsistency management for multiple-view software development environments. IEEE Transactions on Software Engineering\u00a024(11), 960\u2013981 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"28_CR16","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/122296.122309","volume":"2","author":"R. MacGregor","year":"1991","unstructured":"MacGregor, R.: Inside the loom description classifier. SIGART Bull.\u00a02(3), 88\u201392 (1991)","journal-title":"SIGART Bull."},{"key":"28_CR17","unstructured":"Object Management Group. Unified Modeling Language specification version 1.5. formal\/2003-03-01 (March 2003)"},{"key":"28_CR18","unstructured":"Simmonds, J.: Consistency maintenance of UML models with description logics. Master\u2019s thesis, Department of Computer Science, Vrije Universiteit Brussel, Belgium and Ecole des Mines de Nantes, France (September 2003)"},{"key":"28_CR19","first-page":"183","volume-title":"Formal Methods for Open Objectbased Distributed Systems IV","author":"A. Toval","year":"2000","unstructured":"Toval, A., Alem\u00e1n, J.: Formally modeling UML and its evolution: a holistic approach. In: Smith, S., Talcott, C. (eds.) Formal Methods for Open Objectbased Distributed Systems IV, pp. 183\u2013206. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"28_CR20","unstructured":"Tsiolakis, A.: Semantic analysis and consistency checking of UML sequence diagrams. Master\u2019s thesis, Technische Universit\u00e4t Berlin, Technical Report No. 2001-06 (April 2001)"}],"container-title":["Lecture Notes in Computer Science","\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45221-8_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T02:41:49Z","timestamp":1552617709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45221-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202431","9783540452218"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45221-8_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}