Skip to main content
SpringerLink
Log in

Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams

  • Conference paper
Software Product Lines: Going Beyond (SPLC 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6287))

Included in the following conference series:

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Chapter  Google Scholar 

  2. Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, New York (1990)

    Google Scholar 

  3. Binder, R.: Testing Object-Oriented Systems – Models, Patterns, and Tools. Addison-Wesley, Reading (1999)

    Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press, Cambridge (2009) ISBN 978-0262533058

    MATH  Google Scholar 

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

    Google Scholar 

  7. Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol. 15(1), 1–38 (2006)

    Article  Google Scholar 

  8. Eshuis, R., Wieringa, R.: Tool Support for Verifying UML Activity Diagrams. IEEE Transactions on Software Engineering 30(7), 437–447 (2004)

    Article  Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Chapter  Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. Liggesmeyer, P.: Software Qualität: Testen, Analysieren und Verifizieren von Software (in german), 2nd edn. Spektrum Akademischer Verlag (2009)

    Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. 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)

    Google Scholar 

  18. Murata, T.: Petri-nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  19. Object Management Group: UML 2.2 Superstructure and Infrastructure, http://www.omg.org/technology/documents/modeling_spec_catalog.htm#UML

  20. 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)

    Google Scholar 

  21. Petri, C.A.: Kommunikation mit Automaten. In: Schriften des Rheinisch-Westfälischen Institutes fĂ¼r instrumentelle Mathematik an der Universität Bonn, Bonn (1962)

    Google Scholar 

  22. Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering – Foundations, Principles, Techniques. Springer, Heidelberg (2005)

    Google Scholar 

  23. Pohl, K., Metzger, A.: Software Product Line Testing – Exploring Principles and Potential Solutions. Communications of the ACM 49(12), 78–81 (2009)

    Article  Google Scholar 

  24. 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)

    Chapter  Google Scholar 

  25. 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)

    Chapter  Google Scholar 

  26. 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)

    Google Scholar 

  27. 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)

    MATH  Google Scholar 

  28. 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)

    Google Scholar 

  29. 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)

    Chapter  Google Scholar 

  30. Störrle, H.: Structured Nodes in UML 2.0 Activities. Nordic Journal of Computing 11(3), 279–302 (2004)

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, GerlingstraĂŸe 16, 45127, Essen, Germany

    André Heuer, Kim Lauenroth & Klaus Pohl

  2. Siemens Corporate Research, 755 College Road East, Princeton, NJ, 08540, USA

    Christof J. Budnik & Sascha Konrad

Authors
  1. André Heuer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christof J. Budnik
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sascha Konrad
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kim Lauenroth
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Klaus Pohl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Intuit, Mountain View, CA, USA

    Jan Bosch

  2. School of Computing and Communications, Lancaster University, Lancaster, UK

    Jaejoon Lee

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation