Defining variability in activity diagrams and Petri nets

Science of Computer Programming

Volumn 78, Issue 12, 2013, Pages 2414-2432

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

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

^b Adesso AG   (Germany)

^c SIEMENS CORPORATE RESEARCH   (United States)

^d NONE

Author keywords

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

Indexed keywords

ACTIVITY DIAGRAM; APPLICATION EXAMPLES; DOCUMENTING VARIABILITY; EXTENDED PETRI NET; PRODUCT LINE ENGINEERING; SOFTWARE PRODUCT LINES; UML ACTIVITY DIAGRAMS; VARIABILITY;

MODELS; PRODUCTION ENGINEERING; QUALITY ASSURANCE; SEMANTICS; TESTING;

PETRI NETS;

EID: 84884668984     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2012.06.003     Document Type: Conference Paper

References (44)

1. A. Heuer, C. J. Budnik, S. Konrad, K. Lauenroth, and K. Pohl Formal definition of syntax and semantics for documenting variability in activity diagrams Proceedings of the 14th International Software Product Line Conference 2010 Springer Berlin, Heidelberg
2. B. Beizer Software Testing Techniques 2nd edition 1990 Van Nostrand Reinhold New York, NY, USA 0442206720
3. A. Metzger L. du Bousquet, J.-L. Richier, Quality Issues in Software Product Lines: Feature Interactions and Beyond ICFI 2007 IOS Press 1 12 ISBN: 978-1-58603-845-8, 1-58603-524-X
4. K. Pohl, G. Böckle, and F. J. vander Linden Software Product Line Engineering: Foundations, Principles and Techniques 1 edn. 2005 Springer 9783540243724
5. K. Larsen, U. Nyman, A. Wasowski, Modal I/O automata for interface and product line theories, in: Programming Languages and Systems, 16th European Symposium on Programming, ESOP'07, vol. 4421, 2007, pp. 64-79.
6. K. Lauenroth, S. Töhning, K. Pohl, Model checking of domain artifacts in product line engineering, in: Proceedings of the 24th International Conference on Automated Software Engineering (ASE), 2009, pp. 373-376.
7. R.V. Binder Testing Object-Oriented Systems: Models, Patterns, and Tools Addison-Wesley Object Technology Series 1999 Addison-Wesley Professional 9780201809381
8. Object Management Group, OMG Unified Modeling Language (OMG UML) Superstructure, V2.3, www.uml.org, 2010.
9. S. Reis, A. Metzger, and K. Pohl Integration Testing in Software Product Line Engineering: A Model-Based Technique 10th International Conference on Fundamental Approaches to Software Engineering 2007 Springer Berlin, Heidelberg 321 335 10.1007/978-3-540-71289-3-25
10. A. Reuys, E. Kamsties, K. Pohl, and S. Reis Model-Based System Testing of Software Product Families Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings Lecture Notes in Computer Science vol. 3520 2005 Springer 3-540-26095-1 519 534
11. K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, A. S. Peterson, Feature-Oriented Domain Analysis (FODA) Feasibility Study, Tech. Rep. CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, 1990.
12. D.S. Batory J.H. Obbink, K. Pohl, Software Product Lines, 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings Lecture Notes in Computer Science vol. 3714 2005 Springer 3-540-28936-4 7 20
13. K. Lauenroth, K. Pohl, Towards automated consistency checks of product line requirements specifications, in: Proceedings of the 27th International Conference on Automated Software Engineering (ASE 2007), 2007, pp. 5-9.
14. K. Lauenroth, A. Metzger, and K. Pohl Intentional perspectives on information systems engineering Quality Assurance in the Presence of Variability 2010 Springer Berlin, Heidelberg (Chapter)
15. V. Stricker, A. Metzger, and K. Pohl Avoiding redundant testing in application engineering J. Bosch, J. Lee, Software Product Lines: Going Beyond - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings Lecture Notes in Computer Science vol. 6287 2010 Springer 978-3-642-15578-9 226 240
16. Object Management Group, OMG Unified Modeling Language (OMG UML) Superstructure, V2.1.2, www.uml.org, 2007.
17. R. Eshuis, Semantics and Verification of UML Activity Diagrams for Workflow Modelling, Ph.D. Thesis series no. 02-44, University of Twente, 2002.
18. R. Eshuis Symbolic model checking of UML activity diagrams ACM Transactions on Software Engineering and Methodology 15 1 2006 1 38
19. R. Eshuis, and R. Wieringa Tool support for verifying UML activity diagrams IEEE Transactions on Software Engineering 30 7 2004 437 447
20. H. Störrle Semantics and verification of data flow in UML 2.0 activities Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004) Electronic Notes in Theoretical Computer Science vol. 127 2004 35 52
21. H. Störrle Semantics of Control-Flow in UML 2.0 Activities VL/HCC 2004 IEEE Computer Society 235 242
22. H. Störrle Structured Nodes in UML 2.0 Activities Nordic Journal of Computing 11 3 2004 279 302
23. H. Störrle, and J. Hausmann Towards a formal semantics of UML 2.0 activities Proceedings of the Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik 64 2005 117 128
24. W. Linzhang, Y. Jiesong, Y. Xiaofeng, H. Jun, L. Xuandong, and Z. Guoliang Generating Test Cases from UML Activity Diagram based on Gray-Box Method APSEC '04: Proceedings of the 11th Asia-Pacific Software Engineering Conference 2004 IEEE Computer Society Washington, DC, USA 0-7695-2245-9 284 291 http://dx.doi.org/10.1109/APSEC.2004.55
25. C. Petri, Kommunikation mit Automaten, Schriften des rheinisch- westfälischen institutes für instrumentelle mathematik an der universität bonn, University of Bonn, 1962.
26. N. Yang, H. Yu, H. Sun, and Z. Qian Mapping UML Activity Diagrams to Analyzable Petri Net Models Proceedings of the 10th International Conference on Quality Software (QSIC 2010) 2010 IEEE Computer Society Los Alamitos, CA, USA 369 372
27. I. Tričković Formalizing Activity Diagrams of UML by Petri Nets Journal of Mathematics, Novi Sad 30 3 2000 161 171
28. A. Braganca, R. Machado, Extending UML 2.0 metamodel for complementary usages of the extend relationship within use case variability specification, in: Proceedings of the 10th International Software Product Line Conference, SPLC 2006, 2006, pp. 123-130.
29. E. Kamsties, K. Pohl, S. Reis, A. Reuys, Testing variabilities in use case models, in: Proceedings of the 5th International Workshop on Software Product-Family Engineering, 2003, pp. 6-18.
30. E. Olimpiew, and H. Gomaa Model-based test design for software product lines Proceedings of 12th International Software Product Lines Conference (SPLC) 8-12 2008
31. A. Reuys, S. Reis, E. Kamsties, and K. Pohl The ScenTED Method for Testing Software Product Lines The ScenTED Method for Testing Software Product Lines 2006 Springer Heidelberg 479 520 10.1007/978-3-540-33253-4-13 (Chapter)
32. S. Robak, B. Franczyk, and K. Politowicz Extending the mnl for modelling variability for system families International Journal of Applied Mathematics and Computer Science 12 2 2002 285 298
33. J. Hartmann, M. Vieira, A. Ruder, A UML-based Approach for Validating Product Lines, in: B. Geppert, C. Krueger, J. Li (Eds.), Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), Boston, MA, 2004, pp. 58-65.
34. R. Muschevici, D. Clarke, J. Proenca, Feature Petri Nets, in: Proceedings of the Workshop Formal Methods in Software Product Line Engineering (FMSPLE) 2010, in Proceedings of the SPLC 2010 Volume 2, Lancaster University, 2010.
35. C. Petri, Communication with Automata, Tech. Rep. RADC-TR-65-377 Volume 1, Griffiss Air Force Base, New York, 1966.
36. T. Murata Petri nets: properties, analysis and applications Proceedings of the IEEE 77 4 1989 541 580
37. W. Reisig Petri Nets - An Introduction 1985 Springer Berlin, Heidelberg
38. J.L. Peterson Petri Net Theory and the Modeling of Systems 1981 Prentice Hall Englewook Cliffs, NJ
39. A. Metzger, K. Pohl, P. Heymans, P.-Y. Schobbens, G. Saval, Disambiguating the documentation of variability in software product lines: A Separation of Concerns, Formalization and Automated Analysis, in: Requirements Engineering Conference, 2007. RE '07. 15th IEEE International, 2007, pp. 243-253.
40. K. Czarnecki, and K. Pietroszek S. Jarzabek, D. C. Schmidt, T. L. Veldhuizen, Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings 2006 ACM 1-59593-237-2 211 220
41. K. Lauenroth, and K. Pohl Dynamic Consistency Checking of Domain Requirements in Product Line Engineering 16th IEEE International Requirements Engineering Conference, RE 2008, 8-12 September 2008, Barcelona, Catalunya, Spain 2008 IEEE Computer Society 193 202
42. A. Metzger, P. Heymans, K. Pohl, P.-Y. Schobbens, and G. Saval Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis 15th IEEE International Requirements Engineering Conference, RE 2007, October 15-19th, 2007, New Delhi, India 2007 IEEE 0-7695-2935-6 243 253
43. R. Pohl, K. Lauenroth, K. Pohl, A Performance Comparison of Contemporary Algorithmic Approaches for Automated Analysis Operations on Feature Models, in: Proceedings of ASE 2011: 26th IEEE/ACM International Conference On Automated Software Engineering, accepted for publication, 2011.
44. S. Rapps, and E. J. Weyuker Data flow analysis techniques for test data selection Proceedings of the 6th international conference on Software engineering, ICSE '82 1982 IEEE Computer Society Press Los Alamitos, CA, USA 272 278