Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures

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 representing ontological commitments of the OntoUML types and relations.

[1]  Peri Loucopoulos,et al.  Conceptual Modeling, Databases, and Case: An Integrated View of Information Systems Development , 1992 .

[2]  Felix Sheng-Ho Chang,et al.  Automatic Visualization of Relational Logic Models , 2007, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[3]  Joerg Magnus Evermann,et al.  Using design languages for conceptual modelling : the UML case , 2003 .

[4]  Giancarlo Guizzardi,et al.  Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method , 2010, Innovations in Systems and Software Engineering.

[5]  Nicola Guarino,et al.  In the Defense of Ontological Foundations for Conceptual Modeling , 2006 .

[6]  es Manuel Barrio-Solórzano.  UML Automatic Verification Tool ( TABU ) , 2004 .

[7]  Joerg Evermann,et al.  A UML and OWL description of Bunge’s upper-level ontology model , 2009, Software & Systems Modeling.

[8]  S. Carey,et al.  Infants’ Metaphysics: The Case of Numerical Identity , 1996, Cognitive Psychology.

[9]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[10]  Nicola Guarino,et al.  Formalising Temporal Constraints on Part-Whole Relations , 2008, KR.

[11]  Paulo Borba,et al.  A UML Class Diagram Analyzer , 2004 .

[12]  Charles W. Bachman,et al.  The Role Concept in Data Models , 1977, VLDB.

[13]  Barry Smith,et al.  GOL: toward an axiomatized upper-level ontology , 2001, FOIS.

[14]  Giancarlo Guizzardi,et al.  Assessing Modal Aspects of OntoUML Conceptual Models in Alloy , 2009, ER Workshops.

[15]  Renata S. S. Guizzardi,et al.  Towards a Collaboration Ontology , 2007 .

[16]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..

[17]  Mike P. Papazoglou,et al.  A database model for object dynamics , 1997, The VLDB Journal.

[18]  Indrakshi Ray,et al.  UML2Alloy: a challenging model transformation , 2007, MODELS'07.

[19]  Giancarlo Guizzardi,et al.  On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models , 2007, DB&IS.

[20]  Giancarlo Guizzardi,et al.  Ontological foundations for structural conceptual models , 2005 .

[21]  Giancarlo Guizzardi,et al.  A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML , 2009, ICEIS.

[22]  Bernd Westphal,et al.  The Rhapsody UML Verification Environment , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

[23]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[24]  Giancarlo Guizzardi,et al.  Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction , 2007, CAiSE.

[25]  Torben Braüner,et al.  First-order modal logic , 2007, Handbook of Modal Logic.

[26]  Gerd Wagner,et al.  An Ontologically Well-Founded Profile for UML Conceptual Models , 2004, CAiSE.

[27]  Giancarlo Guizzardi,et al.  An Electrocardiogram (ECG) Domain Ontology , 2007 .