Assessing Modal Aspects of OntoUML Conceptual Models in Alloy
نویسندگان
چکیده
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 of the OntoUML types and part-whole relations.
منابع مشابه
Support for Domain Constraints in the Validation of Ontologically Well-Founded Conceptual Models
In order to increase the accuracy of conceptual models, graphical languages such as UML are often enriched with textual constraint languages such as the Object Constraint Language (OCL). This enables modelers to benefit from the simplicity of diagrammatic languages while retaining the expressiveness required for producing accurate models. In this paper, we discuss how OCL is used to enrich a co...
متن کاملInstance-Level Modelling and Simulation Revisited
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 modelli...
متن کاملComputational Environment to Semi-Automatically Build a Conceptual Model Represented in OntoUML
A conceptual model can be an important instrument to support the software functional requirements elicitation because it promotes better understanding of a domain. However, the representation quality of the conceptual model depends on the expressivity of the language used. OntoUML is a proposed language to solve expressivity problems. Nevertheless, OntoUML models are complicated to build for no...
متن کاملEvaluating the Expressiveness of a Conceptual Model Represented in OntoUML and UML
The expressiveness of a conceptual model depends on the set of language symbols used for representation. UML is one of the most commonly used languages for representing conceptual models. However, issues remain regarding expressiveness that the language OntoUML proposes to resolve. Therefore, we performed an experiment involving eight professionals and eighty students to evaluate the expressive...
متن کاملA Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML
This paper presents a Model-Based graphical editor for supporting the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling language named OntoUML. The Editor is designed in a way that, on one hand, it shields the user from the complexity of the ontological principles underlying this language. On the other hand, it reinforces these princi...
متن کامل