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

Journal of Universal Computer Science 01/2010; 16:2904-2933.
Source: DBLP

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

  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Instance-level modelling is a sort of conceptual modelling that deals with concrete objects instead of general classes and types. Instance-level modelling approach offers a rather innovative way for communication with domain experts extremely useful for them, as they can see their real data in the context of the given model. Various approaches were presented in the paper “Instance-Level modelling and Simulation Using Lambda-Calculus and Object-Oriented Environments” at EOMAS 2011. The present paper is a sequel and it presents additional approaches we find useful in practice: Fact-oriented modelling, OntoUML in combination with OCL and the Alloy and Eclipse-based framework DresdenOCL. We present key features of the various approaches and demonstrate them on a running example, we follow up with a discussion comparing these approaches. Notice that OntoUML combined with the Alloy is an original research achievement built on the research of OntoUML.
    EOMAS@CAiSE; 01/2013
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: The construction of large-scale reference conceptual models and ontologies is a complex engineering activity. To develop high quality models, a modeler must have the support of expressive engineering tools such as theoretically well-founded modeling languages and methodologies, ontological patterns and computational environments. Patterns and Anti-Patterns are known to be an efficient way to reuse knowledge from experts’ successful past experiences. This paper proposes a set of Semantic Anti-Patterns for ontology engineering. These anti-patterns capture error prone modeling decisions which can result in the creation of models that allow for unintended model instances (representing undesired state of affairs). The anti-patterns presented here have been empirically elicited through an approach of ontology conceptual models validation via visual simulation.
    Ontology-Driven Information Systems Engineering (ODISE), Graz, Austria; 01/2012
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: The concept of "service" has been characterized by different disciplines and authors from various points of view. The variety of characterizations reveals that this notion, although an intuitive one, is far from trivial. Given the importance of services in enterprise computing and Service Science in general, we believe that a clear account of services and service-related concepts is necessary and would serve as a basis for communication, consensus and alignment of various approaches and perspectives. In this paper we propose a commitment-based account of the notion of service captured in a core reference ontology called UFO-S. We address the commitments established between service providers and customers, and show how such commitments affect the service lifecycle. We show that the commitment-based account can serve to harmonize different notions of service in the literature.
    17th IEEE International EDOC Conference; 09/2013


Available from
Aug 19, 2014