More Web Proxy on the site http://driver.im/

research-article

Toward a declarative language to generate explorable sets of models

Authors:

Théo Le Calvar,

Frédéric Jouault,

Frédéric SaubionAuthors Info & Claims

SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

Pages 1837 - 1844

https://doi.org/10.1145/3297280.3297461

Published: 08 April 2019 Publication History

Abstract

Model transformation has proven to be an effective technique to produce target models from source models. Most transformation approaches focus on generating a single target model from a given source model. However there exists situations where a collection of target models is preferred over a single one. Such situations arise when some choices cannot be encoded in the transformation.

In this paper, we introduce an approach that combines model transformation and constraints programming to generate explorable sets of target models from source models. Our approach is built around the notion of the bridge variable that binds target model properties to decision variables. To help users apply the approach, we also introduce a declarative language to write such transformations. We evaluate our approach and language on a case study for diagram visualization.

References

[1]

Greg J Badros, Alan Burning, and Peter J Stuckey. 2001. The Cassowary linear arithmetic constraint solving algorithm. ACM Transactions on Computer-Human Interaction (TOCHI) 8, 4 (2001), 267--306.

Digital Library

[2]

Ilhem Boussaïd, Patrick Siarry, and Mohamed Ahmed-Nacer. 2017. A survey on search-based model-driven engineering. Automated Software Engineering 24, 2 (01 Jun 2017), 233--294.

Digital Library

[3]

Fabian Büttner, Marina Egea, Jordi Cabot, and Martin Gogolla. {n. d.}. Verification of ATL Transformations Using Transformation Models and Model Finders. In ICFEM 2012. 198--213.

Digital Library

[4]

Zinovy Diskin, Arif Wider, Hamid Gholizadeh, and Krzysztof Czarnecki. {n. d.}. Towards a rational taxonomy for increasingly symmetric model synchronization. In ICMT 2014. 57--73.

[5]

Bjorn N. Freeman-Benson, John Maloney, and Alan Borning. 1990. An Incremental Constraint Solver. Commun. ACM 33, 1 (Jan. 1990), 54--63.

Digital Library

[6]

Mark Harman, S. Afshin Mansouri, and Yuanyuan Zhang. 2012. Search-based Software Engineering: Trends, Techniques and Applications. ACM Comput. Surv. 45, 1, Article 11 (Dec. 2012), 61 pages.

Digital Library

[7]

Ákos Horváth and Dániel Varró. 2012. Dynamic constraint satisfaction problems over models. Software & Systems Modeling 11, 3 (2012), 385--408.

Digital Library

[8]

Daniel Jackson. 2002. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11, 2 (2002), 256--290.

Digital Library

[9]

Frédéric Jouault and Olivier Beaudoux. 2016. Efficient OCL-based Incremental Transformations. In 16th International Workshop in OCL and Textual Modeling. 121--136. https://hal.archives-ouvertes.fr/hal-01399962

[10]

Marouane Kessentini, Houari Sahraoui, Mounir Boukadoum, and Omar Ben Omar. 2012. Search-based Model Transformation by Example. Softw. Syst. Model. 11, 2 (May 2012), 209--226.

Digital Library

[11]

Mathias Kleiner, Marcos Didonet Del Fabro, and Patrick Albert. {n. d.}. Model Search: Formalizing and Automating Constraint Solving in MDE Platforms. In ECMFA 2010. 173--188.

Digital Library

[12]

Mathias Kleiner, Marcos Didonet Del Fabro, and Davi De Queiroz Santos. {n. d.}. Transformation as Search. In ECMFA 2013. 54--69.

Digital Library

[13]

Erhan Leblebici, Anthony Anjorin, Andy Schürr, Stephan Hildebrandt, Jan Rieke, and Joel Greenyer. 2014. A comparison of incremental triple graph grammar tools. Electronic Communications of the EASST 67 (2014).

[14]

N. Macedo, T. Jorge, and A. Cunha. 2017. A Feature-Based Classification of Model Repair Approaches. IEEE Transactions on Software Engineering 43, 7 (2017), 615--640.

Digital Library

[15]

Francisco Menezes, Pedro Barahona, and Philippe Codognet. 1993. An Incremental Hierarchical Constraint Solver. In PPCP, Vol. 93. 190--199.

[16]

Nicholas Nethercote, Peter J Stuckey, Ralph Becket, Sebastian Brand, Gregory J Duck, and Guido Tack. 2007. MiniZinc: Towards a standard CP modelling language. In International Conference on Principles and Practice of Constraint Programming. Springer, 529--543.

Digital Library

[17]

Andreas Petter, Alexander Behring, and Max Mühlhäuser. {n. d.}. Solving Constraints in Model Transformations. In ICMT 2009. 132--147.

Digital Library

[18]

Charles Prud'homme et al. 2017. Choco Documentation. TASC - LS2N CNRS UMR 6241, COSLING S.A.S. http://www.choco-solver.org

