A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams

Khai, Zohaib; Nadeem, Aamer; Lee, Gang-soo

doi:10.1007/978-3-642-27207-3_10

Cited by 7 publications

(7 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Prolog Approach Khai et al [43] An approach for consistency checking of class and sequence diagrams based on Prolog language. The consistency checking rules and the UML models are represented in Prolog to be checked according to the Prolog's reasoning engine.…”

Section: Action-ltl Frameworkmentioning

confidence: 99%

Managing Inconsistencies in UML Models: A Systematic Literature Review

Allaki¹,

Dahchour²,

En‐Nouaary³

2017

JSW

View full text Add to dashboard Cite

Software systems are often modeled as a set of related UML diagrams. Due to the overlapping multi-view nature of UML and due to the incremental and iterative nature of the used software development process, these diagrams might contain inconsistencies. Thus, it is of utmost importance to detect, analyze and fix these inconsistencies before implementing the system. In this paper, we elaborate a transverse view of the aforementioned activities. More explicitly, this work proposes a Systematic Literature Review (SLR) that evaluates the existing techniques for managing inconsistencies using different research questions. The ultimate objective of this review is to come up with new recommendations that should be taken into consideration when conceiving a new proposal for checking inconsistencies.

show abstract

Section: Action-ltl Frameworkmentioning

confidence: 99%

Managing Inconsistencies in UML Models: A Systematic Literature Review

Allaki¹,

Dahchour²,

En‐Nouaary³

2017

JSW

View full text Add to dashboard Cite

show abstract

“…Model transformation experts found in logic programming a resource to implement and experiment with transformations and techniques related to transformations. With the development of the technology around model transformation, logic programming is not abandoned [15,16,17,18,19,20,21,22,23,24,25,26], given that experts investigate new aspects of model transformation that existent languages and tools do not cover. Moreover, some authors argue that Prolog is still suitable to learn about model transformations.…”

Section: Model Transformation and Prologmentioning

confidence: 99%

“…They have found that if execution time of queries is linear then Prolog is faster. In [23] they propose consistency checking of class and sequence diagrams based on Prolog. Consistency checking rules as well as UML models are represented in Prolog, and a Prolog reasoning engine is used to automatically find inconsistencies.…”

Section: Constraint Validationmentioning

confidence: 99%

PTL: A model transformation language based on logic programming

Almendros-Jiménez¹,

Iribarne²,

López-Fernández³

et al. 2016

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

In this paper we present a model transformation language based on logic programming. The language, called PTL (Prolog based Transformation Language), can be considered as a hybrid language in which ATL (Atlas Transformation Language)-style rules are combined with logic rules for defining transformations. ATL-style rules are used to define mappings from source models to target models while logic rules are used as helpers. The implementation of PTL is based on the encoding of the ATL-style rules by Prolog rules. Thus, PTL makes use of Prolog as a transformation engine. We have provided a declarative semantics to PTL and proved the semantics equivalent to the encoded program. We have studied an encoding of OCL (Object Constraint Language) with Prolog goals in order to map ATL to PTL. Thus a subset of PTL can be considered equivalent to a subset of ATL. The proposed language can be also used for model validation, that is, for checking constraints on models and transformations. We have equipped our language with debugging and tracing capabilities which help developers to detect programming errors in PTL rules. Additionally, we have developed an Eclipse plugin for editing PTL programs, as well as for debugging, tracing and validation. Finally, we have evaluated the language with several transformation examples as well as tested the performance with large models.

show abstract

“…Prolog has been also used in the Model Manipulation Tool (MoMaT) [27] for representing and verifying models. In [17] they propose consistency checking of class and sequence diagrams based on Prolog. Consistency checking rules as well as UML models are represented by Prolog, and a Prolog reasoning engine is used to automatically find inconsistencies.…”

Section: Related Workmentioning

confidence: 99%

Model Validation in Ontology Based Transformations

Almendros-Jiménez

Iribarne

2012

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Model Driven Engineering (MDE) is an emerging approach of software engineering. MDE emphasizes the construction of models from which the implementation should be derived by applying model transformations. The Ontology Definition Meta-model (ODM) has been proposed as a profile for UML models of the Web Ontology Language (OWL). In this context, transformations of UML models can be mapped into ODM/OWL transformations. On the other hand, model validation is a crucial task in model transformation. Meta-modeling permits to give a syntactic structure to source and target models. However, semantic requirements have to be imposed on source and target models. A given transformation will be sound when source and target models fulfill the syntactic and semantic requirements. In this paper, we present an approach for model validation in ODM based transformations. Adopting a logic programming based transformational approach we will show how it is possible to transform and validate models. Properties to be validated range from structural and semantic requirements of models (pre and post conditions) to properties of the transformation (invariants). The approach has been applied to a well-known example of model transformation: the Entity-Relationship (ER) to Relational Model (RM) transformation

show abstract

A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams

Cited by 7 publications

References 8 publications

Managing Inconsistencies in UML Models: A Systematic Literature Review

Managing Inconsistencies in UML Models: A Systematic Literature Review

PTL: A model transformation language based on logic programming

Model Validation in Ontology Based Transformations

Contact Info

Product

Resources

About