skip to main content
10.1145/3239372.3239399acmconferencesArticle/Chapter ViewAbstractPublication PagesmodelsConference Proceedingsconference-collections
research-article

Integration of Visual Contracts and Model Transformation for Enhanced MDE Development

Published: 14 October 2018 Publication History

Abstract

Model transformations are an important aspect of Model-Driven Engineering as models throughout the software development process are transformed and refined until, finally, application code is generated. However, model transformations are complex to build, maintain, and verify for correctness. We propose the combination of visual contracts, an implementation independent approach for specifying correctness requirements for verification purposes, with operator-based model transformation execution to integrate both the specification of transformation requirements and the transformations themselves within the same framework. The graphical operator-based notation is used to define both the constraints of a contract and the transformation definition. This allows reuse of operators between the two and maintains implementation independence as the operators can be directly executed or compiled to other model-transformation languages. To illustrate the concept, we report on a prototype integration of visual contracts with our our existing operator-based model transformation framework and applied it in the law-enforcement context to transform relational data sources into Elasticsearch for multisource analytics.

References

[1]
Vlad Acreţoaie, Harald Störrle, and Daniel Strüber. 2016. VMTL: a language for end-user model transformation. SoSyM (09 Jul 2016).
[2]
Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. 1999. Graph transformation for specification and programming. Science of Computer Programming 34, 1 (1999), 1--54.
[3]
Bruno Barroca, Levi Lúcio, Vasco Amaral, Roberto Félix, and Vasco Sousa. 2011. DSLTrans: A Turing Incomplete Transformation Language. In Proc. Software Language Engineering 2010. Springer, 296--305.
[4]
Stefan Berger, Georg Grossmann, Markus Stumptner, and Michael Schrefl. 2010. Metamodel-Based Information Integration at Industrial Scale. In Proc. MODELS 2010, Vol. LNCS 6395. Springer, 153--167.
[5]
Peter Braun and Frank Marschall. 2003. Transforming Object Oriented Models with BOTL. Electronic Notes in Theoretical Computer Science 72, 3 (2003), 103--117.
[6]
Brian Broll and Ákos Lédeczi. 2015. Extensible Visual Constraint Language. In Proc. Workshop on Domain-Specific Modeling (2015) (DSM 2015). ACM, 63--70.
[7]
C. Ermel, M. Rudolf, and G. Taentzer. 1999. The AGG Approach: Language And Environment. In Handbook of Graph Grammars and Computing by Graph Transformation. World Scientific, 551--603.
[8]
Andrew Fish, Jean Flower, and John Howse. 2005. The semantics of augmented constraint diagrams. Journal of Visual Languages & Computing 16, 6 (2005), 541--573.
[9]
Holger Giese, Stephan Hildebrandt, and Leen Lambers. 2014. Bridging the gap between formal semantics and implementation of triple graph grammars. SoSyM 13, 1 (01 Feb 2014), 273--299.
[10]
Esther Guerra, Juan de Lara, Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, and Wieland Schwinger. 2013. Automated verification of model transformations based on visual contracts. Automated Software Engineering 20, 1 (2013), 5--46.
[11]
John Howse and Steve Schuman. 2005. Precise visual modeling: A case-study. SoSyM 4, 3 (2005), 310--325.
[12]
F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev. 2008. ATL: A model transformation tool. Science of Computer Programming 72, 1-2 (2008), 31--39.
[13]
Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, and Daniel Varró. 2018. Survey and classification of model transformation tools. SoSyM (2018), 1--37. online first.
[14]
Stuart Kent. 1997. Constraint Diagrams: Visualizing Invariants in Object-oriented Models. In Proc. OOPSLA'97. ACM, 327--341.
[15]
Christiane Kiesner, Gabriele Taentzer, and Jessica Winkelmann. 2002. Visual OCL: A Visual Notation of the Object Constraint Language. Technical Report 2002/23. Technische Universität Berlin. http://www.user.tu-berlin.de/o.runge/tfs/projekte/vocl/
[16]
Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, and Hans Vangheluwe. 2015. SyVOLT: Full Model Transformation Verification Using Contracts. In Proc. MoDELS 2015 Demo and Poster Session. 24--27. http://ceur-ws.org/Vol-1554/PD_MoDELS_2015_paper_8.pdf
[17]
B. Meyer. 1992. Applying "design by contract". Computer 25 (1992), 40--51.
[18]
OMG. 2014. Object Constraint Language (v2.4). standard formal/2014-02-03. http://www.omg.org/spec/OCL/2.4
[19]
OMG. 2016. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification (v1.3). Object Management Group. http://www.omg.org/spec/QVT/1.0/PDF/formal/16-06-03.
[20]
Arend Rensink. 2004. The GROOVE Simulator: AĂăTool for State Space Generation. In Proc. 2nd International Workshop AGTIVE 2003. Springer, 479--485.
[21]
Andy Schürr. 1995. Specification of Graph Translators with Triple Graph Grammars. In Proc. 20th International Workshop on Graph-Theoretic Concepts in Computer Science (WG'94) (LNCS), Vol. 903. Springer, 151--163.
[22]
Matt Selway, Kerryn R. Owen, Richard M. Dexter, Georg Grossmann, Wolfgang Mayer, and Markus Stumptner. 2018. Automated Techniques for Generating Behavioural Models for Constructive Combat Simulations. In Data and Decision Sciences in Action: Proc. Australian Society for Operations Research Conference 2016 (LNMIE). Springer, 103--115.
[23]
Harald Störrle. 2011. Expressing model constraints visually with VMQL. In 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). 195--202.
[24]
Dániel Varró and András Balogh. 2007. The model transformation language of the VIATRA2 framework. Science of Computer Programming 68, 3 (2007), 214--234.
[25]
Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schoenboeck, and Wieland Schwinger. 2010. Surviving the Heterogeneity Jungle with Composite Mapping Operators. In Proc. ICMT 2010. Springer, 260--275.

Cited By

View all
  • (2023)Standards-Based Interoperable Digital Twin in Industry 4.0 – A Pilot Demonstration16th WCEAM Proceedings10.1007/978-3-031-25448-2_68(726-735)Online publication date: 16-Feb-2023
  • (2019)A Model-Driven Approach for Visualisation ProcessesProceedings of the Australasian Computer Science Week Multiconference10.1145/3290688.3290698(1-10)Online publication date: 29-Jan-2019

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
October 2018
478 pages
ISBN:9781450349499
DOI:10.1145/3239372
Publication rights licensed to ACM. ACM acknowledges that this contribution was authored or co-authored by an employee, contractor or affiliate of a national government. As such, the Government retains a nonexclusive, royalty-free right to publish or reproduce this article, or to allow others to do so, for Government purposes only.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 October 2018

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. model transformation
  2. model-driven engineering
  3. transformation operators
  4. visual contracts

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Funding Sources

Conference

MODELS '18
Sponsor:

Acceptance Rates

MODELS '18 Paper Acceptance Rate 29 of 101 submissions, 29%;
Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)5
  • Downloads (Last 6 weeks)1
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Standards-Based Interoperable Digital Twin in Industry 4.0 – A Pilot Demonstration16th WCEAM Proceedings10.1007/978-3-031-25448-2_68(726-735)Online publication date: 16-Feb-2023
  • (2019)A Model-Driven Approach for Visualisation ProcessesProceedings of the Australasian Computer Science Week Multiconference10.1145/3290688.3290698(1-10)Online publication date: 29-Jan-2019

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media