{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:22Z","timestamp":1725564862677},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155789"},{"type":"electronic","value":"9783642155796"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15579-6_5","type":"book-chapter","created":{"date-parts":[[2010,9,7]],"date-time":"2010-09-07T03:09:34Z","timestamp":1283828974000},"page":"62-76","source":"Crossref","is-referenced-by-count":2,"title":["Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"Heuer","sequence":"first","affiliation":[]},{"given":"Christof J.","family":"Budnik","sequence":"additional","affiliation":[]},{"given":"Sascha","family":"Konrad","sequence":"additional","affiliation":[]},{"given":"Kim","family":"Lauenroth","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Pohl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D.S. Batory","year":"2005","unstructured":"Batory, D.S.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"key":"5_CR2","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, New York (1990)","edition":"2"},{"key":"5_CR3","volume-title":"Testing Object-Oriented Systems \u2013 Models, Patterns, and Tools","author":"R. Binder","year":"1999","unstructured":"Binder, R.: Testing Object-Oriented Systems \u2013 Models, Patterns, and Tools. Addison-Wesley, Reading (1999)"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1109\/SPLINE.2006.1691584","volume-title":"Proceedings of the 10th International Conference on Software Product Lines, SPLC 2006","author":"A. Braganca","year":"2006","unstructured":"Braganca, A., Machado, R.J.: Extending UML 2.0 Metamodel for Complementary Usages of the \u226aextend\u226b Relationship within Use Case Variability Specification. In: Proceedings of the 10th International Conference on Software Product Lines, SPLC 2006, pp. 123\u2013130. IEEE Computer Society, Los Alamitos (2006)"},{"key":"5_CR5","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"2009","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press, Cambridge (2009) ISBN 978-0262533058","edition":"3"},{"key":"5_CR6","unstructured":"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"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R. Eshuis","year":"2006","unstructured":"Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol.\u00a015(1), 1\u201338 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"7","key":"5_CR8","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/TSE.2004.33","volume":"30","author":"R. Eshuis","year":"2004","unstructured":"Eshuis, R., Wieringa, R.: Tool Support for Verifying UML Activity Diagrams. IEEE Transactions on Software Engineering\u00a030(7), 437\u2013447 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR9","unstructured":"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)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-540-24667-1_2"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.21236\/ADA235785"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"K. Larsen","year":"2007","unstructured":"Larsen, K., Nyman, U., W\u0105sowski, A.: Modal I\/O Automata for Interface and Product Line Theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1321631.1321687"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Lauenroth, K., T\u00f6hning, 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\u2013376 (2009)","DOI":"10.1109\/ASE.2009.16"},{"key":"5_CR15","unstructured":"Liggesmeyer, P.: Software Qualit\u00e4t: Testen, Analysieren und Verifizieren von Software (in german), 2nd edn. Spektrum Akademischer Verlag (2009)"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1109\/APSEC.2004.55","volume-title":"Proceedings of the 11th Asia-Pacific Software Engineering Conference","author":"W. Linzhang","year":"2004","unstructured":"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\u2013291. IEEE Computer Society, Washington (2004)"},{"key":"5_CR17","volume-title":"Feature Interactions in Software and Communication Systems IX, International Conference on Feature Interactions in Software and Communication Systems, ICFI 2007","author":"A. Metzger","year":"2007","unstructured":"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)"},{"issue":"4","key":"5_CR18","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri-nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"5_CR19","unstructured":"Object Management Group: UML 2.2 Superstructure and Infrastructure, \n                    \n                      http:\/\/www.omg.org\/technology\/documents\/modeling_spec_catalog.htm#UML"},{"key":"5_CR20","unstructured":"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)"},{"key":"5_CR21","unstructured":"Petri, C.A.: Kommunikation mit Automaten. In: Schriften des Rheinisch-Westf\u00e4lischen Institutes f\u00fcr instrumentelle Mathematik an der Universit\u00e4t Bonn, Bonn (1962)"},{"key":"5_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering \u2013 Foundations, Principles, Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering \u2013 Foundations, Principles, Techniques. Springer, Heidelberg (2005)"},{"issue":"12","key":"5_CR23","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1183236.1183271","volume":"49","author":"K. Pohl","year":"2009","unstructured":"Pohl, K., Metzger, A.: Software Product Line Testing \u2013 Exploring Principles and Potential Solutions. Communications of the ACM\u00a049(12), 78\u201381 (2009)","journal-title":"Communications of the ACM"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-71289-3_25","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Reis","year":"2007","unstructured":"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.\u00a04422, pp. 321\u2013335. Springer, Heidelberg (2007)"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/11431855_36","volume-title":"Advanced Information Systems Engineering","author":"A. Reuys","year":"2005","unstructured":"Reuys, A., Kamsties, E., Pohl, K., Reis, S.: Model-Based System Testing of Software Product Families. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 519\u2013534. Springer, Heidelberg (2005)"},{"key":"5_CR26","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/978-3-540-33253-4_13","volume-title":"Software Product Lines \u2013 Research Issues in Engineering and Management","author":"A. Reuys","year":"2006","unstructured":"Reuys, A., Reis, S., Kamsties, E., Pohl, K.: The ScenTED Method for Testing Software Product Lines. In: K\u00e4k\u00f6l\u00e4, T., Duenas, J.C. (eds.) Software Product Lines \u2013 Research Issues in Engineering and Management, pp. 479\u2013520. Springer, Heidelberg (2006)"},{"issue":"2","key":"5_CR27","first-page":"285","volume":"12","author":"D. Robak","year":"2002","unstructured":"Robak, D., Franczyk, B., Politowicz, K.: Extending the UML for Modeling Variability for System Families. International Journal of Applied Mathematics and Computer Science\u00a012(2), 285\u2013298 (2002)","journal-title":"International Journal of Applied Mathematics and Computer Science"},{"key":"5_CR28","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"35","volume-title":"Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004)","author":"H. St\u00f6rrle","year":"2004","unstructured":"St\u00f6rrle, 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.\u00a0127(4), pp. 35\u201352. Elsevier, Amsterdam (2004)"},{"key":"5_CR29","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1109\/VLHCC.2004.46","volume-title":"Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)","author":"H. St\u00f6rrle","year":"2004","unstructured":"St\u00f6rrle, 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\u2013242. Springer, Heidelberg (2004)"},{"issue":"3","key":"5_CR30","first-page":"279","volume":"11","author":"H. St\u00f6rrle","year":"2004","unstructured":"St\u00f6rrle, H.: Structured Nodes in UML 2.0 Activities. Nordic Journal of Computing\u00a011(3), 279\u2013302 (2004)","journal-title":"Nordic Journal of Computing"},{"key":"5_CR31","unstructured":"St\u00f6rrle, 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\u2013128. Gesellschaft f\u00fcr Informatik (2005) ISBN 3-88579-393-8"}],"container-title":["Lecture Notes in Computer Science","Software Product Lines: Going Beyond"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15579-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:48:44Z","timestamp":1558288124000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15579-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155789","9783642155796"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15579-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}