Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

While conceptual modeling is strongly related to the final quality of the software product, conceptual modeling itself remains a challenging activity. In particular, modelers must ensure that conceptual models properly formalize their intended conceptualization of a domain. This paper proposes an approach to facilitate the validation process of conceptual models defined in OntoUML by transforming these models into specifications in the logic-based language Alloy and using its analyzer to generate instances of the model and assertion counter-examples. By allowing the observation of sequences of snapshots of model instances, the dynamics of object creation, classification, association and destruction are revealed. This confronts the modeler with the implications of modeling choices and allows them to uncover mistakes or gain confidence in the quality of conceptual models.

[1]  Oscar Pastor,et al.  Model-driven architecture in practice - a software production environment based on conceptual modeling , 2007 .

[2]  Saint Petersburg,et al.  Second International Conference , 2001 .

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

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

[5]  Barry Boehm,et al.  Top 10 list [software development] , 2001 .

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

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

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

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

[10]  Barry W. Boehm,et al.  Software Defect Reduction Top 10 List , 2001, Computer.

[11]  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..

[12]  Indrakshi Ray,et al.  On challenges of model transformation from UML to Alloy , 2008, Software & Systems Modeling.

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

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

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

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