research-article

Variants and Versions Management for Models with Integrated Consistency Preservation

Authors:

Sofia Ananieva,

Ralf ReussnerAuthors Info & Claims

VAMOS '18: Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems

Pages 3 - 10

https://doi.org/10.1145/3168365.3168377

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:

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[29]

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks. 2008. EMF: Eclipse Modeling Framework. second revised. Addison-Wesley Longman, Amsterdam.

Digital Library

[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.

Digital Library

Cited By

Ananieva SGreiner SKehrer TKrüger JKühn TLinsbauer LGrüner SKoziolek ALönn HRamesh SReussner R(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
https://dl.acm.org/doi/10.1007/s10664-021-10097-z
Ananieva SMousavi MSchobbens P(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
https://dl.acm.org/doi/10.1145/3461002.3473067
Greiner SWestfechtel B(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
https://dl.acm.org/doi/10.1145/3442391.3442399
Show More Cited By

Index Terms

Variants and Versions Management for Models with Integrated Consistency Preservation
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
        Software product lines
  2. Software notations and tools
    1. Software configuration management and version control systems

Recommendations

Integrated management of variability in space and time in software families
SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1

Software product lines (SPLs) and software ecosystems (SECOs) encompass a family of closely related software systems in terms of common and variable assets that are configured to concrete products (variability in space). Over the course of time, ...
Rationale-based variability management in product line requirements engineering
SE'07: Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering

Software Product Line approaches enable mass customization and reuse during the development of software intensive systems. Variability management is a key aspect of this approach. The rhetorical Questions, Options and Criteria (QOC) model can manage ...
VML* – a family of languages for variability management in software product lines
SLE'09: Proceedings of the Second international conference on Software Language Engineering

Managing variability is a challenging issue in software-product-line engineering. A key part of variability management is the ability to express explicitly the relationship between variability models (expressing the variability in the problem space, for ...

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

Copyright © 2018 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]

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.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

VAMOS 2018

VAMOS 2018: 12th International Workshop on Variability Modelling of Software-Intensive Systems

February 7 - 9, 2018

Madrid, Spain

Acceptance Rates

VAMOS '18 Paper Acceptance Rate 15 of 34 submissions, 44%;

Overall Acceptance Rate 66 of 147 submissions, 45%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
189
Total Downloads

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

Reflects downloads up to 25 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Ananieva SGreiner SKehrer TKrüger JKühn TLinsbauer LGrüner SKoziolek ALönn HRamesh SReussner R(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
https://dl.acm.org/doi/10.1007/s10664-021-10097-z
Ananieva SMousavi MSchobbens P(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
https://dl.acm.org/doi/10.1145/3461002.3473067
Greiner SWestfechtel B(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
https://dl.acm.org/doi/10.1145/3442391.3442399
Hoff ANieke MSeidl CSæther EMotzfeldt IDin CYu ISchaefer ILopez-Herrejon R(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
https://dl.acm.org/doi/10.1145/3382025.3414964
Ananieva SGreiner SKühn TKrüger JLinsbauer LGrüner SKehrer TKlare HKoziolek ALönn HKrieter SSeidl CRamesh SReussner RWestfechtel BLopez-Herrejon R(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
https://dl.acm.org/doi/10.1145/3382025.3414955
Ananieva SKehrer TKlare HKoziolek ALönn HRamesh SBurger ATaentzer GWestfechtel B(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
https://dl.acm.org/doi/10.1145/3307630.3342412
Vogel‐Heuser BZou M(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
https://doi.org/10.1049/iet-cim.2019.0019
Stark KGoldschmidt TDoppelhamer JBihani PGoltz D(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
https://dl.acm.org/doi/10.1109/COASE.2018.8560525

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.

Figures

Tables

Media

View Table of Conten