391 research outputs found
An Extension of NDT to Model Entity Reconciliation Problems
Within the development of software systems, the development of web applications may be one of the most
widespread at present due to the great number of advantages they provide such as: multiplatform, speed of
access or the not requiring extremely powerful hardware among others. The fact that so many web applications
are being developed, makes grotesque the volume of information that it is generated daily. In the management
of all this information, it appears the entity reconciliation problem, which is to identify objects referring to
the same real-world entity. This paper proposes to give a solution to this problem through a web perspective.
To this end, the NDT methodology has been taken as a reference and has been extended adding new activities,
artefacts and documents to cover this problem.Ministerio de EconomĂa y Competitividad TIN2013-46928-C3-3-RMinisterio de EconomĂa y Competitividad TIN2016-76956-C3-2-RMinisterio de EconomĂa y Competitividad TIN2015-71938-RED
Challenges and Directions in Formalizing the Semantics of Modeling Languages
Developing software from models is a growing practice and there exist many model-based tools (e.g., editors, interpreters, debuggers, and simulators) for supporting model-driven engineering. Even though these tools facilitate the automation of software engineering tasks and activities, such tools are typically engineered manually. However, many of these tools have a common semantic foundation centered around an underlying modeling language, which would make it possible to automate their development if the modeling language specification were formalized. Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for the purpose of automation. This paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools
CAViT: a Consistency Maintenance Framework based on Transformation Contracts
Design by contract is a software correctness methodology for procedural and object-oriented software. It relies on logical assertions to detect implementation mistakes at run-time or to proof the absence thereof at compile-time. Design by contract has found a new application in model driven engineering, a methodology that aims to manage the complexity of frameworks by relying on models and transformations.
A ``transformation contract\u27\u27 is a pair of constraints that together describe the effect of a transformation rule on the set of models contained in its transformation definition: the postcondition describes the model consistency state that the rule can establish provided that its precondition is satisfied. A transformation contract of a rule can be maintained automatically by calling the rule (1) as soon as the invariant corresponding to its postcondition is violated
and (2) provided that its precondition is satisfied.
Domain specific visual languages can facilitate the implementation of the actual transformation rules since they hide the complexity of graph transformation algorithms and standards for tool interoperability.
In this talk, we describe CAViT: a framework that integrates a visual model transformation tool with a design by contract tool by relying on OMG standards such as UML, OCL and MOF
Experiment with a type-theoretic approach to the verification of model transformations
"This paper presents ongoing work on the application of constructive type theory for safe development in Model-Driven Engineering. In particular, we put into practice a certification framework based on the Calculus of Inductive Constructions (CIC) as follows: we first describe methods for representing metamodels and specifications of model transformations as types and then outline principles for representing given transformations, written in a certain transformation language, as functions in CIC. Then properties of these functions are proven, including their correctness with respect to sufficiently expressive specifications, thereby providing a semiformal way to verify the original transformations. We carry out a concrete case taken from an on-line base of basic examples and patterns of use of the ATL transformation language, implementing it on machine using the Coq proof assistant." [Abstract
A meta-modeling approach for capturing recurrent uses of Moodle tools into pedagogical activities
International audienceTeacher's expertise on using Learning Management Systems (LMS) is tightly coupled to how they design their online courses. The GraphiT project aims to help teachers in specifying of pedagogically sound learning scenarios that can be technically executable for automatically setting-up the related LMS course. We intend to provide teachers with LMS-specific instructional design languages and editors. To achieve this goal, we have to raise the LMS semantics in order to enrich the pedagogical expressiveness of the produced models. We propose a specific LMS-centered approach for abstracting the low-level parameteriza-tions and turning these semantics into higher-level pedagogical building blocks. We present and illustrate our propositions focused on Moodle. In this paper, we focus on the first abstraction level: identifying pedagogical activities according to recurrent uses of Moodle activities
The relevance of model-driven engineering thirty years from now
International audienceAlthough model-driven engineering (MDE) is now an established approach for developing complex software systems, it has not been universally adopted by the software industry. In order to better understand the reasons for this, as well as to identify future opportunities for MDE, we carried out a week-long design thinking experiment with 15 MDE experts. Participants were facilitated to identify the biggest problems with current MDE technologies, to identify grand challenges for society in the near future, and to identify ways that MDE could help to address these challenges. The outcome is a reflection of the current strengths of MDE, an outlook of the most pressing challenges for society at large over the next three decades, and an analysis of key future MDE research opportunities
MaRIA: a process to model entity reconciliation problems
Within the development of software systems, the development of web applications may be one of the most
widespread at present due to the great number of advantages they provide such as: multiplatform, speed of
access or the not requiring extremely powerful hardware among others. The fact that so many web
applications are being developed, makes enormous the volume of information that it is generated daily. In
the management of all this information, the entity reconciliation (ER) problem occurs, which is to identify
objects referring to the same real-world entity. This paper proposes to give a solution to this problem
through a web perspective based on the Model-Driven Engineering paradigm. To this end, the
Navigational Development Techniques (NDT) methodology, that provides a formal and complete set of
processes that bring support to the software lifecycle management, has been taken as a reference and it has
been extended adding new activities, artefacts and documents to cover the ER. All these elements are
defined by a process named Model-Driven Entity ReconcilIAtion (MaRIA), that can be integrated in any
software development methodology and allows one to define the ER problem from the early stages of the
development. In addition, this proposal has been validated in a real-world case study helping companies to
reduce costs when a software product that must give a solution to an ER problem has to be developedMinisterio de EconomĂa y Competitividad TIN2013-46928-C3-3-RMinisterio de EconomĂa y Competitividad TIN2016-76956-C3-2-R (POLOLAS)Ministerio de EconomĂa y Competitividad TIN2015-71938-RED
- âŠ