Formal foundations for software model to model transformation operation

O.V. Chebanyuk

Abstract


Software model transformation operations are central operations in Model-Driven approaches. In order to represent software models, graphical modeling notations, for example UML, are used. Quality of software model, obtained after transformation, influences on further operations with this model. Thus, it is important to design formal approaches for model to model transformation that are grounded on analytical and mathematical tools. These approaches should provide a background for flexible adopting software model transformational techniques for peculiarities of specific software development lifecycle model.
Challenges to mathematical tools and transformation rules that are involved to designing of model to model transformation approaches are formulated in this paper. The ground of mathematical tools choice that is based on these challenges is performed.
An approach for performing model to model transformation, which is based on graph transformation, is presented in this paper. Transformational operations are considered on meta-level and concrete level. On meta-level choosing of mathematical tools for representing of transformation stages and transformational artifacts are grounded. Software models are represented as graphs. Initial information for transformation is represented as a set of sub-graphs. Transformation rules are composed using second and first order logics. On the level of the first-order logic all software model elements that participate in transformation are considered. In the level of second-order logic transformation rule considers types of software model element that are participate in the transformation.
Proposed approach is extensible and may be used for extend functionality of model to model tools that process software models. For example in MEDINI QVT there is no direct ways to compose a model to model transformation rule that considers those software models elements that have no direct links.

Problems in programming 2018; 2-3: 124-131


Keywords


Software Model; Software Model Transformation; Graph Transformation; Model-Driven Development; First-order logic; Second-order logic; UML

Full Text:

PDF

References


Chebanyuk Elena and Krassimir Markov. 2015. Software model cognitive value. International Journal “Information Theories and Applications”, Vol. 22, Number 4, ITHEA 2015 http://www.foibg.com/ijita/vol22/ijita22-04-p04.pdf

Chebanyuk Elena and Krassimir Markov. 2016. Model of problem domain “Model-driven architecture formal methods and approaches” International Journal “Information Content and Processing”, Vol. 22, Number 4, ITHEA 2016. P. 202–222.

Chebanyuk ELena.2014. Method of behavioural software models synchronization. International journal Informational models and analysis. – 2014, № 2. P 147–163. http://www.foibg.com/ijima/vol03/ijima03-02-p05.pdf

Chomsky, Noam. 1957. Syntactic Structures. Mouton publishers, Eilenberg: Mac Lane The, Hague, 1945 - 1957. ISBN 90 279 3385 5. p.107. http://ewan.website/egg-course-1/readings/syntactic_structures.pdf

Czarnecki, Krzysztof and Simon Helsen. 2006. Feature-based survey of model transformation approaches. IBM Systems Journal Vol. 45 N 3: 2006. P. 621–645. ISSN :0018-8670, DOI: 10.1147/sj.453.0621.

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=5386627

Favre Liliana and Daniel Duarte. 2016. Formal MOF Metamodeling and Tool Support. In: MODELSWARD 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. Edited by S. Hammoudi, L.F. Pires, B. Selic and P. Desfray. SCITEPRESS – Science and Technology Publications, Lda. Portugal, 2016. ISBN: 978-989-758-168-7. P. 99–110. DOI:10.5220/0005689200990110, http://www.scitepress.org/DigitalLibrary/ProceedingsDetails.aspx?ID=j1i7qrX33Ns=&t=1

Greiner Sandra, Thomas Buchmann, Bernhard Westfechtel. 2016. Bidirectional Transformations with QVT-R: A Case Study in Round-trip Engineering UML Class Models and Java Source Code. In: MODELSWARD 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. Edited by S. Hammoudi, L.F. Pires, B. Selic and P. Desfray. SCITEPRESS – Science and Technology Publications, Lda. Portugal, 2016. ISBN: 978-989-758-168-7. P. 15–27. DOI:10.5220/0005644700150027 http://www.scitepress.org/DigitalLibrary/PublicationsDetail.aspx?ID=efZXth7Zbbg=&t=1

IBM, 2016. http://researcher.ibm.com/researcher/files/zurich-jku/mdse-07.pdf

Natschlager Christine, Verena Geist1, Christa Illibauer1 and Robert Hutter. 2016. Modelling Business Process Variants using Graph Transformation Rules In: MODELSWARD 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. Edited by S. Hammoudi, L.F. Pires, B. Selic and P. Desfray. SCITEPRESS – Science and Technology Publications, Lda. Portugal, 2016. ISBN: 978-989-758-168-7. P. 65–74. DOI:10.5220/0005686900870098.

http://www.scitepress.org/DigitalLibrary/PublicationsDetail.aspx?ID=lzjjeczBZuA=&t=1

Rabbi Fazle, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen. 2016. WebDPF: A Web-based Metamodelling and Model Transformation Environment. In: MODELSWARD 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. Edited by S. Hammoudi, L.F. Pires, B. Selic and P. Desfray. SCITEPRESS – Science and Technology Publications, Lda. Portugal, 2016. ISBN: 978-989-758-168-7. P. 87–98. DOI:10.5220/0005686900870098,

http://www.scitepress.org/DigitalLibrary/PublicationsDetail.aspx?ID=lzjjeczBZuA=&t=1

Seifermann, Stephan and Henning Groenda. 2016. Survey on Textual Notations for the Unified Modeling Language In: MODELSWARD 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. Edited by S. Hammoudi, L.F. Pires, B. Selic and P. Desfray. SCITEPRESS – Science and Technology Publications, Lda. Portugal, 2016. ISBN: 978-989-758-168-7. P. 28–39. DOI:10.5220/0005686900870098, http://www.scitepress.org/DigitalLibrary/PublicationsDetail.aspx?ID=lzjjeczBZuA=&t=1

Truyen Frank. 2006. The Fast Guide to Model Driven Architecture. The Basics of Model Driven Architecture (MDA). Cephas Consulting Corp, 2006. http://www.omg.org/mda/mda_files/Cephas_MDA_Fast_Guide.pdf

Wu Hao. 2016. Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving In: MODELSWARD 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. Edited by S. Hammoudi, L.F. Pires, B. Selic and P. Desfray. SCITEPRESS – Science and Technology Publications, Lda. Portugal, 2016. ISBN: 978-989-758-168-7. P. 40-51. DOI:10.5220/0005686900870098, http://www.scitepress.org/DigitalLibrary/PublicationsDetail.aspx?ID=lzjjeczBZuA=&t=1


Refbacks

  • There are currently no refbacks.