Formal definition of syntax and semantics for documenting variability in activity diagrams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6287 LNCS, Issue , 2010, Pages 62-76

  Heuer, André ^a   Budnik, Christof J ^b   Konrad, Sascha ^b   Lauenroth, Kim ^a   Pohl, Klaus ^a  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

^b SIEMENS CORPORATE RESEARCH   (United States)

Author keywords

Documenting variability; Quality assurance for product line engineering; Variability; Variability in activity diagrams

Indexed keywords

ACTIVITY DIAGRAM; AUTOMATED SUPPORT; DEFECT CORRECTION; DOCUMENTING VARIABILITY; DOMAIN ENGINEERING; FORMAL DEFINITION; HIGH COSTS; MODELING LANGUAGES; NEW APPROACHES; PRODUCT LINE ENGINEERING; PRODUCT-LINES; SYSTEM ENGINEERING; VARIABILITY;

DEFECTS; GRAPHIC METHODS; PRODUCTION ENGINEERING; QUALITY ASSURANCE; SYNTACTICS; SYSTEMS ENGINEERING;

QUALITY CONTROL;

EID: 78049404823     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15579-6_5     Document Type: Conference Paper

References (31)

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)
2. Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, New York (1990)
3. Binder, R.: Testing Object-Oriented Systems - Models, Patterns, and Tools. Addison-Wesley, Reading (1999)
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)
5. Cormen, T. H., Leiserson, C. E., Rivest, R. L., Stein, C: Introduction to Algorithms, 3rd edn. MIT Press, Cambridge (2009) ISBN 978-0262533058
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
7. Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol. 15 (1), 1-38 (2006)
8. Eshuis, R., Wieringa, R.: Tool Support for Verifying UML Activity Diagrams. IEEE Transactions on Software Engineering 30 (7), 437-447 (2004)
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)
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)
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)
12. Larsen, K., Nyman, U., Wa̧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)
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)
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)
15. Liggesmeyer, P.: Software Qualität: Testen, Analysieren und Verifizieren von Software (in german), 2nd edn. Spektrum Akademischer Verlag (2009)
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)
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)
18. Murata, T.: Petri-nets: Properties, analysis and applications. Proceedings of the IEEE 77 (4), 541-580 (1989)
19. Object Management Group: UML 2.2 Superstructure and Infrastructure, http://www.omg.org/technology/documents/modeling-spec-catalog.htmUML
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)
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)
22. Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering - Foundations, Principles, Techniques. Springer, Heidelberg (2005)
23. Pohl, K., Metzger, A.: Software Product Line Testing - Exploring Principles and Potential Solutions. Communications of the ACM 49 (12), 78-81 (2009)
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)
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) (Pubitemid 41336125)
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)
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)
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)
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)
30. Störrle, H.: Structured Nodes in UML 2.0 Activities. Nordic Journal of Computing 11 (3), 279-302 (2004)
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