{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,7]],"date-time":"2025-12-07T16:01:18Z","timestamp":1765123278879},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2010,2,2]],"date-time":"2010-02-02T00:00:00Z","timestamp":1265068800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s11334-009-0120-5","type":"journal-article","created":{"date-parts":[[2010,2,1]],"date-time":"2010-02-01T10:54:58Z","timestamp":1265021698000},"page":"55-63","source":"Crossref","is-referenced-by-count":26,"title":["Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method"],"prefix":"10.1007","volume":"6","author":[{"given":"Bernardo F. B.","family":"Braga","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o Paulo Andrade","family":"Almeida","sequence":"additional","affiliation":[]},{"given":"Giancarlo","family":"Guizzardi","sequence":"additional","affiliation":[]},{"given":"Alessander B.","family":"Benevides","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,2,2]]},"reference":[{"key":"120_CR1","doi-asserted-by":"crossref","unstructured":"Anastasakis K, Bordbar B, Georg G, Ray I (2009) On challenges of model transformation from uml to alloy. Softw Syst Model (to appear)","DOI":"10.1007\/s10270-008-0110-3"},{"key":"120_CR2","unstructured":"Bachman CW, Daya M (1977) The role concept in data models. In: VLDB \u20191977: Proceedings of the third international conference on Very large data bases, VLDB Endowment, pp 464\u2013476"},{"key":"120_CR3","unstructured":"Beato ME, Barrio-Sol\u00f3rzano M, Cuesta CE (2004) UML automatic verification tool (TABU). In: SAVCBS\u201904: Specification and verification of component-based systems at ACM SIGSOFT 2004\/FSE-12"},{"key":"120_CR4","unstructured":"Benevides AB, Guizzardi G (2009) A model-based tool for conceptual modeling and domain ontology engineering in ontouml. In: Filipe J, Cordeiro J (eds) ICEIS. Lecture notes in business information processing, vol 24. Springer, Heidelberg, pp 528\u2013538"},{"key":"120_CR5","doi-asserted-by":"crossref","unstructured":"Benevides AB, Guizzardi G, Braga BFB, Almeida JPA (2009) Assessing modal aspects of ontouml conceptual models in alloy. In: Heuser CA, Pernul G (eds) Proceedings of the first international workshop on evolving theories of conceptual modelling (ETheCoM 2009). 28th international conference on conceptual modeling (ER 2009). Lecture Notes in Computer Science (LNCS), vol 5833. Springer, Gramado, pp 55\u201364","DOI":"10.1007\/978-3-642-04947-7_8"},{"issue":"1","key":"120_CR6","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1109\/2.962984","volume":"34","author":"B Boehm","year":"2001","unstructured":"Boehm B, Basili VR (2001) Software defect reduction top 10 list. Computer 34(1): 135\u2013137","journal-title":"Computer"},{"key":"120_CR7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M Gogolla","year":"2007","unstructured":"Gogolla M, B\u00fcttner F, Richters M (2007) Use: a uml-based specification environment for validating uml and ocl. Sci Comput Program 69: 27\u201334","journal-title":"Sci Comput Program"},{"key":"120_CR8","unstructured":"Guizzardi G (2005) Ontological foundations for structural conceptual models. Ph.D. thesis, University of Twente, Enschede"},{"key":"120_CR9","volume-title":"Software abstractions: logic, language, and analysis","author":"D Jackson","year":"2006","unstructured":"Jackson D (2006) Software abstractions: logic, language, and analysis. MIT Press, Cambridge"},{"key":"120_CR10","unstructured":"Maintainers (2009) UML2Alloy. http:\/\/www.cs.bham.ac.uk\/~bxb\/UML2Alloy"},{"key":"120_CR11","unstructured":"Massoni T, Gheyi R, Borba P (2004) A uml class diagram analyzer. In: Third international workshop on critical systems development with UML. Affiliated with 7th UML conference, pp 143\u2013153"},{"key":"120_CR12","unstructured":"Mylopoulos J (1992) Conceptual Modeling, databases, and case: an integrated view of information systems development. In: Conceptual Modeling and Telos, chap. Wiley, Chichester, pp 49\u201368"},{"key":"120_CR13","unstructured":"OMG (2009) UML 2.2 superstructure specification. Technical report, Object Management Group (OMG)"},{"issue":"2","key":"120_CR14","doi-asserted-by":"crossref","first-page":"073","DOI":"10.1007\/s007780050034","volume":"6","author":"MP Papazoglou","year":"1997","unstructured":"Papazoglou MP, Kr\u00e4mer BJ (1997) A database model for object dynamics. VLDB J 6(2): 073\u2013096","journal-title":"VLDB J"},{"key":"120_CR15","volume-title":"Model-driven architecture in practice: a software production environment based on conceptual modeling","author":"O Pastor","year":"2007","unstructured":"Pastor O, Molina JC (2007) Model-driven architecture in practice: a software production environment based on conceptual modeling. Springer, New York"},{"key":"120_CR16","doi-asserted-by":"crossref","unstructured":"Schinz I, Toben T, Mrugalla C, Westphal B (2004) The rhapsody uml verification environment. In: SEFM \u201904: Proceedings of the software engineering and formal methods. Second international conference. IEEE Computer Society, Washington, DC, pp 174\u2013183","DOI":"10.1109\/SEFM.2004.1347518"},{"key":"120_CR17","unstructured":"USA Department of Defense (DoD) (2007) DoD modeling and simulation (M&S) management. Directive 5000.59"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0120-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-009-0120-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0120-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T13:47:45Z","timestamp":1559396865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-009-0120-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,2]]},"references-count":17,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["120"],"URL":"https:\/\/doi.org\/10.1007\/s11334-009-0120-5","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,2]]}}}