{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:52:13Z","timestamp":1725540733103},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642049460"},{"type":"electronic","value":"9783642049477"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04947-7_8","type":"book-chapter","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T14:29:52Z","timestamp":1257863392000},"page":"55-64","source":"Crossref","is-referenced-by-count":10,"title":["Assessing Modal Aspects of OntoUML Conceptual Models in Alloy"],"prefix":"10.1007","author":[{"given":"Alessander Botti","family":"Benevides","sequence":"first","affiliation":[]},{"given":"Giancarlo","family":"Guizzardi","sequence":"additional","affiliation":[]},{"given":"Bernardo F. B.","family":"Braga","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o Paulo A.","family":"Almeida","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Conceptual Modeling, Databases, and CASE: An Integrated View of Information Systems Development","author":"J. Mylopoulos","year":"1992","unstructured":"Mylopoulos, J.: Conceptual Modeling and Telos. In: Conceptual Modeling, Databases, and CASE: An Integrated View of Information Systems Development. Wiley, Chichester (1992)"},{"key":"8_CR2","unstructured":"Guizzardi, G.: Ontological foundations for structural conceptual models. PhD thesis, University of Twente, Enschede, The Netherlands, Enschede (October 2005)"},{"key":"8_CR3","series-title":"LNBIP","first-page":"528","volume-title":"ICEIS 2009","author":"A.B. Benevides","year":"2009","unstructured":"Benevides, A.B., Guizzardi, G.: A model-based tool for conceptual modeling and domain ontology engineering in ontouml. In: Filipe, J., Cordeiro, J. (eds.) ICEIS 2009. LNBIP, vol.\u00a024, pp. 528\u2013538. Springer, Heidelberg (2009)"},{"key":"8_CR4","volume-title":"Software abstractions : logic, language, and analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software abstractions: logic, language, and analysis. MIT Press, Cambridge (2006)"},{"key":"8_CR5","volume-title":"A Companion to Modal Logic","author":"G.E. Hughes","year":"1985","unstructured":"Hughes, G.E., Cresswell, M.J.: A Companion to Modal Logic. Routledge and Kegan Paul, London (1985)"},{"key":"8_CR6","unstructured":"Beato, M.E., Barrio-Sol\u00f3rzano, M., Cuesta, C.E.: UML automatic verification tool (TABU). In: SAVCBS 2004 Specification and Verification of Component-Based Systems at ACM SIGSOFT 2004\/FSE-12 (2004)"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/SEFM.2004.1347518","volume-title":"SEFM 2004: Proceedings of the Software Engineering and Formal Methods, Second International Conference","author":"I. Schinz","year":"2004","unstructured":"Schinz, I., Toben, T., Mrugalla, C., Westphal, B.: The rhapsody uml verification environment. In: SEFM 2004: Proceedings of the Software Engineering and Formal Methods, Second International Conference, Washington, DC, USA, pp. 174\u2013183. IEEE Computer Society, Los Alamitos (2004)"},{"key":"8_CR8","doi-asserted-by":"publisher","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.: Use: A uml-based specification environment for validating uml and ocl. Science of Computer Programming\u00a069, 27\u201334 (2007)","journal-title":"Science of Computer Programming"},{"key":"8_CR9","unstructured":"Massoni, T., Gheyi, R., Borba, P.: A uml class diagram analyzer. In: 3rd International Workshop on Critical Systems Development with UML, affiliated with 7th UML Conference, pp. 143\u2013153 (2004)"},{"key":"8_CR10","unstructured":"Maintainers: UML2Alloy. Project website: \n                    \n                      http:\/\/www.cs.bham.ac.uk\/~bxb\/UML2Alloy"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling - Challenging Perspectives"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04947-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:14:24Z","timestamp":1619781264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04947-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049460","9783642049477"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04947-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}