Abstract
Quality assurance is an important issue in product line engineering. It is commonly agreed that quality assurance in domain engineering requires special attention, since a defect in a domain artifact can affect several products of a product line and can lead to high costs for defect correction. However, the variability in domain artifacts is a special challenge for quality assurance, since quality assurance approaches from single system engineering cannot handle the variability in domain artifacts. Therefore, the adaptation of existing approaches or the development of new approaches is necessary to support quality assurance in domain engineering.
Activity diagrams are a widely accepted modeling language used to support quality assurance activities in single system engineering. However, current quality assurance approaches adapted for product line engineering using activity diagrams are not based on a formal syntax and semantics and therefore techniques based on these approaches are only automatable to a limited extent. In this paper, we propose a formal syntax and semantics for documenting variability in activity diagrams based on Petri-nets which provide the foundation for an automated support of quality assurance in domain engineering.
This paper was partially funded by the DFG, grant PO 607/2-1 IST-SPL.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Batory, D.S.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)
Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, New York (1990)
Binder, R.: Testing Object-Oriented Systems – Models, Patterns, and Tools. Addison-Wesley, Reading (1999)
Braganca, A., Machado, R.J.: Extending UML 2.0 Metamodel for Complementary Usages of the ≪extend≫ Relationship within Use Case Variability Specification. In: Proceedings of the 10th International Conference on Software Product Lines, SPLC 2006, pp. 123–130. IEEE Computer Society, Los Alamitos (2006)
Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press, Cambridge (2009) ISBN 978-0262533058
Eshuis, H.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis. Univ. of Twente. CTIT Ph.D. thesis series No. 02-44 (2002) ISBN 9036518202
Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol. 15(1), 1–38 (2006)
Eshuis, R., Wieringa, R.: Tool Support for Verifying UML Activity Diagrams. IEEE Transactions on Software Engineering 30(7), 437–447 (2004)
Hartmann, J., Vieira, M., Ruder, A.: A UML-based Approach for Validating Product Lines. In: Geppert, B., Krueger, C., Jenny Li, J. (eds.) Proceedings of the International Workshop on Software Product Line Testing (SPLiT) 2004. Boston, USA. Avaya labs ALR-2004-031 (2004)
Kamsties, E., Pohl, K., Reis, S., Reuys, A.: Testing Variabilities in Use Case Models. In: Proceedings of the 5th International Workshop on Software Product-Family Engineering (2003)
Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study Software Engineering Institute. Carnegie Mellon University, Pittsburgh (1990)
Larsen, K., Nyman, U., Wąsowski, A.: Modal I/O Automata for Interface and Product Line Theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64–79. Springer, Heidelberg (2007)
Lauenroth, K., Pohl, K.: Towards Automated Consistency Checks of Product Line Requirements Specifications. In: Stirewalt, K., Egyed, A., Fischer, B. (eds.) Proceedings of the 27th International Conference on Automated Software Engineering (ASE 2007), Atlanta, USA, November 5-9 (2007)
Lauenroth, K., Töhning, S., Pohl, K.: Model Checking of Domain Artifacts in Product Line Engineering. In: Proceedings of the 24th International Conference on Automated Software Engineering (ASE), New Zealand, pp. 373–376 (2009)
Liggesmeyer, P.: Software Qualität: Testen, Analysieren und Verifizieren von Software (in german), 2nd edn. Spektrum Akademischer Verlag (2009)
Linzhang, W., Jiesong, Y., Xiaofeng, Y., Jun, H., Xuandong, L., Guoliang, Z.: Generating Test Cases from UML Activity Diagram based on Gray-Box Method. In: Proceedings of the 11th Asia-Pacific Software Engineering Conference, pp. 284–291. IEEE Computer Society, Washington (2004)
Metzger, A.: Quality Issues in Software Product Lines: Feature Interactions and Beyond. In: du Bousquet, L., Richier, J.-L. (eds.) Feature Interactions in Software and Communication Systems IX, International Conference on Feature Interactions in Software and Communication Systems, ICFI 2007, Grenoble, France. IOS Press, Amsterdam (2007)
Murata, T.: Petri-nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Object Management Group: UML 2.2 Superstructure and Infrastructure, http://www.omg.org/technology/documents/modeling_spec_catalog.htm#UML
Olimpiew, E.M., Gomaa, H.: Model-based Test Design for Software Product Lines. In: Thiel, S., Pohl, K. (eds.) Software Product Lines, Proceedings of 12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, Second Volume (Workshops), Lero Int. Science Centre, University of Limerick, Ireland (2008)
Petri, C.A.: Kommunikation mit Automaten. In: Schriften des Rheinisch-Westfälischen Institutes für instrumentelle Mathematik an der Universität Bonn, Bonn (1962)
Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering – Foundations, Principles, Techniques. Springer, Heidelberg (2005)
Pohl, K., Metzger, A.: Software Product Line Testing – Exploring Principles and Potential Solutions. Communications of the ACM 49(12), 78–81 (2009)
Reis, S., Metzger, A., Pohl, K.: Integration Testing in Software Product Line Engineering: A Model-Based Technique. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 321–335. Springer, Heidelberg (2007)
Reuys, A., Kamsties, E., Pohl, K., Reis, S.: Model-Based System Testing of Software Product Families. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 519–534. Springer, Heidelberg (2005)
Reuys, A., Reis, S., Kamsties, E., Pohl, K.: The ScenTED Method for Testing Software Product Lines. In: Käkölä, T., Duenas, J.C. (eds.) Software Product Lines – Research Issues in Engineering and Management, pp. 479–520. Springer, Heidelberg (2006)
Robak, D., Franczyk, B., Politowicz, K.: Extending the UML for Modeling Variability for System Families. International Journal of Applied Mathematics and Computer Science 12(2), 285–298 (2002)
Störrle, H.: Semantics and Verification of Data Flow in UML 2.0 Activities. In: Minas, M. (ed.) Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004). Electronic Notes in Theoretical Computer Science, vol. 127(4), pp. 35–52. Elsevier, Amsterdam (2004)
Störrle, H.: Semantics of Control-Flow in UML 2.0 Activities. In: Bottoni, P., Hundhausen, C., Levialdi, S., Tortora, G. (eds.) Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 235–242. Springer, Heidelberg (2004)
Störrle, H.: Structured Nodes in UML 2.0 Activities. Nordic Journal of Computing 11(3), 279–302 (2004)
Störrle, H., Hausmann, J.H.: Towards a formal semantics of UML 2.0 activities. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik. Lecture Notes in Informatics, pp. 117–128. Gesellschaft für Informatik (2005) ISBN 3-88579-393-8
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heuer, A., Budnik, C.J., Konrad, S., Lauenroth, K., Pohl, K. (2010). Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams. In: Bosch, J., Lee, J. (eds) Software Product Lines: Going Beyond. SPLC 2010. Lecture Notes in Computer Science, vol 6287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15579-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-15579-6_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15578-9
Online ISBN: 978-3-642-15579-6
eBook Packages: Computer ScienceComputer Science (R0)