Data-aware interaction in distributed and collaborative workflows: Modeling, semantics, correctness

CollaborateCom 2012 - Proceedings of the 8th International Conference on Collaborative Computing: Networking, Applications and Worksharing

Volumn , Issue , 2012, Pages 223-232

  Knuplesch, David ^a   Pryss, Rudiger ^a   Reichert, Manfred ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDEDNESS; BUSINESS PARTNERS; COLLABORATIVE WORKFLOWS; DATA SUPPORT; DISTRIBUTED EXECUTION; FORMAL CORRECTNESS; INTERACTION MODEL; INTERACTION MODELING; INTERACTION NETS; IT SUPPORTS; MESSAGE EXCHANGE; PARTNER INTERACTION; REALIZABILITY; ROUTING DECISIONS; TOP-DOWN APPROACH; WORKFLOW MODELS; WORKFLOW NETS;

ELECTRONIC DATA INTERCHANGE; PETRI NETS;

SEMANTICS;

EID: 84874449303     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4108/icst.collaboratecom.2012.250443     Document Type: Conference Paper

References (28)

1. M. Reichert and B. Weber, Enabling Flexibility i n Process-Aware Information Systems. Springer, 2012.
2. M. Reichert, T. Bauer, and P. Dadam, "Enterprise-wide and crossenterprise workflow management: Challenges and research issues for adaptive workflows," in Proc. Enterprise-wide and cross-enterprise workflow management, 1999, pp. 55-64.
3. OMGIBPMI, "Bpmn version 2.0," 2011 .
4. G. Decker and et aI. , "BpeI4chor: Extending bpel for modeling choreographies," ICWS 2007, pp. 296-303, 2007.
5. W. M. P. van der Aalst and et aI. , "Multiparty contracts: Agreeing and implementing interorganizational processes," The Computer Journal, vol. 53, no. 1, pp. 90-1 06, 2010.
6. G. Decker and A. P. Barros, "Interaction modeling using bpmn," in Business Process Management Workshops, 2007 , pp. 208-2 1 9.
7. A. Barros, M. Dumas, and A. Ter Hofstede, "Service interaction patterns," Business Process Management, pp. 302-3 1 8 , 2005.
8. W3C, "Web services choreography description language v 1.0," 2005.
9. G. Decker and M. Weske, "Interaction-centric modeling of process choreographies," Information Systems, vol. 36, no. 2, pp. 292-3 12, 2011
10. N. Lohmann and K. Wolf, "Realizability is controllability," Web Services and Formal Methods, pp. 1 1 0-1 27 , 2010
11. P. Poizat and G. Salatin, "Checking the realizability of BPMN 2.0 choreographies," in Proc. SAC ' II, 2011 .
12. N. Trcka, W. M. P. van der AaIst, and N. Sidorova, "Data-flow antipatterns: Discovering data-flow errors in workflows," Proc. CA iSE'09, pp. 425-439 , 2009.
13. D. Yellin and R. Strom, "Protocol specifications and component adaptors," ACM TOPLAS, vol. 19, no. 2, pp. 292-333, 1997.
14. S. Rinderle, A. Wombacher, and M. Reichert, "Evolution of process choreographies in DYCHOR," in Proc. CoopIS '06, 2006, pp. 273-290
15. D. Knuplesch and M. Reichert, "A formal framework for data-aware process interaction models," Ulm University, Tech. Rep. 2012-06, 2012
16. W. M. P. van der Aalst, "Verification of workflow nets," Application and Theory of Petri Nets, pp. 407-426, 1997.
17. M. Reichert and P. Dadam, "ADEPT flex-supporting dynamic changes of work flows without losing control;' Journal of Intelligent Information Systems, vol. 1 0 , no. 2, pp. 93-129, 1998.
18. O. Kopp and F. Leymann, "Do we need internal behavior in choreography models," in Proc. ZEUS '09, 2009, pp. 2-3.
19. H. Foster, S. Uchitel, 1. Magee, and 1. Kramer, "An integrated workbench for model-based engineering of service compositions," Services Computing Transactions on, vol. 3, no. 2, pp. 1 3 1-1 44, 2010.
20. S. Rinderle, A. Wombacher, and M. Reichert, "On the controlled evolution of process choreographies," in Proc. ICDE '06, 2006, p. 1 24.
21. M. Reichert, T. Bauer, and P. Dadam, "Flexibility for distributed workflows," in Handbook of Research on Complex Dynamic Process Management. BSR, 1G1 Global, 2009 , pp. 1 37-1 7 1 .
22. M . Reichert and T. Bauer, "Supporting ad-hoc changes i n distributed workflow management systems." in Proc. CoopIS '07, 2007, pp. 1 5 0-1 68.
23. Y. KUnzle and M. Reichert, "PHILharmonicFIows: towards a framework for obj ect-aware process management," Software Maintenance and Evolution: Research and Practice, vol. 23, no. 4, pp. 205-244, 2011 .
24. D. MUller, M. Reichert, and 1. Herbst, "Data-driven modeling and coordination of large process structures," in Proc. CoopIS '07, 2007, pp. 1 3 1-1 49.
25. G. Decker, "Realizability of interaction models," in Proc. ZEUS '09, 2009, pp. 55-60.
26. X. Fu, T. Bultan, and 1. Su, "Conversation protocols: A formalism for specification and verification of reactive electronic services," in Proc. CIAA '04, 2004, pp. 1 88-200.
27. -, "Realizability of conversation protocols with message contents," Web Services Research, vol. 2, no. 4, pp. 68-93, 2005.
28. D. Knuplesch, L. Ly, S. Rinderle-Ma, H. Pfeifer, and P. Dadam, "On enabling data-aware compliance checking of business process models," in Proc. ER '10, 2010, pp. 332-346.