Representing Dynamic Invariants in Ontologically Well-Founded Conceptual Models

  title={Representing Dynamic Invariants in Ontologically Well-Founded Conceptual Models},
  author={John Guerson and Jo{\~a}o Paulo A. Almeida},
Conceptual models often capture the invariant aspects of the phenomena we perceive. These invariants may be considered static when they refer to structures we perceive in phenomena at a particular point in time or dynamic/temporal when they refer to regularities across different points in time. While static invariants have received significant attention, dynamics enjoy marginal support in widely-employed techniques such as UML and OCL. This paper aims at addressing this gap by proposing a… 
Towards ontological foundations for conceptual modeling: The unified foundational ontology (UFO) story
The paper describes the historical context in which UFO was conceived, briefly discusses its stratified organization, and reports on a number of applica- tions of this foundational ontology over more than a decade, namely, the development of the conceptual modeling language OntoUML.
Ontological Considerations About the Representation of Events and Endurants in Business Models
It is shown that a rich ontological account is required to bridge the event vs. endurant divide for conceptual models, and accounting for the ontological differences in events and endurants as well as their relations can lead to a more comprehensive representation of business reality.
OntoUML Lightweight Editor: A Model-Based Environment to Build, Evaluate and Implement Reference Ontologies
An overview of the Onto UML Lightweight Editor (OLED), the model-based environment to build, evaluate and implement OntoUML models, alongside with its main features and application scenarios is presented.
Menthor Editor: An Ontology-Driven Conceptual Modeling Platform
This demonstration presents the Menthor Editor, an ontology-driven conceptual modelling platform which incorporates the theories of the Unified Foundational Ontology (UFO), and illustrates how UFO categories can improve the design of domain ontologies.
Ontological Foundations for Strategic Business Modeling: The Case of Value, Risk and Competition
The Common Ontology of Value and Risk (COVER) is a reference conceptual model that disentangle and clarifies several perspectives on value and risk, while demonstrating that they are ultimately two ends of the same spectrum.
Towards ontology-driven situation-aware disaster management
The challenge of harmonizing concepts related to the modelling of situations in a foundational ontology in the lights of the Barwisean situation theory, Situoid theory and Situation awareness theory is discussed.
Modeling Stories for Conceptual Model Assessment
This paper proposes an approach to assess conceptual models by creating narratives about a subject domain that employ concepts of the conceptual model and are formalized as abstract stories, supporting the validation ofThe conceptual model.


Formal semantics of static and temporal state-oriented OCL constraints
This article presents an approach that closes this gap and introduces a formal semantics for such integration through a mathematical model and presents the definition of a temporal OCL extension by means of a UML Profile based on the metamodel of the latest OCL proposal.
Support for Domain Constraints in the Validation of Ontologically Well-Founded Conceptual Models
This paper discusses how OCL is used to enrich a conceptual model assessment tool based on an ontologically well-founded profile of the Unified Modeling Language (UML) that assumes multiple and dynamic classification (called OntoUML).
Enriching OCL Using Observational Mu-Calculus
This work proposes a systematic way to extend OCL with temporal constructs in order to express richer contracts and presents a unified view of invariants and pre/post conditions, and shows how the framework can be used to permit the specification of liveness properties.
Specification of temporal properties with OCL
Behavior specification for ontologically grounded conceptual models
OBSL is designed to be expressive enough to cover most common behaviors, but the focus is placed on ease of use, resulting in diagrams that are intuitively appealing for modelers, and therefore relatively easy to under-stand.
From UML and OCL to relational logic and back
This paper provides a lightweight model validation method based on efficient SAT solving techniques that allows us to explicitly benefit from the efficient handling of relational logic in Kodkod and to interpret found results backwards in terms of UML and OCL.
Representing Temporal Information in UML
This paper extends the UML to define a set of temporal features of entity and relationship types, and to provide notational devices to refer to any past state of the information base, and presents a method for the transformation of a conceptual schema in this extended language into a conventional one.
Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method
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.
Formal Refactoring for UML Class Diagrams
This work provides a set of semantics-preserving transformations for UML class diagrams annotaded with OCL, and proves that these transformations are sound using a semantic model that is based on Alloy, which is a formal modeling language.
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
This paper proposes an approach to assess conceptual models defined in OntoUML by transforming these models into specifications in the logic-based language Alloy, allowing us to validate the modal meta-properties representing ontological commitments of the Onto UML types and relations.