[19]

B. Schätz, F. Hölzl, and T. Lundkvist. 2010. Design-Space Exploration through Constraint-Based Model-Transformation. In 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems. 173--182.

Digital Library

[20]

Sagar Sen, Benoit Baudry, and Jean-Marie Mottu. {n. d.}. Automatic Model Generation Strategies for Model Transformation Testing. In ICMT 2009, Richard F. Paige (Ed.). 148--164.

Digital Library

[21]

Dániel Varró et al. 2016. Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Software & Systems Modeling 15, 3 (01 Jul 2016), 609--629.

Digital Library

[22]

James R Williams, Richard F Paige, Dimitrios S Kolovos, and Fiona AC Polack. 2012. Search-based model driven engineering. Technical Report. Department of Computer Science, University of York.

[23]

Molly Wilson and Alan Borning. 1993. Hierarchical constraint logic programming. The Journal of Logic Programming 16, 3 (1993), 277 -- 318.

Cited By

Saout TLardeux FSaubion F(2024)An Overview of Data Extraction From InvoicesIEEE Access10.1109/ACCESS.2024.336052812(19872-19886)Online publication date: 2024
https://doi.org/10.1109/ACCESS.2024.3360528
Casamayor RCetina CPastor ÓPérez F(2023)Studying the Influence and Distribution of the Human Effort in a Hybrid Fitness Function for Search-Based Model-Driven EngineeringIEEE Transactions on Software Engineering10.1109/TSE.2023.332973049:12(5189-5202)Online publication date: 10-Nov-2023
https://dl.acm.org/doi/10.1109/TSE.2023.3329730
Perez FFont JArcega LCetina C(2022)Empowering the Human as the Fitness Function in Search-Based Model-Driven EngineeringIEEE Transactions on Software Engineering10.1109/TSE.2021.312125348:11(4553-4568)Online publication date: 1-Nov-2022
https://doi.org/10.1109/TSE.2021.3121253
Show More Cited By

Index Terms

Toward a declarative language to generate explorable sets of models
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
  2. Software notations and tools

Index terms have been assigned to the content through auto-classification.

Recommendations

Coupling solvers with model transformations to generate explorable model sets
Abstract
Model transformation is an effective technique to produce target models from source models. Most transformation approaches focus on generating a single target model from a given source model. However, there are situations where a collection of ...
A Declarative Gradualizer with Language Transformations
IFL '20: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages

lang-n-change is a domain-specific language for expressing language transformation algorithms. We have previously used lang-n-change to express simple transformations, which begs the question on whether lang-n-change can be applied to sophisticated ...
A tactic language for declarative proofs
ITP'10: Proceedings of the First international conference on Interactive Theorem Proving

Influenced by the success of the Mizar system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier to modify and to maintain than their procedural counterparts. However, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

April 2019

2682 pages

ISBN:9781450359337

DOI:10.1145/3297280

Conference Chairs:
Chih-Cheng Hung
Kennesaw State University, Marietta, Georgia
,
George A. Papadopoulos
University of Cyprus, Nicosia, Cyprus

Copyright © 2019 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 April 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

SAC '19

Sponsor:

SIGAPP

SAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing

April 8 - 12, 2019

Limassol, Cyprus

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
70
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Saout TLardeux FSaubion F(2024)An Overview of Data Extraction From InvoicesIEEE Access10.1109/ACCESS.2024.336052812(19872-19886)Online publication date: 2024
https://doi.org/10.1109/ACCESS.2024.3360528
Casamayor RCetina CPastor ÓPérez F(2023)Studying the Influence and Distribution of the Human Effort in a Hybrid Fitness Function for Search-Based Model-Driven EngineeringIEEE Transactions on Software Engineering10.1109/TSE.2023.332973049:12(5189-5202)Online publication date: 10-Nov-2023
https://dl.acm.org/doi/10.1109/TSE.2023.3329730
Perez FFont JArcega LCetina C(2022)Empowering the Human as the Fitness Function in Search-Based Model-Driven EngineeringIEEE Transactions on Software Engineering10.1109/TSE.2021.312125348:11(4553-4568)Online publication date: 1-Nov-2022
https://doi.org/10.1109/TSE.2021.3121253
Le Calvar TChhel FJouault FSaubion F(2021)Coupling solvers with model transformations to generate explorable model setsSoftware and Systems Modeling (SoSyM)10.1007/s10270-021-00867-020:5(1633-1652)Online publication date: 1-Oct-2021
https://dl.acm.org/doi/10.1007/s10270-021-00867-0
Calvar TJouault FChhel FSaubion FClavreul MPretschner AVoss SBurgueño L(2019)Intensional view definition with constrained incremental transformation rulesProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion10.1109/MODELS-C.2019.00061(395-402)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00061

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents