Abstract
Product line engineering relies on heterogeneous models and artifacts to define and implement the product line’s reusable assets. The complexity and heterogeneity of product line artifacts as well as their interdependencies make it hard to maintain consistency during development and evolution, regardless of the modeling approaches used. Engineers thus need support for detecting and resolving inconsistencies within and between the various artifacts. In this paper we present a framework for checking and maintaining consistency of arbitrary product line artifacts. Our approach is flexible and extensible regarding the supported artifact types and the definition of constraints. We discuss tool support developed for the DOPLER product line tool suite. We report the results of applying the approach to sales support applications of industrial product lines.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Balzer, R.: Tolerating inconsistency. In: Proceedings of the 13th International Conference on Software Engineering, pp. 158–165. IEEE Computer Society Press (1991)
Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Proceedings of the 30th International Conference on Software Engineering, pp. 511–520. ACM (2008)
Campbell, L.A., Cheng, B.H.C., McUmber, W.E., Stirewalt, K.: Automatically detecting and visualising errors in UML diagrams. Requirements Engineering 7(4), 264–287 (2002)
Czarnecki, K., Grünbacher, P., Rabiser, R., Schmid, K., Wasowski, A.: Cool features and tough decisions: A comparison of variability modeling approaches. In: International Workshop on Variability Modelling of Software-Intensive Systems, pp. 173–182. ACM (2012)
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, pp. 211–220. ACM (2006)
Dhungana, D., Grünbacher, P., Rabiser, R.: The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study. Automated Software Engineering 18(1), 77–114 (2011)
Egyed, A.: Instant consistency checking for the UML. In: Proceedings of the 28th International Conference on Software Engineering, pp. 381–390. ACM (2006)
Elsner, C., Lohmann, D., Schröder-Preikschat, W.: Fixing configuration inconsistencies across file type boundaries. In: Euromicro Conference on Software Engineering and Advanced Applications, pp. 116–123 (2011)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley, Boston (1995)
Groher, I., Reder, A., Egyed, A.: Incremental Consistency Checking of Dynamic Constraints. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol. 6013, pp. 203–217. Springer, Heidelberg (2010)
Heider, W., Rabiser, R., Grünbacher, P.: Facilitating the evolution of products in product line engineering by capturing and replaying configuration decisions. International Journal on Software Tools for Technology Transfer (2012)
Johnson, S., Bosch, J.: Quantifying software product line ageing. In: Proceedings of the Workshop on Software Product Lines at ICSE 2000, pp. 27–30. ACM (2000)
Lettner, D., Vierhauser, M., Rabiser, R., Grn̈ubacher, P.: Supporting end users with business calculations in product configuration. In: Proceedings of the of the 16th International Software Product Line Conference, Salvador, Brazil (2012)
van der Linden, F.J., Schmid, K., Rommes, E.: Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer (2007)
Murta, L.G.P., van der Hoek, A., Werner, C.M.L.: ArchTrace: Policy-based support for managing evolving architecture-to-implementation traceability links. In: Proceedings of the International Conference on Automated Software Engineering, pp. 135–144 (2006)
Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E.: Flexible consistency checking. ACM Transactions on Software Engineering Methodology 12(1), 28–63 (2003)
Pohl, K., Böckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus (2005)
Rabiser, R., Grünbacher, P., Dhungana, D.: Supporting product derivation by adapting and augmenting variability models. In: Proceedings of the 11th International Software Product Lines Conference, pp. 141–150. IEEE Computer Society (2007)
Rabiser, R., Heider, W., Elsner, C., Lehofer, M., Grünbacher, P., Schwanninger, C.: A Flexible Approach for Generating Product-Specific Documents in Product Lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 47–61. Springer, Heidelberg (2010)
Reder, A., Egyed, A.: Model/Analyzer: a tool for detecting, visualizing and fixing design errors in UML. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, pp. 347–348. ACM, New York (2010)
Straeten, R.V.D., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Proceedings of the 6th International UML Conference, pp. 326–340 (2003)
Tsiolakis, A., Ehrig, H.: Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In: Proceedings of Graph Transformation and Graph Grammars, Berlin, Germany, pp. 77–86 (2000)
Vierhauser, M., Grünbacher, P., Egyed, A., Rabiser, R., Heider, W.: Flexible and scalable consistency checking on product line variability models. In: Pecheur, C., Andrews, J., Nitto, E.D. (eds.) Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering, pp. 63–72. ACM (2010)
Vierhauser, M., Holl, G., Rabiser, R., Grünbacher, P., Lehofer, M., Stürmer, U.: A deployment infrastructure for product line models and tools. In: Proceedings of the 15th International Software Product Line Conference, pp. 287–294. IEEE Computer Society (2011)
Zisman, A., Kozlenkov, A.: Knowledge base approach to consistency management of UML specification. In: Proceedings of the International Conference on Automated Software Engineering, pp. 359–363 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vierhauser, M., Grünbacher, P., Heider, W., Holl, G., Lettner, D. (2012). Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2012. Lecture Notes in Computer Science, vol 7590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33666-9_34
Download citation
DOI: https://doi.org/10.1007/978-3-642-33666-9_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33665-2
Online ISBN: 978-3-642-33666-9
eBook Packages: Computer ScienceComputer Science (R0)