Efficient assessment of data flow errors in structured business processes;Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen

CEUR Workshop Proceedings

Volumn 705, Issue , 2011, Pages 73-80

  Heinze, Thomas S ^a   Amme, Wolfram ^a   Moser, Simon ^b  

^a FRIEDRICH SCHILLER UNIVERSITY JENA   (Germany)

^b IBM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84873579643     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. Callahan, David ; Subhlok, Jaspal: Static Analysis of Low-level Synchronization. In: ACM SIGPLAN Notices 24 (1989), Nr. 1, S. 100-111
2. Lee, Jaejin ; Midkiff, Samuel P. ; Padua, David A.: Concurrent Static Single Assignment Form and Constant Propagation for Explicitly Parallel Programs. In: Languages and Compilers for Parallel Computing, 10th International Workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997, Proceedings, Springer, 1998 (LNCS 1366), S. 114-130
3. Moser, Simon ; Martens, Axel ; Görlach, Katharina ; Amme, Wolfram ; Godlinski, Artur: Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. In: 2007 IEEE International Conference on Services Computing (SCC 2007), 9-13 July 2007, Salt Lake City, Utah, USA, IEEE Computer Society Press, 2007, S. 98-105
4. Sadiq, Wasim ; Orlowska, Maria E.: Analyzing Process Models Using Graph Reduction Techniques. In: Information Systems 25 (2000), Nr. 2, S. 117-134
5. Trčka, Nikola ; van der Aalst, Wil M. ; Sidorova, Natalia: Data-Flow Antipatterns: Discovering Data-Flow Errors in Workflows. In: Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009, Proceedings, Springer, 2009 (LNCS 5565), S. 425-439