skip to main content
10.1145/2814251.2814259acmconferencesArticle/Chapter ViewAbstractPublication PagessplashConference Proceedingsconference-collections
research-article

Managing uncertainty in bidirectional model transformations

Published: 26 October 2015 Publication History

Abstract

In Model-Driven Engineering bidirectionality in transformations is regarded as a key mechanism. Recent approaches to non-deterministic transformations have been proposed for dealing with non-bijectivity. Among them, the JTL language is based on a relational model transformation engine which restores consistency by returning all admissible models. This can be regarded as an uncertainty reducing process: the unknown uncertainty at design-time is translated into known uncertainty at run-time by generating multiple choices. Unfortunately, little changes in a model usually correspond to a combinatorial explosion of the solution space. In this paper, we propose to represent the multiple solutions in a intensional manner by adopting a model for uncertainty. The technique is applied to JTL demonstrating the advantages of the proposal.

References

[1]
F. Abou-Saleh, J. Cheney, J. Gibbons, J. McKinna, and P. Stevens. Notions of Bidirectional Computation and Entangled State Monads. MPC, pages 187–214, 2015.
[2]
S. M. Becker, S. Herold, S. Lohmann, and B. Westfechtel. A graph-based algorithm for consistency maintenance in incremental and interactive integration tools. Software and System Modeling, 6(3):287–315, 2007.
[3]
G. Callow and R. Kalawsky. A Satisficing Bi-Directional Model Transformation Engine using Mixed Integer Linear Programming. JOT, 12(1):1: 1–43, 2013.
[4]
A. Cicchetti, D. Di Ruscio, R. Eramo, and A. Pierantonio. JTL: a bidirectional and change propagating transformation language. In SLE10, pages 183–202, 2010.
[5]
K. Czarnecki, J. N. Foster, Z. Hu, R. Lämmel, A. Schürr, and J. F. Terwilliger. Bidirectional Transformations: A Cross-Discipline Perspective - GRACE meeting. In Procs. of ICMT2009.
[6]
Z. Diskin, Y. Xiong, and K. Czarnecki. From stateto deltabased bidirectional model transformations. pages 61–76, 2010.
[7]
C. Ebert and J. D. Man. Requirements uncertainty: influencing factors and concrete improvements. In Procs. of ICSE, pages 553–560. ACM Press, 2005.
[8]
R. Eramo, I. Malavolta, H. Muccini, P. Pelliccione, and A. Pierantonio. A model-driven approach to automate the propagation of changes among Architecture Description Languages. SOSYM, 1(25):1619–1366, 2010.
[9]
R. Eramo, A. Pierantonio, J. R. Romero, and A. Vallecillo. Change management in multi-viewpoint system using asp. In EDOCW08, pages 433–440. IEEE Computer Society, 2008.
[10]
R. Eramo, A. Pierantonio, and G. Rosa. Uncertainty in bidirectional transformations. In Procs. of MiSE 2014, 2014.
[11]
M. Famelis, R. Salay, and M. Chechik. Partial models: Towards modeling and reasoning with uncertainty. In ICSE, pages 573–583, 2012.
[12]
M. Famelis, R. Salay, A. D. Sandro, and M. Chechik. Transformation of models containing uncertainty. In MoDELS’13, pages 673–689, 2013.
[13]
D. Garlan. Software engineering in an uncertain world. In Proceedings of the FSE/SDP workshop on Future of software engineering research, pages 125–128. ACM, 2010.
[14]
M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In Procs of ICLP, pages 1070–1080, Cambridge, Massachusetts, 1988. The MIT Press.
[15]
H. Ibrahim, B. H. Far, A. Eberlein, and Y. Daradkeh. Uncertainty management in software engineering: Past, present, and future. In CCECE, pages 7–12. IEEE, 2009.
[16]
K. Knopp. Theory of Functions, Parts I and II. Courier Corporation, July 2013.
[17]
N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. The DLV System for Knowledge Representation and Reasoning, 2004.
[18]
N. Macedo and A. Cunha. Implementing QVT-R Bidirectional Model Transformations Using Alloy. In FASE, pages 297–311, 2013.
[19]
Object Management Group (OMG). MOF 2.0 QVT Final Adopted Specification v1.1, 2011. OMG Adopted Specification formal/2011-01-01.
[20]
R. Salay, M. Chechik, J. Horkoff, and A. D. Sandro. Managing requirements uncertainty with partial models. Requir. Eng., 18(2):107–128, 2013.
[21]
P. Sawyer, N. Bencomo, J. Whittle, E. Letier, and A. Finkelstein. Requirements-aware systems: A research agenda for re for self-adaptive systems. In RE, pages 95–103. IEEE, 2010.
[22]
D. Schmidt. Guest Editor’s Introduction: Model-Driven Engineering. Computer, 39(2):25–31, 2006.
[23]
A. Schürr. Specification of Graph Translators with Triple Graph Grammars. In Graph-Theoretic Concepts in Computer Science, pages 151–163. Springer, 1995.
[24]
P. Stevens. Bidirectional model transformations in QVT: semantic issues and open questions. SOSYM, 8, 2009.
[25]
T. Zan, H. Pacheco, and Z. Hu. Writing bidirectional model transformations as intentional updates. In ICSE Companion, pages 488–491, 2014.

