{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T04:20:26Z","timestamp":1769746826347,"version":"3.49.0"},"reference-count":60,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T00:00:00Z","timestamp":1183248000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2007,7]]},"abstract":"<jats:p>Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent. A metamodel provides a unifying framework in which to ensure and check consistency, while at the same time providing the means to distinguish between valid and invalid models, that is, conformance. Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking. Comparisons are made in terms of completeness and the level of automation each provide for checking multiview consistency and model conformance. The lessons learned from applying formal techniques to the problems of metamodeling, model conformance, and multiview consistency checking are summarized.<\/jats:p>","DOI":"10.1145\/1243987.1243989","type":"journal-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T13:44:55Z","timestamp":1189777495000},"page":"11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":81,"title":["Metamodel-based model conformance and multiview consistency checking"],"prefix":"10.1145","volume":"16","author":[{"given":"Richard F.","family":"Paige","sequence":"first","affiliation":[{"name":"University of York, Heslington, York, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phillip J.","family":"Brooke","sequence":"additional","affiliation":[{"name":"University of Teesside, Middlesbrough, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan S.","family":"Ostroff","sequence":"additional","affiliation":[{"name":"York University, Toronto, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,7]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0058-x"},{"key":"e_1_2_1_2_1","unstructured":"Akehurst D. Patrascoui O. and Smith R. 2004. The Kent modelling framework user guide. http:\/\/www.cs.kent.ac.uk\/projects\/kmf.  Akehurst D. Patrascoui O. and Smith R. 2004. The Kent modelling framework user guide. http:\/\/www.cs.kent.ac.uk\/projects\/kmf."},{"key":"e_1_2_1_3_1","volume-title":"International Workshop (FACS'03)","author":"Amalio N.","unstructured":"Amalio , N. , Stepney , S. , and Polack , F . 2004. Modular UML semantics: Interpretations in Z based on templates and generics. In Formal Aspects of Component Software , International Workshop (FACS'03) . UNU\/IIST. Amalio, N., Stepney, S., and Polack, F. 2004. Modular UML semantics: Interpretations in Z based on templates and generics. In Formal Aspects of Component Software, International Workshop (FACS'03). UNU\/IIST."},{"key":"e_1_2_1_4_1","volume-title":"Workshop on Generative Techniques in the Context of MDA. http:\/\/www.softmetaware.com\/oopsla2003\/mda-workshop.html.","author":"Bezivin J.","unstructured":"Bezivin , J. , Dupe , G. , Jouault , F. , Pitette , J. , and Rougui , J . 2003. First experiments with the ATL model transformation language . In Workshop on Generative Techniques in the Context of MDA. http:\/\/www.softmetaware.com\/oopsla2003\/mda-workshop.html. Bezivin, J., Dupe, G., Jouault, F., Pitette, J., and Rougui, J. 2003. First experiments with the ATL model transformation language. In Workshop on Generative Techniques in the Context of MDA. http:\/\/www.softmetaware.com\/oopsla2003\/mda-workshop.html."},{"key":"e_1_2_1_5_1","volume-title":"Workshop on Consistency Problems in UML-Based Software Development.","author":"Bhaduri P.","unstructured":"Bhaduri , P. and Venkatesh , R . 2002. Formal consistency of models in multi-view modeling . In Workshop on Consistency Problems in UML-Based Software Development. Bhaduri, P. and Venkatesh, R. 2002. Formal consistency of models in multi-view modeling. In Workshop on Consistency Problems in UML-Based Software Development."},{"key":"e_1_2_1_6_1","volume-title":"Lecture Notes in Computer Science","volume":"2900","author":"Bidoit M.","unstructured":"Bidoit , M. and Mosses , P. D . 2004. Casl user manual . Lecture Notes in Computer Science , vol. 2900 (IFIP Series). Springer-Verlag. Bidoit, M. and Mosses, P. D. 2004. Casl user manual. Lecture Notes in Computer Science, vol. 2900 (IFIP Series). Springer-Verlag."},{"key":"e_1_2_1_7_1","unstructured":"Budinsky F. Steinberg D. Merks E. Ellersick R. and Grose T. 2003. The Eclipse Modelling Framework. Addison-Wesley.   Budinsky F. Steinberg D. Merks E. Ellersick R. and Grose T. 2003. The Eclipse Modelling Framework. Addison-Wesley."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/990010.990011"},{"key":"e_1_2_1_9_1","unstructured":"Chiorean D. 2005. OCLE 2.0 User Manual. http:\/\/lci.cs.ubbcluj.ro\/ocle\/.  Chiorean D. 2005. OCLE 2.0 User Manual. http:\/\/lci.cs.ubbcluj.ro\/ocle\/."},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the Fundamental Aspects of Software Engineering. Lecture Notes in Computer Science","volume":"2029","author":"Clark T.","unstructured":"Clark , T. , Evans , A. , and Kent , S . 2001a. The metamodelling language calculus: Foundation semantics for UML . In Proceedings of the Fundamental Aspects of Software Engineering. Lecture Notes in Computer Science , vol. 2029 , Springer-Verlag. Clark, T., Evans, A., and Kent, S. 2001a. The metamodelling language calculus: Foundation semantics for UML. In Proceedings of the Fundamental Aspects of Software Engineering. Lecture Notes in Computer Science, vol. 2029, Springer-Verlag."},{"key":"e_1_2_1_11_1","unstructured":"Clark T. Evans A. and Kent S. 2001b. MMT programmer's guide. www.dcs.kcl.ac.uk\/staff\/tony\/docs\/ProgrammersGuideToMMT.pdf.  Clark T. Evans A. and Kent S. 2001b. MMT programmer's guide. www.dcs.kcl.ac.uk\/staff\/tony\/docs\/ProgrammersGuideToMMT.pdf."},{"key":"e_1_2_1_12_1","unstructured":"D'Souza D. and Wills A. 1998. Objects Components and Frameworks with UML. Addison-Wesley.   D'Souza D. and Wills A. 1998. Objects Components and Frameworks with UML. Addison-Wesley."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2005.4.1.a6"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the metamodelling for MDA workshop. Tech. rep.","author":"Evans A.","unstructured":"Evans , A. , Sammut , P. , and Willans , J . 2003 . Proceedings of the metamodelling for MDA workshop. Tech. rep. , University of York. Evans, A., Sammut, P., and Willans, J. 2003. Proceedings of the metamodelling for MDA workshop. Tech. rep., University of York."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.310667"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11581741_15"},{"key":"e_1_2_1_17_1","unstructured":"Gamma E. Helm R. Johnson R. and Vlissides J. 1995. Design Patterns. Addison-Wesley.  Gamma E. Helm R. Johnson R. and Vlissides J. 1995. Design Patterns. Addison-Wesley."},{"key":"e_1_2_1_18_1","volume-title":"Multi-view consistency checking of BON software description diagrams. MSC thesis","author":"Gao Y.","unstructured":"Gao , Y. July 2004. Multi-view consistency checking of BON software description diagrams. MSC thesis , York University , Canada . Gao, Y. July 2004. Multi-view consistency checking of BON software description diagrams. MSC thesis, York University, Canada."},{"key":"e_1_2_1_19_1","volume-title":"Workshop on Consistency Problems in UML-based Software Development.","author":"Gryce C.","unstructured":"Gryce , C. , Finkelstein , A. , and Nentwich , C . 2002. Xlinkit: Lightweight consistency checking for the UML . In Workshop on Consistency Problems in UML-based Software Development. Gryce, C., Finkelstein, A., and Nentwich, C. 2002. Xlinkit: Lightweight consistency checking for the UML. In Workshop on Consistency Problems in UML-based Software Development."},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of UML","volume":"1939","author":"Hussman H.","year":"2000","unstructured":"Hussman , H. , Demuth , B. , and Finger , F . 2000. Modular architecture for a toolset supporting OCL . In Proceedings of UML 2000 . Lecture Notes in Computer Science , vol. 1939 , Springer-Verlag. Hussman, H., Demuth, B., and Finger, F. 2000. Modular architecture for a toolset supporting OCL. In Proceedings of UML 2000. Lecture Notes in Computer Science, vol. 1939, Springer-Verlag."},{"key":"e_1_2_1_21_1","volume-title":"Workshop on Consistency Problems in UML-Based Software Development. http:\/\/www.ipd.bth.se\/UML2002","author":"Huzar Z.","unstructured":"Huzar , Z. , Kuzniarz , L. , Reggio , G. , and Sourrouille , J . 2002 . Workshop on Consistency Problems in UML-Based Software Development. http:\/\/www.ipd.bth.se\/UML2002 . Huzar, Z., Kuzniarz, L., Reggio, G., and Sourrouille, J. 2002. Workshop on Consistency Problems in UML-Based Software Development. http:\/\/www.ipd.bth.se\/UML2002."},{"key":"e_1_2_1_22_1","volume-title":"Workshop on Consistency Problems in UML-Based Software Development. http:\/\/www.ipd.bth.se\/consistencyUML\/UML2003Workshop.asp.","author":"Huzar Z.","unstructured":"Huzar , Z. , Kuzniarz , L. , Reggio , G. , and Sourrouille , J . 2003 . Workshop on Consistency Problems in UML-Based Software Development. http:\/\/www.ipd.bth.se\/consistencyUML\/UML2003Workshop.asp. Huzar, Z., Kuzniarz, L., Reggio, G., and Sourrouille, J. 2003. Workshop on Consistency Problems in UML-Based Software Development. http:\/\/www.ipd.bth.se\/consistencyUML\/UML2003Workshop.asp."},{"key":"e_1_2_1_23_1","volume-title":"Workshop on Consistency Problems in UML-Based Software Development. http:\/\/uml04","author":"Huzar Z.","unstructured":"Huzar , Z. , Kuzniarz , L. , Reggio , G. , and Sourrouille , J . 2004 . Workshop on Consistency Problems in UML-Based Software Development. http:\/\/uml04 .ci.pwr.wroc.pl\/. Huzar, Z., Kuzniarz, L., Reggio, G., and Sourrouille, J. 2004. Workshop on Consistency Problems in UML-Based Software Development. http:\/\/uml04.ci.pwr.wroc.pl\/."},{"key":"e_1_2_1_24_1","unstructured":"IEEE. 2000. IEEE Std. 1471-2000 Recommended Practice for Architectural Description of Software Intensive Systems. standards.ieee.org.  IEEE. 2000. IEEE Std. 1471-2000 Recommended Practice for Architectural Description of Software Intensive Systems. standards.ieee.org."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2004.108"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/580763.785750"},{"key":"e_1_2_1_27_1","volume-title":"Workshop on Consistency in Model-Driven Engineering. http:\/\/www.ipd.bth.se\/consistencyUML\/CoMoDE.","author":"Kuzniarz L.","unstructured":"Kuzniarz , L. , Reggio , G. , and Sourrouille , J . 2005 . Workshop on Consistency in Model-Driven Engineering. http:\/\/www.ipd.bth.se\/consistencyUML\/CoMoDE. Kuzniarz, L., Reggio, G., and Sourrouille, J. 2005. Workshop on Consistency in Model-Driven Engineering. http:\/\/www.ipd.bth.se\/consistencyUML\/CoMoDE."},{"key":"e_1_2_1_28_1","unstructured":"Leavens G. Poll E. Clifton C. Cheon Y. Ruby C. Cok D. Mueller P. and Kiniry J. 2005. JML Reference Manual. http:\/\/www.cs.iastate.edu\/~leavens\/JML\/jmlrefman\/.  Leavens G. Poll E. Clifton C. Cheon Y. Ruby C. Cok D. Mueller P. and Kiniry J. 2005. JML Reference Manual. http:\/\/www.cs.iastate.edu\/~leavens\/JML\/jmlrefman\/."},{"key":"e_1_2_1_29_1","volume-title":"Workshop on Consistency Problems in UML-Based Software Development.","author":"Marcano R.","unstructured":"Marcano , R. and Levy , N . 2002. Using B formal specification for analysis and verification of UML\/OCL models . In Workshop on Consistency Problems in UML-Based Software Development. Marcano, R. and Levy, N. 2002. Using B formal specification for analysis and verification of UML\/OCL models. In Workshop on Consistency Problems in UML-Based Software Development."},{"key":"e_1_2_1_30_1","unstructured":"Mellor S. and Balcer M. 2002. Executable UML. Addison-Wesley.  Mellor S. and Balcer M. 2002. Executable UML. Addison-Wesley."},{"key":"e_1_2_1_31_1","volume-title":"Eiffel---The Language","author":"Meyer B.","unstructured":"Meyer , B. 1992. Eiffel---The Language 2 nd ed. Prentice Hall . Meyer, B. 1992. Eiffel---The Language 2nd ed. Prentice Hall.","edition":"2"},{"key":"e_1_2_1_32_1","volume-title":"Object Oriented Software Construction","author":"Meyer B.","unstructured":"Meyer , B. 1997. Object Oriented Software Construction 2 nd ed. Prentice Hall . Meyer, B. 1997. Object Oriented Software Construction 2nd ed. Prentice Hall.","edition":"2"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44880-2_22"},{"key":"e_1_2_1_34_1","unstructured":"Microsoft. 2005. Microsoft Visio Web resource. http:\/\/office.microsoft.com\/en-gb\/FX010857981033.aspx.  Microsoft. 2005. Microsoft Visio Web resource. http:\/\/office.microsoft.com\/en-gb\/FX010857981033.aspx."},{"key":"e_1_2_1_35_1","unstructured":"Microsoft. 2006. Spec&num; programming system. http:\/\/research.microsoft.com\/specsharp\/.  Microsoft. 2006. Spec&num; programming system. http:\/\/research.microsoft.com\/specsharp\/."},{"key":"e_1_2_1_36_1","unstructured":"MODELWARE. 2005. D1.5: Model composition definition---consistency rules. http:\/\/www.modelware-ist.org.  MODELWARE. 2005. D1.5: Model composition definition---consistency rules. http:\/\/www.modelware-ist.org."},{"key":"e_1_2_1_37_1","unstructured":"Object Management Group. 2003a. MDA guide version 1.0.1.  Object Management Group. 2003a. MDA guide version 1.0.1."},{"key":"e_1_2_1_38_1","unstructured":"Object Management Group. 2003b. UML Standard Guide 1.5.  Object Management Group. 2003b. UML Standard Guide 1.5."},{"key":"e_1_2_1_39_1","unstructured":"Object Management Group. 2004a. MOF Meta-Object Facility Specification 1.4.  Object Management Group. 2004a. MOF Meta-Object Facility Specification 1.4."},{"key":"e_1_2_1_40_1","unstructured":"Object Management Group. July 2004b. UML 2.0 working documents. www.omg.org.  Object Management Group. July 2004b. UML 2.0 working documents. www.omg.org."},{"key":"e_1_2_1_41_1","unstructured":"Owre S. Shankar N. Rushby J. and Stringer-Calvert D. 1999. PVS Language Reference. pvs.csl.sri.com.  Owre S. Shankar N. Rushby J. and Stringer-Calvert D. 1999. PVS Language Reference. pvs.csl.sri.com."},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of Workshop in Software Model Engineering. http:\/\/www.metamodel.com\/wisme-2004\/present\/6.pdf.","author":"Paige R.","unstructured":"Paige , R. , Brooke , P. , and Ostroff , J . 2004. Specification-driven development of an executable metamodel . In Proceedings of Workshop in Software Model Engineering. http:\/\/www.metamodel.com\/wisme-2004\/present\/6.pdf. Paige, R., Brooke, P., and Ostroff, J. 2004. Specification-driven development of an executable metamodel. In Proceedings of Workshop in Software Model Engineering. http:\/\/www.metamodel.com\/wisme-2004\/present\/6.pdf."},{"key":"e_1_2_1_43_1","unstructured":"Paige R. Brooke P. and Ostroff J. 2005. Lightweight metamodeling conformance and view consistency checking. http:\/\/www.cs.york.ac.uk\/~paige\/trlwmm.pdf.  Paige R. Brooke P. and Ostroff J. 2005. Lightweight metamodeling conformance and view consistency checking. http:\/\/www.cs.york.ac.uk\/~paige\/trlwmm.pdf."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.04.029"},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of Unified Modeling Languages (UML'99)","volume":"1723","author":"Paige R.","unstructured":"Paige , R. and Ostroff , J . 1999a. A Comparison of BON and UML . In Proceedings of Unified Modeling Languages (UML'99) . Lecture Notes in Computer Science , vol. 1723 , Springer-Verlag. Paige, R. and Ostroff, J. 1999a. A Comparison of BON and UML. In Proceedings of Unified Modeling Languages (UML'99). Lecture Notes in Computer Science, vol. 1723, Springer-Verlag."},{"key":"e_1_2_1_46_1","volume-title":"Proceedings of World Congress on Formal Methods. Lecture Notes in Computer Science","volume":"1708","author":"Paige R.","unstructured":"Paige , R. and Ostroff , J . 1999b. Developing BON as an industrial-strength formal method . In Proceedings of World Congress on Formal Methods. Lecture Notes in Computer Science , vol. 1708 , Springer-Verlag. Paige, R. and Ostroff, J. 1999b. Developing BON as an industrial-strength formal method. In Proceedings of World Congress on Formal Methods. Lecture Notes in Computer Science, vol. 1708, Springer-Verlag."},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of Fundamental Aspects of Software Engineering. Lecture Notes in Computer Science","volume":"2029","author":"Paige R.","unstructured":"Paige , R. and Ostroff , J . 2001. Metamodelling and conformance checking with PVS . In Proceedings of Fundamental Aspects of Software Engineering. Lecture Notes in Computer Science , vol. 2029 , Springer-Verlag. Paige, R. and Ostroff, J. 2001. Metamodelling and conformance checking with PVS. In Proceedings of Fundamental Aspects of Software Engineering. Lecture Notes in Computer Science, vol. 2029, Springer-Verlag."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-003-0024-3"},{"key":"e_1_2_1_49_1","unstructured":"Paige R. and Ostroff J. 2000. Precise and formal metamodeling with BON and PVS. Tech. rep. 2000-03 York University.  Paige R. and Ostroff J. 2000. Precise and formal metamodeling with BON and PVS. Tech. rep. 2000-03 York University."},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of Rigorous Object-Oriented Methods 4 (ROOM4). British Computer Society.","author":"Paige R.","unstructured":"Paige , R. , Ostroff , J. , and Brooke , P . 2002. Checking the consistency of class and collaboration diagrams using PVS . In Proceedings of Rigorous Object-Oriented Methods 4 (ROOM4). British Computer Society. Paige, R., Ostroff, J., and Brooke, P. 2002. Checking the consistency of class and collaboration diagrams using PVS. In Proceedings of Rigorous Object-Oriented Methods 4 (ROOM4). British Computer Society."},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of UK Software Testing Research Workshop.","author":"Paige R.","unstructured":"Paige , R. , Ostroff , J. , and Brooke , P . 2003a. A test-based and agile approach to checking the consistency of class and collaboration diagrams . In Proceedings of UK Software Testing Research Workshop. Paige, R., Ostroff, J., and Brooke, P. 2003a. A test-based and agile approach to checking the consistency of class and collaboration diagrams. In Proceedings of UK Software Testing Research Workshop."},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.3166\/objet.9.4.115-134"},{"key":"e_1_2_1_53_1","volume-title":"Proceedings of Unified Modeling Languages (UML'00)","volume":"1939","author":"Richters M.","unstructured":"Richters , M. and Gogolla , M . 2000. Validating UML models and OCL constraints . In Proceedings of Unified Modeling Languages (UML'00) . Lecture Notes in Computer Science , vol. 1939 , Springer-Verlag. Richters, M. and Gogolla, M. 2000. Validating UML models and OCL constraints. In Proceedings of Unified Modeling Languages (UML'00). Lecture Notes in Computer Science, vol. 1939, Springer-Verlag."},{"key":"e_1_2_1_54_1","unstructured":"Society of Automotive Engineers. 2005. Architectural Analysis and Design Language (AADL) Standard. http:\/\/www.aadl.info.  Society of Automotive Engineers. 2005. Architectural Analysis and Design Language (AADL) Standard. http:\/\/www.aadl.info."},{"key":"e_1_2_1_55_1","volume-title":"Workshop on Consistency Problems in UML-Based Software Development.","author":"Sourrouille J.","unstructured":"Sourrouille , J. and Caplat , G . 2002. A pragmatic view about consistency checking of UML models . In Workshop on Consistency Problems in UML-Based Software Development. Sourrouille, J. and Caplat, G. 2002. A pragmatic view about consistency checking of UML models. In Workshop on Consistency Problems in UML-Based Software Development."},{"key":"e_1_2_1_56_1","unstructured":"Spencer G. 2005. OCL to Eiffel. MSC Thesis. http:\/\/www.cs.york.ac.uk\/library\/.  Spencer G. 2005. OCL to Eiffel. MSC Thesis. http:\/\/www.cs.york.ac.uk\/library\/."},{"key":"e_1_2_1_57_1","volume-title":"Contractual consistency between BON static and dynamic diagrams. MSC Thesis","author":"Taligheni A.","unstructured":"Taligheni , A. 2004. Contractual consistency between BON static and dynamic diagrams. MSC Thesis , York University , Canada . Taligheni, A. 2004. Contractual consistency between BON static and dynamic diagrams. MSC Thesis, York University, Canada."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/965660.965663"},{"key":"e_1_2_1_59_1","volume-title":"-M","author":"Walden K.","year":"1995","unstructured":"Walden , K. and Nerson , J . -M . 1995 . Seamless Object Oriented Software Architecture. Prentice Hall . Walden, K. and Nerson, J.-M. 1995. Seamless Object Oriented Software Architecture. Prentice Hall."},{"key":"e_1_2_1_60_1","unstructured":"Xactium. 2006. XMF-Mosaic User Guide (prerelease version 0.1.) www.xactium.com.  Xactium. 2006. XMF-Mosaic User Guide (prerelease version 0.1.) www.xactium.com."}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1243987.1243989","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1243987.1243989","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:49Z","timestamp":1750258069000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1243987.1243989"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":60,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,7]]}},"alternative-id":["10.1145\/1243987.1243989"],"URL":"https:\/\/doi.org\/10.1145\/1243987.1243989","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7]]},"assertion":[{"value":"2007-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}