Abstract
Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information systems. This paper proposes an approach to assess conceptual models defined in OntoUML by transforming these models into specifications in the logic-based language Alloy. These Alloy specifications include the modal axioms of the theory underlying OntoUML, allowing us to validate the modal meta-properties of the OntoUML types and part-whole relations.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Mylopoulos, J.: Conceptual Modeling and Telos. In: Conceptual Modeling, Databases, and CASE: An Integrated View of Information Systems Development. Wiley, Chichester (1992)
Guizzardi, G.: Ontological foundations for structural conceptual models. PhD thesis, University of Twente, Enschede, The Netherlands, Enschede (October 2005)
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. 24, pp. 528–538. Springer, Heidelberg (2009)
Jackson, D.: Software abstractions: logic, language, and analysis. MIT Press, Cambridge (2006)
Hughes, G.E., Cresswell, M.J.: A Companion to Modal Logic. Routledge and Kegan Paul, London (1985)
Beato, M.E., Barrio-Solórzano, 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)
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–183. IEEE Computer Society, Los Alamitos (2004)
Gogolla, M., Büttner, F., Richters, M.: Use: A uml-based specification environment for validating uml and ocl. Science of Computer Programming 69, 27–34 (2007)
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–153 (2004)
Maintainers: UML2Alloy. Project website: http://www.cs.bham.ac.uk/~bxb/UML2Alloy
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benevides, A.B., Guizzardi, G., Braga, B.F.B., Almeida, J.P.A. (2009). Assessing Modal Aspects of OntoUML Conceptual Models in Alloy. In: Heuser, C.A., Pernul, G. (eds) Advances in Conceptual Modeling - Challenging Perspectives. ER 2009. Lecture Notes in Computer Science, vol 5833. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04947-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-04947-7_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04946-0
Online ISBN: 978-3-642-04947-7
eBook Packages: Computer ScienceComputer Science (R0)