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

Journal of Universal Computer Science (Impact Factor: 0.47). 01/2010; 16(20):2904-2933.
Source: DBLP


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.

Download full-text


Available from: Giancarlo Guizzardi, Aug 19, 2014
  • Source
    • "The tool provides a set of built-in design patterns to speed up the modeling activity through re-use. To improve the quality of the models built using OLED, it provides an automatic syntax verification alongside two complementary validation features, visual simulation [5] and anti-patterns [15]. "
    [Show abstract] [Hide abstract]
    ABSTRACT: Enterprise information systems are increasingly being conceived as a combination of existing systems and to work as a part of an ecosystem of software products. This change demands methods and tools to deal with the challenging semantic interoperability issues. OntoUML is a well-founded modeling language that allows modelers to formalize world-views in a technologically neutral way, aiding in the solution of such interoperability challenges. In this paper, we present an overview of the OntoUML Lightweight Editor (OLED), our model-based environment to build, evaluate and implement OntoUML models, alongside with its main features and application scenarios.
    IEEE EDOC 2015 Demonstration Track; 01/2015
    • "UFO- S employs a stronger formalism owing to the use of the OntoUML profile with the accompanying formal semantics, as mentioned in section III. This formalism allows for the UFO-S models to be interpreted unambiguously -both by means of a formalization for the underlying UFO in modal logic presented in [15] as well as by means of an automated transformation of OntoUML diagrams into Alloy [3]. "
    [Show abstract] [Hide abstract]
    ABSTRACT: Responding to a wide range of interoperability requirements for eHealth, the HL7 standardization organization has recently published an initial version of the SOA Healthcare Ontology (SHO). The purpose of this effort is to serve as a shared reference conceptual model, which can guide the definition of service-related aspects of future eHealth standards and solutions. In this paper, we analyse the SOA Healthcare Ontology using a well-founded ontological approach referred to as UFO-S. UFO-S is a reference ontology that characterizes the notion of service by applying the concepts of commitments and claims and harmonizing several views of services from a broad perspective. Our objective is to provide an ontological foundation to this new HL7 standardization effort. Given that UFO-S is formalized and defined according to a sound foundational ontology, we believe this paper can serve as a basis for further improvement in the formalization and revision of SHO and its conceptual representation.
    18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW 2014), Ulm - Germany; 09/2014
  • Source
    • "Our use of the well-founded OntoUML profile for modeling UFO-S leverages the conceptual distinctions in UFO as well as the tool support already developed for OntoUML; This includes formal verification of the model (guaranteeing that the models put forth here are compliant with the UFO ontological constraints), validation of the model via visual simulation (relying on an OntoUML infrastructure developed on top of the Alloy Analyzer [43]) as well as the systematic implementation of UFO-S in computational level languages such as OWL [44]. ACKNOWLEDGMENTS This research is funded by the Brazilian Research Agencies CAPES/CNPq (402991/2012-5), FAPES/CNPq (PRONEX 52272362/11), FAPES (59971509/12) and CNPq (483383/2010-4, 310634/2011-3, and 311578/2011-0). "
    [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
Show more