Cited By

View all
  • (2023)Uncertainty-aware consistency checking in industrial settings2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS58315.2023.00026(73-83)Online publication date: 1-Oct-2023
  • (2022)Execution of Partial State Machine ModelsIEEE Transactions on Software Engineering10.1109/TSE.2020.300885048:3(951-972)Online publication date: 1-Mar-2022
  • (2022)A theoretic framework of bidirectional transformation between systems and modelsScience China Information Sciences10.1007/s11432-020-3276-565:10Online publication date: 27-Sep-2022
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SLE 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering
October 2015
172 pages
ISBN:9781450336864
DOI:10.1145/2814251
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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 October 2015

Permissions

Request permissions for this article.

Check for updates

Badges

  • Distinguished Paper

Author Tags

  1. Bidirectional Model Transformations
  2. Model-Driven Engineering
  3. Uncertainty

Qualifiers

  • Research-article

Conference

SLE '15
Sponsor:
SLE '15: Software Language Engineering
October 26 - 27, 2015
PA, Pittsburgh, USA

Upcoming Conference

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

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

Other Metrics

Citations

Cited By

View all
  • (2023)Uncertainty-aware consistency checking in industrial settings2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS58315.2023.00026(73-83)Online publication date: 1-Oct-2023
  • (2022)Execution of Partial State Machine ModelsIEEE Transactions on Software Engineering10.1109/TSE.2020.300885048:3(951-972)Online publication date: 1-Mar-2022
  • (2022)A theoretic framework of bidirectional transformation between systems and modelsScience China Information Sciences10.1007/s11432-020-3276-565:10Online publication date: 27-Sep-2022
  • (2021)Uncertainty representation in software models: a surveySoftware and Systems Modeling (SoSyM)10.1007/s10270-020-00842-120:4(1183-1213)Online publication date: 1-Aug-2021
  • (2021)Consistent change propagation within modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-020-00823-420:2(539-555)Online publication date: 1-Apr-2021
  • (2020)Dealing with uncertainty in model transformationsProceedings of the 35th Annual ACM Symposium on Applied Computing10.1145/3341105.3373971(1595-1603)Online publication date: 30-Mar-2020
  • (2020)Incorporating measurement uncertainty into OCL/UML primitive datatypesSoftware and Systems Modeling (SoSyM)10.1007/s10270-019-00741-019:5(1163-1189)Online publication date: 1-Sep-2020
  • (2020)Uncertainty, Modeling and Safety Assurance: Towards a Unified FrameworkVerified Software. Theories, Tools, and Experiments10.1007/978-3-030-41600-3_2(19-29)Online publication date: 14-Mar-2020
  • (2019)Investigation of Modern Tools and Techniques Provided by Modeling EditorsProceedings of the 7th International Conference on Computer and Communications Management10.1145/3348445.3348468(96-103)Online publication date: 27-Jul-2019
  • (2019)Survey and classification of model transformation toolsSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-0665-618:4(2361-2397)Online publication date: 1-Aug-2019
  • Show More Cited By

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