Abstract
In a product line model, the product line developer often specifies not only high-level domain features but also their low-level realization steps. We see two challenges against deriving and intended products with respect to the specification of feature realizations:
-
1
The developer is not provided with immediate feedback on the realization steps at design time.
-
2
How to ensure that the realization steps are consistent with high-level features.
The Common Variability Language (CVL) is a generic language for modeling variability and the CVL tool can be used for product line development. We propose two extensions to the CVL tool to address the aforementioned challenges:
-
1
A simulator that simulates the feature realizations and visualizes the resulting product model at design time.
-
2
A consistency checker that checks if the realizations are consistent with high-level features.
We illustrate these two added procedures by applying them to the development of a train control product line. A tool prototype is implemented and used for evaluation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Clements, P., Northrop, L.: Software Product Lines – Practices and Patterns. Addison-Wesley Longman Publishing (2001)
Czarnecki, K., Antkiewicz, M., Kim, C.H.P., Lau, S., Pietroszek, K.: Model-Driven Software Product Lines. In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 126–127. ACM Press (2005)
Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe Composition of Product Lines. In: Proceedings of the 6th International Conference on Generative Programming and Component Engineering (GPCE 2007). ACM Press (2007)
Kästner, C., Apel, S., Thum, T., Saake, G.: Type Checking Annotation-Based Product Lines. ACM Transactions on Software Engineering and Methodology 21(3), Article 14 (2012)
Fleurey, F., Haugen, Ø., Møller-Pedersen, B., Olsen, G.K., Svendsen, A., Zhang, X.: A Generic Language and Tool for Variability Modeling. SINTEF, Oslo (2009)
Haugen, Ø., Møller-Pedersen, B., Oldevik, J., Olsen, G.K., Svendsen, A.: Adding Standardized Variability to Domain Specific Languages. In: 13th International Software Product Line Conference. Limerick, Ireland (2008)
Object Management Group (OMG): Meta Object Facility (MOF) Core Specification Version 2.0 (Available Specification). OMG Document Formal/06-01-01 (2006)
CVL Resources (2012), http://www.omgwiki.org/variability/doku.php?id=cvl_tool_from_sintef
Svendsen, A., Zhang, X., Lind-Tviberg, R., Fleurey, F., Haugen, Ø., Møller-Pedersen, B., Olsen, G.K.: Developing a Software Product Line for Train Control: A Case Study of CVL. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 106–120. Springer, Heidelberg (2010)
Svendsen, A., Olsen, G.K., Endresen, J., Moen, T., Carlson, E., Alme, K.-J., Haugen, Ø.: The Future of Train Signaling. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 128–142. Springer, Heidelberg (2008)
Ousterhout, J.K., Jones, K.: Tcl and the Tk Toolkit, 2nd edn. Addison Wesley (2006)
Zhang, X., Haugen, Ø., Møller-Pedersen, B.: Model Comparison to Synthesize a Model-Driven Software Product Line. In: Proceedings of the 2011 15th International Software Product Line Conference (SPLC 2011), pp. 90–99. IEEE Computer Society (2011)
Oldevik, J., Haugen, Ø., Møller-Pedersen, B.: Confluence in Domain-Independent Product Line Transformations. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 34–48. Springer, Heidelberg (2009)
Svendsen, A., Zhang, X., Haugen, Ø., Møller-Pedersen, B.: Towards Evolution of Generic Variability Models. In: Kienzle, J. (ed.) MODELS 2011 Workshops. LNCS, vol. 7167, pp. 53–67. Springer, Heidelberg (2012)
Jackson, D.: Alloy – A Lightweight Object Modelling Notation. ACM Transactions on Transactions on Software Engineering and Methodology 11, 256–290 (2002)
Jing, S., Hongyu, Z., Hai, W.: Formal Semantics and Verification for Feature Modeling. In: 10th IEEE International Conference on Engineering of Complex Computer Systems. IEEE Computer Society (2005)
MIT: Download for Alloy Analyzer, http://alloy.mit.edu/alloy/download.html .
Svendsen, A., Haugen, Ø., Møller-Pedersen, B.: Optimizing Alloy Models. SINTEF, Oslo (2011)
Czarnecki, K., Pietroszek, K.: Verifying Feature-Based Model Templates against Well-Formedness Ocl Constraints. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering. ACM Press (2006)
Satyananda, T.K., Lee, D., Kang, S.: Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line. In: Proceedings of the International Conference on Software Engineering Advances, p. 10. IEEE Computer Society (2007)
Mussbacher, G., Whittle, J., Amyot, D.: Semantic-Based Interaction Detection in Aspect-Oriented Scenarios. In: 17th IEEE International Requirements Engineering Conference (RE 2009), pp. 203–212. IEEE Computer Society (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, X., Møller-Pedersen, B. (2013). Towards Correct Product Derivation in Model-Driven Product Lines. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds) System Analysis and Modeling: Theory and Practice. SAM 2012. Lecture Notes in Computer Science, vol 7744. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36757-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-36757-1_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36756-4
Online ISBN: 978-3-642-36757-1
eBook Packages: Computer ScienceComputer Science (R0)