{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T18:28:43Z","timestamp":1772044123664,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642272066","type":"print"},{"value":"9783642272073","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-27207-3_10","type":"book-chapter","created":{"date-parts":[[2011,12,2]],"date-time":"2011-12-02T14:05:35Z","timestamp":1322834735000},"page":"85-96","source":"Crossref","is-referenced-by-count":4,"title":["A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams"],"prefix":"10.1007","author":[{"given":"Zohaib","family":"Khai","sequence":"first","affiliation":[]},{"given":"Aamer","family":"Nadeem","sequence":"additional","affiliation":[]},{"given":"Gang-soo","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Object Management Group. Unified Modeling Language specification version 2.1.2. formal\/2007-11-01 (November 2007)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Simmonds, J., Van Der Straeten, R., Jonckers, V., Mens, T.: Maintaining consistency between UML models using description logic. In: Proceedings Langages et Mod\u00e8les \u00e0 Objets 2004, RSTI s\u00e9rie L\u2019Objet, vol.\u00a010(2-3), pp. 231\u2013244. Hermes Science Publications (2004)","DOI":"10.3166\/objet.10.2-3.231-244"},{"key":"10_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96873-0","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1984","unstructured":"Clocksin, W.F., Mellish, C.S.: Programming in Prolog, 2nd edn. Springer, Heidelberg (1984)","edition":"2"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Krishnan, P.: Consistency Checks for UML. In: The Proc. of the Asia Pacific Software engineering Conference (APSEC 2000), pp. 162\u2013169 (December 2000)","DOI":"10.1109\/APSEC.2000.896695"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Muskens, J., Brill, R.J.: Generalizing Consistency Checking between Software Views. In: Proceedings of 5th Working IEEE\/IFIP Conference on Software Architecture (WICSA 2005), pp. 169\u2013180 (2005)","DOI":"10.1109\/WICSA.2005.37"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Scalable consistency checking between diagrams -The VIEWINTEGRA Approach. In: Proceedings of the 16th International Conference on Automated Software Engineering, San Diego, USA (November 2001)","DOI":"10.1109\/ASE.2001.989835"},{"key":"10_CR7","unstructured":"Ehrig, H., Tsiolakis, A.: Consistency analysis of UML class and sequence diagrams using Attributed Typed Graph Grammars. In: Proceedings of joint APPLIGRAPH\/ GETGRATS workshop on Graph Transformation systems, Berlin (March 2000)"},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jss.2005.05.001","volume":"79","author":"L.C. Briand","year":"2006","unstructured":"Briand, L.C., Labiche, Y., O\u2019Sullivan, L., Sowka, M.M.: Automated Impact Analysis of UML Models. Journal of Systems and Software\u00a079(3), 339\u2013352 (2006)","journal-title":"Journal of Systems and Software"},{"key":"10_CR9","unstructured":"Paige, R.F., Ostroff, J.S., Brooke, P.J.: A Test-Based Agile Approach to Checking the Consistency of Class and Collaboration Diagrams, UK Software Testing Workshop, University of York, September 4-5 (2003)"},{"key":"10_CR10","volume-title":"Proc. Fourth Workshop on Rigorous Object-Oriented Methods","author":"R.F. Paige","year":"2002","unstructured":"Paige, R.F., Ostroff, J.S., Brooke, P.J.: Checking the Consistency of Collaboration and class Diagrams using PVS. In: Proc. Fourth Workshop on Rigorous Object-Oriented Methods. British Computer Society, London (March 2002)"},{"key":"10_CR11","unstructured":"Straeten, R.V.D., Mens, T., Simmonds, J.: Maintaining Consistency between UML Models with Description Logic Tools. In: ECOOP Workshop on Object-Oriented Reengineering, Darmstadt, Germany (July 2003)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Mens, T., Straeten, R.V.D., Simmonds, J.: A Framework for Managing Consistency of Evolving UML Models. In: Yang, H. (ed.) Software Evolution with UML and XML, ch.1. Idea Group Inc. (March 2005)","DOI":"10.4018\/978-1-59140-462-0.ch001"},{"key":"10_CR13","first-page":"57","volume-title":"A Survey of Consistency Checking Techniques for UML Models. Advanced Software Engineering and Its Applications","author":"M. Usman","year":"2008","unstructured":"Usman, M., Nadeem, A., Tai-hoon, K., Cho, E.-S.: A Survey of Consistency Checking Techniques for UML Models. Advanced Software Engineering and Its Applications, pp. 57\u201362. ASEA, Hainan Island (2008)"},{"key":"10_CR14","unstructured":"Baader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)"},{"issue":"3","key":"10_CR15","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/122296.122309","volume":"2","author":"R.M. MacGregor","year":"1991","unstructured":"MacGregor, R.M.: Inside the LOOM description classifier. ACM SIGART Bulletin\u00a02(3), 88\u201392 (1991)","journal-title":"ACM SIGART Bulletin"},{"key":"10_CR16","unstructured":"St\u00f6rrle, H.: A PROLOG-based Approach to Representing and Querying UML Models. In: Cox, P., Fish, A., Howse, J. (eds.) Intl. Ws. Visual Languages and Logic (VLL 2007). CEUR-WS, vol.\u00a0274, pp. 71\u201384. CEUR (2007)"},{"key":"10_CR17","unstructured":"Straeten, R.V.D.: Inconsistency management in model-driven engineering using description logics. PhD thesis, Department of Computer Science, Vrije Universiteit Brussel, Belgium (September 2005)"},{"key":"10_CR18","first-page":"256","volume-title":"Proceedings of the 19th International Conference Software Maintenance (ICSM 2003)","author":"L.C. Briand","year":"2003","unstructured":"Briand, L.C., Labiche, Y., O\u2019Sullivan, L.: Impact Analysis and Change Management of UML Models. In: Proceedings of the 19th International Conference Software Maintenance (ICSM 2003), pp. 256\u2013265. IEEE Computer Society Press, Amsterdam (2003)"},{"key":"10_CR19","unstructured":"Ouardani, A., Esteban, P., Paludetto, M., Pascal, J.: A Meta-modeling Approach for Sequence Diagrams to Petri Nets Transformation within the requirement validation process. In: The 20th annual European Simulation and Modeling Conference, ESM 2006 conference, LAAS, Toulouse, France (2006)"},{"key":"10_CR20","unstructured":"Baruzzo, A.: A Unified Framework for Automated UML Model Analysis. PhD thesis, Department of Mathematics and Computer Science, University of Udine, Italy (July 2006)"},{"key":"10_CR21","unstructured":"Object Management Group (OMG), MDA Guide, Version 1.0.1 (2003), \n                  \n                    http:\/\/www.omg.org\/docs\/omg\/03-06-01.pdf"}],"container-title":["Communications in Computer and Information Science","Software Engineering, Business Continuity, and Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27207-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T03:09:35Z","timestamp":1555729775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27207-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642272066","9783642272073"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27207-3_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}