Detecting model inconsistency through operation-based model construction

Blanc, Xavier; Mounier, Isabelle; Mougenot, Alix; Mens, Tom

doi:10.1145/1368088.1368158

Cited by 108 publications

(89 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…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%

“…Several works [21,25,26] prove that Prolog is useful for the specification of constraints, a key element of model transformation. Firstly, a meta-model is usually a class diagram which basically is a graph with two kinds of nodes: classes and attributes, and two kinds of edges: attribute memberships and associations.…”

Section: Model Transformation and Prologmentioning

confidence: 99%

“…For instance, from OCL to SQL [60], OCL to first-order logic [61], OCL to a Prolog-based CSP formalism [25], OCL to equational logic [62,63], OCL to Higher Order Logic [64] and OCL to graph patterns [65,66]. OCL to Prolog has been studied in [26], where inconsistency rules are translated to Prolog queries and model construction operations to Prolog facts. The Prolog engine has been integrated into the modeling environments Eclipse EMF and Rational Software Architect.…”

Section: Constraint Validationmentioning

confidence: 99%

See 2 more Smart Citations

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

Section: Model Transformation and Prologmentioning

confidence: 99%

Section: Model Transformation and Prologmentioning

confidence: 99%

Section: Constraint Validationmentioning

confidence: 99%

See 1 more Smart Citation

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

show abstract

“…Blanc et al propose an original approach for detecting model inconsistency (constraint violation): the detection is performed on the model considered as a sequence of elementary construction operations, rather than a model considered as a set of elements [13]. The approach is thus naturally incremental.…”

Section: Related Workmentioning

confidence: 99%

Active Operations on Collections

Beaudoux¹,

Blouin

Barais

et al. 2010

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Abstract. Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. Consequently, manipulating models often consists of performing operations on collections. For example, transformations create target collections from given source collections. Similarly, constraint evaluations perform computation on collections. Recent research works focus on making such transformations or constraint evaluations active (i.e. incremental, or live). However, they propose their own solutions to the issue by the introduction of specific languages and/or systems. This paper proposes a mathematical formalism, centered on collections and independent of languages and systems, that describes how the implementation of standard operations on collections can be made active. The formalism also introduces a reversed active assignment dedicated to bidirectional operations. A case study illustrates how to use the formalism and its Active Kermeta implementation for creating an active transformation.

show abstract

“…The domain that had produced good results in recent years is the one that focuses on the automation of BP concerning detection and correction of inconsistencies. These include, in particular, the work presented in [18], [19], [20] and [21]. They propose adding extensions to modeling tools, such as Eclipse or Rational, that are able to intercept the actions of designers and inspect the information system of the tools in order to detect the occurrence of certain types of inconsistency.…”

Section: Bp In Actionmentioning

confidence: 99%

Good Architecture = Good (ADL + Practices)

Gloahec

Fleurquin

Sadou

2010

Research Into Practice – Reality and Gaps

View full text Add to dashboard Cite

Abstract. In order to ensure the quality of their software development process, companies incorporate best practices from recognized repositories or from their own experiences. These best practices are often described in software quality manuals that do not guarantee their implementation. In this paper, we propose a framework for the implementation of best practices concerning the design of the software architecture. We treat the case of architecture design activity because it's the basis of the software development process. Our framework enables on the one hand to describe best practices and on the other hand to check their application by designers. We present an implementation of our framework in the Eclipse platform and for an ADL dedicated to Web applications. Finally, we give an example of use from the context of our industrial partner. to direct the architect toward the subset of relevant models among those allowed by the language. In this sense, BPs help the architect to limit the area of choice thanks to a language restriction adapted to the project. They help to increase the e ectiveness of development in terms of quality and productivity.Additional BPs speci c to an application domain, a technology or a managerial and cultural context may also emerge from projects within companies. Properly used in a project, these best language practices constitute the expertise and the value-added of a company. This valuable capital of knowledge guarantees to a company the quality of its architectural models and thus allows to satisfy its customers, to stand out, and to solicit labels and certi cates [11]. In other words, to be competitive.Unfortunately, we show in section 2 of this paper that due to a lack of an adequate formalism to document this knowledge, companies that try to capitalize on this knowledge use informal documents, often incomplete, poorly referenced, and sometimes scattered. This leads to an inadequate and ine ective use and sometimes loss of best language practices. This loss decrease the quality of the designed architectures. We rely for that on a study conducted with an industrial partner that uses a dedicated ADL for Web applications. We propose a language (section 3) and a software platform (section 4) that allow respectively to document and to enact these BPs for any graphical ADL. In this way, we ensure the durability and reuse of knowledge, as well as a constant veri cation of the application of best language practices. We then show, in section 5, how this language can be used to document some BPs for web applications coming from our industrial partner. In the same section, we show also how these practices can be integrated in their ADL tool (AlCoWeb-Builder). Thus, this helps developers to respect the best language practices de ned in their own companies, without changing their working habits. Finally, we describe related work in section 6 before concluding in section 7. Problem StatementIn this section, we show the interest for a company to make productive its language practices. We rely ...

show abstract

Detecting model inconsistency through operation-based model construction

Cited by 108 publications

References 13 publications

PTL: A model transformation language based on logic programming

PTL: A model transformation language based on logic programming

Active Operations on Collections

Good Architecture = Good (ADL + Practices)

Contact Info

Product

Resources

About