skip to main content
10.1145/2593770.2593772acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article

Uncertainty in bidirectional transformations

Published: 02 June 2014 Publication History

Abstract

In Model-Driven Engineering, models are primary artifact manipulated by means of automated transformations. Recently, a notion of uncertainty has been introduced in models permitting modelers to postpone design decisions in case of lack of information. Interestingly, other forms of model uncertainty are induced by bidirectional transformations. In fact, in certain situations more than one admissible solution is in principle possible, despite most of the current languages generate only one model at time, possibly not the desired one. In this paper, the uncertainty due to the solution multiplicity in bidirectional transformations is discussed. In particular, we propose to represent the models in the solution space as concretizations of an uncertain model because there are cases where the responsibility of identifying the solution must be left to the modeler. The problem is illustrated by a round-tripping scenario realized with the JTL transformation language.

References

[1]
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.
[2]
G. Callow and R. Kalawsky. A Satisficing Bi-Directional Model Transformation Engine using Mixed Integer Linear Programming. Journal of Object Technology, 12(1):1: 1–43, 2013.
[3]
A. Cicchetti, D. Di Ruscio, R. Eramo, and A. Pierantonio. JTL: a bidirectional and change propagating transformation language. In Procs. of SLE 2010, LNCS 6563, pages 183–202. Springer, 2011.
[4]
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 notes, state of the art, and outlook. In Procs. of ICMT2009, volume 5563 of LNCS, pages 260–283. Springer, 2009.
[5]
Z. Diskin, Y. Xiong, and K. Czarnecki. From stateto delta-based bidirectional model transformations. pages 61–76, 2010.
[6]
C. Ebert and J. D. Man. Requirements uncertainty: influencing factors and concrete improvements. In Procs. of ICSE, pages 553–560. ACM Press, 2005.
[7]
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.
[8]
R. Eramo, A. Pierantonio, J. R. Romero, and A. Vallecillo. Change management in multi-viewpoint system using asp. In Procs of EDOCW, pages 433–440, Washington, DC, USA, 2008. IEEE Computer Society.
[9]
M. Famelis, R. Salay, and M. Chechik. Partial models: Towards modeling and reasoning with uncertainty. In ICSE, pages 573–583, 2012.
[10]
M. Famelis, R. Salay, A. D. Sandro, and M. Chechik. Transformation of models containing uncertainty. In MoDELS, pages 673–689, 2013.
[11]
M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In R. A. Kowalski and K. Bowen, editors, Procs of ICLP, pages 1070–1080, Cambridge, Massachusetts, 1988. The MIT Press.
[12]
T. Hettel, M. Lawley, and K. Raymond. Model Synchronisation: Definitions for Round-Trip Engineering. In Procs. of ICMT 2008, 2008.
[13]
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.
[14]
F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev. ATL: a Model Transformation Tool. Science of Computer Programming, 72(1-2):31–39, 2008.
[15]
N. Macedo and A. Cunha. Implementing qvt-r bidirectional model transformations using alloy. In V. Cortellessa and D. Varró, editors, FASE, volume 7793 of LNCS, pages 297–311. Springer, 2013.
[16]
Object Management Group (OMG). MOF 2.0 QVT Final Adopted Specification v1.1, 2011. OMG Adopted Specification formal/2011-01-01.
[17]
R. Salay, M. Chechik, J. Horkoff, and A. D. Sandro. Managing requirements uncertainty with partial models. Requir. Eng., 18(2):107–128, 2013.
[18]
R. Salay, J. Gorzny, and M. Chechik. Change propagation due to uncertainty change. In V. Cortellessa and D. Varró, editors, FASE, volume 7793 of LNCS, pages 21–36. Springer, 2013.
[19]
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 Computer Society, 2010.
[20]
B. Schätz, F. Hölzl, and T. Lundkvist. Design-space exploration through constraint-based model-transformation. In ECBS, pages 173–182, 2010.
[21]
D. Schmidt. Guest Editor’s Introduction: Model-Driven Engineering. Computer, 39(2):25–31, 2006.
[22]
S. Sendall and W. Kozaczynski. Model Transformation: The Heart and Soul of Model-Driven Software Development. IEEE Software, 20(5):42–45, 2003.
[23]
A. Sillitti, M. Ceschi, B. Russo, and G. Succi. Managing uncertainty in requirements: A survey in documentation-driven and agile companies. In IEEE METRICS, page 17. IEEE Computer Society, 2005.
[24]
P. Stevens. Bidirectional model transformations in QVT: semantic issues and open questions. SOSYM, 8, 2009.

Cited By

View all
  • (2024)Partial Bidirectionalization of Model Transformation LanguagesProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3640310.3674083(1-12)Online publication date: 22-Sep-2024
  • (2020)Consistent change propagation within modelsSoftware and Systems Modeling10.1007/s10270-020-00823-420:2(539-555)Online publication date: 25-Aug-2020
  • (2019)When and Why Do Software Developers Face Uncertainty?2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS.2019.00045(288-299)Online publication date: Jul-2019
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
MiSE 2014: Proceedings of the 6th International Workshop on Modeling in Software Engineering
June 2014
64 pages
ISBN:9781450328494
DOI:10.1145/2593770
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

In-Cooperation

  • TCSE: IEEE Computer Society's Tech. Council on Software Engin.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 June 2014

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Bidirectional Model Transformation
  2. JTL
  3. MDE
  4. Uncertainty

Qualifiers

  • Article

Conference

ICSE '14
Sponsor:

Acceptance Rates

Overall Acceptance Rate 13 of 30 submissions, 43%

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

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

Other Metrics

Citations

Cited By

View all
  • (2024)Partial Bidirectionalization of Model Transformation LanguagesProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3640310.3674083(1-12)Online publication date: 22-Sep-2024
  • (2020)Consistent change propagation within modelsSoftware and Systems Modeling10.1007/s10270-020-00823-420:2(539-555)Online publication date: 25-Aug-2020
  • (2019)When and Why Do Software Developers Face Uncertainty?2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS.2019.00045(288-299)Online publication date: 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
  • (2019)Modular Programming and Reasoning for Living with UncertaintySoftware Technologies10.1007/978-3-030-29157-0_10(220-244)Online publication date: 13-Aug-2019
  • (2018)Enhancing the JTL tool for bidirectional transformationsCompanion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of Programming10.1145/3191697.3191720(36-41)Online publication date: 9-Apr-2018
  • (2017)iArch-UProceedings of the 9th International Workshop on Modelling in Software Engineering10.5555/3104068.3104080(40-46)Online publication date: 20-May-2017
  • (2017)iArch-U: Interface-Centric Integrated Uncertainty-Aware Development Environment2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE)10.1109/MiSE.2017.7(40-46)Online publication date: May-2017
  • (2017)Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph GrammarsTheory and Practice of Model Transformation10.1007/978-3-319-61473-1_3(35-50)Online publication date: 20-Jun-2017
  • (2016)Handling Uncertainty in Automatically Generated Implementation Models in the Automotive Domain2016 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)10.1109/SEAA.2016.32(173-180)Online publication date: Aug-2016
  • 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