References of "Syriani, Eugene"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailModel Transformation Intents and Their Properties
Lúcio, Lévi; Amrani, Moussa UL; Dingel, Jürgen et al

in Software & Systems Modeling (2014)

The notion of model transformation intent is proposed to capture the purpose of a transformation. In this paper, a framework for the description of model transformation intents is defined which includes ... [more ▼]

The notion of model transformation intent is proposed to capture the purpose of a transformation. In this paper, a framework for the description of model transformation intents is defined which includes, for instance, a description of properties a model transformation has to satisfy to qualify as a suitable realization of an intent. Several common model transformation intents are identified and the framework is used to describe five of them in detail. A case study from the automotive industry is used to demonstrate the usefulness of the proposed framework for identifying crucial properties of model transformations with different intents and to illustrate the wide variety of model transformation intents that an industrial model-driven software development process typically encompasses. [less ▲]

Detailed reference viewed: 154 (5 UL)
Full Text
Peer Reviewed
See detailTowards a Model Transformation Intent Catalog
Amrani, Moussa UL; Dingel, Jürgen; Lambers, Leen et al

in Proceedings of the First Workshop on Analysis of Model Transformations (2012)

Detailed reference viewed: 81 (0 UL)
Full Text
See detailInvariant Preservation in Interative Modelling (Extended Version)
Amrani, Moussa UL; Lúcio, Lévi; Syriani, Eugene et al

Report (2012)

Detailed reference viewed: 50 (3 UL)
Full Text
Peer Reviewed
See detailInvariant Preservation In Iterative Modeling
Lucio, Levi; Syriani, Eugene; Amrani, Moussa UL et al

in Workshop on Models And Evolution, co-located with MoDELS 2012 (2012)

In a Model-Driven Development project, models are typically built iteratively to better satisfy a set of requirements. Therefore it is crucial to guarantee that one iteration of a model evolution does not ... [more ▼]

In a Model-Driven Development project, models are typically built iteratively to better satisfy a set of requirements. Therefore it is crucial to guarantee that one iteration of a model evolution does not hinder the previous version. In this paper, we focus on invariant preservation of behavioral models expressed in Algebraic Petri Nets. The theory developed is applied to a Multi-Level Security File System modeled iteratively. We also discuss how this approach can be applied on Domain-Specific Languages that are translated to Algebraic Petri Nets. [less ▲]

Detailed reference viewed: 90 (1 UL)