skip to main content
10.1145/3168365.3168377acmotherconferencesArticle/Chapter ViewAbstractPublication PagesvamosConference Proceedingsconference-collections
research-article

Variants and Versions Management for Models with Integrated Consistency Preservation

Published: 07 February 2018 Publication History

Abstract

Modern software systems are often developed and maintained by describing them in several modeling and programming languages. To reduce complexity and improve understandability of such systems, models represent specific views on the system. These views have semantic interrelations (e.g., by sharing common or dependent information) that need to be kept consistent during evolution of the system. Apart from that, modern systems need to run in many different contexts and be highly configurable to satisfy the demand for fully customizable products. Such variable systems often comprise various dependencies from which inconsistencies may arise. Combining solutions for consistency management with variants and versions management, however, comes with many challenges.
In this research-in-progress paper, we introduce the VaVe approach which makes variants and versions management aware of automated consistency preservation in the context of multi-view modeling. We explain core features of the approach and reason about its benefits and limitations.

References

[1]
C. Atkinson, D. Stoll, and P. Bostan. 2010. Orthographic Software Modeling: A Practical Approach to View-Based Development. In: Evaluation of Novel Approaches to Software Engineering. Vol. 69. Berlin/Heidelberg: Springer, pp. 206--219.
[2]
R. Conradi and B. Westfechtel. 1998. Version Models for Software Configuration Management. In: ACM Comput. Surv. 30.2, pp. 232--282. URL:
[3]
Z. Diskin, Y. Xiong, and K. Czarnecki. 2010. Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. In: Proc. of the 1st International Workshop on Model-Driven Interoperability. Oslo, Norway: ACM, pp. 42--51.
[4]
A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. 1992. Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. In: International Journal of Software Engineering and Knowledge Engineering 2.1, pp. 31--57.
[5]
H. Gomaa and M. E. Shin. 2004. A Multiple-View Metamodeling Approach for Variability Management in Software Product Lines. In: Proc. of the 8th International Conference on Software Reuse: Methods, Techniques, and Tools. Berlin, Heidelberg: Springer-Verlag, pp. 274--285.
[6]
Ø. Haugen, B. Møller-Pedersen, J. Oldevik, G. K. Olsen, and A. Svendsen. 2008. Adding Standardized Variability to Domain Specific Languages. In: Proc. of the 12th International Software Product Line Conference. IEEE Computer Society, pp. 139--148.
[7]
Ø. Haugen and O. Øgard. 2014. BVR -- Better Variability Results. In: Proc. of the 8th International Conference on System Analysis and Modeling: Models and Reusability. Cham: Springer International Publishing, pp. 1--15.
[8]
Ø. Haugen, A. Wąsowski, and K. Czarnecki. 2013. CVL: Common Variability Language. In: Proc. of the 17th International Software Product Line Conference. Tokyo, Japan: ACM, pp. 277-- 277.
[9]
F. Heidenreich, J. Johannes, M. Seifert, and C. Wende. 2010. Closing the Gap Between Modelling and Java. In: Proceedings of the Second International Conference on Software Language Engineering. Denver, CO: Springer-Verlag, pp. 374--383.
[10]
T. Hettel, M. Lawley, and K. Raymond. 2008. Model Synchronisation: Definitions for Round-Trip Engineering. In: Proc. of the 1st International Conference on Theory and Practice of Model Transformations. Zurich, Switzerland: Springer-Verlag, pp. 31-- 45.
[11]
ISO/IEC 19508:2014(E). 2014. Information technology -- Object Management Group Meta Object Facility (MOF) Core. International Organization for Standardization, Geneva, Switzerland.
[12]
K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Tech. rep. CMU/SEI-90-TR-21. SE Institute.
[13]
H. Klare. 2016. Designing a Change-Driven Language for Model Consistency Repair Routines. MA thesis. Karlsruhe Institute of Technology (KIT).
[14]
M. E. Kramer, E. Burger, and M. Langhammer. 2013. View-centric engineering with synchronized heterogeneous models. In: Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling. Montpellier, France: ACM, 5:1--5:6.
[15]
M. E. Kramer. 2017. Specification Languages for Preserving Consistency between Models of Different Languages. PhD thesis. Karlsruhe, Germany: Karlsruhe Institute of Technology (KIT). 278 pp. URL: http://nbn-resolving.org/urn:nbn:de:swb:90-692845.
[16]
P. F. Linington. 2007. Black Cats and Coloured Birds -- What do Viewpoint Correspondences Do? In: Workshops Proceedings of the 11th International IEEE Enterprise Distributed Object Computing Conference, ECOCW. Annapolis, Maryland, USA, pp. 239--246.
[17]
L. Linsbauer, T. Berger, and P. Grünbacher. 2017. A Classification of Variation Control Systems. In: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Vancouver, BC, Canada: ACM, pp. 49--62.
[18]
L. Linsbauer, A. Egyed, and R. E. Lopez-Herrejon. 2016. A Variability Aware Configuration Management and Revision Control Platform. In: Proc. of the 38th International Conference on Software Engineering. Vol. 38. Austin, Texas: ACM, pp. 803-- 806.
[19]
R. E. Lopez-Herrejon and A. Egyed. 2012. Towards Fixing Inconsistencies in Models with Variability. In: Proc. of the 6th International Workshop on Variability Modeling of Software-Intensive Systems. Leipzig, Germany: ACM, pp. 93--100.
[20]
K. Pohl, G. Böckle, and F. J. v. d. Linden. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Secaucus, NJ, USA: Springer-Verlag New York, Inc.
[21]
A. Reder and A. Egyed. 2012. Incremental Consistency Checking for Complex Design Rules and Larger Model Changes. In: Proc. of the 15th International Conference on Model Driven Engineering Languages and Systems. Innsbruck, Austria: Springer-Verlag, pp. 202--218.
[22]
R. H. Reussner, S. Becker, J. Happe, R. Heinrich, A. Koziolek, H. Koziolek, M. Kramer, and K. Krogmann. 2016. Modeling and Simulating Software Architectures -- The Palladio Approach. Cambridge, MA: MIT Press. 408 pp.
[23]
R. Reussner, S. Becker, E. Burger, J. Happe, M. Hauck, A. Koziolek, H. Koziolek, K. Krogmann, and M. Kuperberg. 2011. The Palladio Component Model. Tech. rep. Karlsruhe: KIT, Fakultät für Informatik. URL: http://digbib.ubka.uni-karlsruhe.de/volltexte/1000022503.
[24]
I. Schaefer, L. Bettini, F. Damiani, and N. Tanzarella. 2010. Delta-oriented Programming of Software Product Lines. In: Proc. of the 14th International Conference on Software Product Lines: Going Beyond. Jeju Island, South Korea: Springer-Verlag, pp. 77--91.
[25]
F. Schwägerl, T. Buchmann, and B. Westfechtel. 2015. Super-Mod - A model-driven tool that combines version control and software product line engineering. In: Proc. of the 10th International Joint Conference on Software Technologies. IEEE Computer Society, pp. 1--14.
[26]
C. Seidl, I. Schaefer, and U. Aßmann. 2013. Capturing Variability in Space and Time with Hyper Feature Models. In: Proc. of the 8th International Workshop on Variability Modelling of Software-Intensive Systems. Sophia Antipolis, France: ACM, pp. 1--6.
[27]
C. Seidl, I. Schaefer, and U. Aßmann. 2014. DeltaEcore -- A Model-Based Delta Language Generation Framework. In: Proc. of Modellierung. Vienna, Austria, pp. 81--96.
[28]
C. Seidl, I. Schaefer, and U. Aßmann. 2014. Integrated Management of Variability in Space and Time in Software Families. In: Proceedings of the 18th International Software Product Line Conference - Volume 1. Florence, Italy: ACM, pp. 22--31.
[29]
D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks. 2008. EMF: Eclipse Modeling Framework. second revised. Addison-Wesley Longman, Amsterdam.
[30]
M. Wimmer, N. Moreno, and A. Vallecillo. 2012. Viewpoint Co-evolution Through Coarse-grained Changes and Coupled Transformations. In: Proceedings of the 50th International Conference on Objects, Models, Components, Patterns. Prague, Czech Republic: Springer-Verlag, pp. 336--352.

Cited By

View all
  • (2022)A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applicationsEmpirical Software Engineering10.1007/s10664-021-10097-z27:5Online publication date: 1-Sep-2022
  • (2021)Consistent management of variability in space and timeProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B10.1145/3461002.3473067(7-12)Online publication date: 6-Sep-2021
  • (2021)On Preserving Variability Consistency in Multiple ModelsProceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3442391.3442399(1-10)Online publication date: 9-Feb-2021
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
VAMOS '18: Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems
February 2018
128 pages
ISBN:9781450353984
DOI:10.1145/3168365
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]

In-Cooperation

  • Universidad Politécnica de Madrid
  • URJC: Rey Juan Carlos University

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 February 2018

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Delta-Based Consistency Preservation
  2. Software Product Lines
  3. Variability Management

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Conference

VAMOS 2018

Acceptance Rates

VAMOS '18 Paper Acceptance Rate 15 of 34 submissions, 44%;
Overall Acceptance Rate 66 of 147 submissions, 45%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

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

Other Metrics

Citations

Cited By

View all
  • (2022)A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applicationsEmpirical Software Engineering10.1007/s10664-021-10097-z27:5Online publication date: 1-Sep-2022
  • (2021)Consistent management of variability in space and timeProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B10.1145/3461002.3473067(7-12)Online publication date: 6-Sep-2021
  • (2021)On Preserving Variability Consistency in Multiple ModelsProceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3442391.3442399(1-10)Online publication date: 9-Feb-2021
  • (2020)Consistency-preserving evolution planning on feature modelsProceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A10.1145/3382025.3414964(1-12)Online publication date: 19-Oct-2020
  • (2020)A conceptual model for unifying variability in space and timeProceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A10.1145/3382025.3414955(1-12)Online publication date: 19-Oct-2020
  • (2019)Towards a Conceptual Model for Unifying Variability in Space and TimeProceedings of the 23rd International Systems and Software Product Line Conference - Volume B10.1145/3307630.3342412(44-48)Online publication date: 9-Sep-2019
  • (2019)Leveraging inconsistency management in the multi‐view collaborative modelling of cyber‐physical production systemsIET Collaborative Intelligent Manufacturing10.1049/iet-cim.2019.00191:4(126-129)Online publication date: 23-Dec-2019
  • (2018)Cloud-based integration of robot engineering data using AutomationML2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)10.1109/COASE.2018.8560525(645-648)Online publication date: 20-Aug-2018

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