Verification of change in a fragmented event-based process coordination environment

IEEE Transactions on Services Computing

Volumn 7, Issue 3, 2014, Pages 501-514

  Hens, Pieter ^a   Snoeck, Monique ^a   De Backer, Manu ^b   Poels, Geert ^c  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b UNIVERSITY OF ANTWERP   (Belgium)

^c GHENT UNIVERSITY   (Belgium)

Author keywords

change management; distributed computing; model checking; Process enactment execution; process evolution

Indexed keywords

MODEL CHECKING;

CHANGE MANAGEMENT; EVENT-BASED; PROCESS COORDINATION; PROCESS ENACTMENT; PROCESS EVOLUTION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84895058130     PISSN: 19391374     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSC.2013.43     Document Type: Article

References (34)

1. M. Alberti, D. Daolio, P. Torroni, M. Gavanelli, E. Lamma, and P. Mello, ''Specification and Verification of Agent Interaction Protocols in a Logic-Based System,'' in Proc. ACM Appl. Comput., 2004, pp. 72-78
2. T. Babiak, F. Blahoudek, M. Kr?et?nky, and J. Strejc?ek, ''Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment,'' in Proc. 11th Int. Symp. Autom. Technol. Verification Anal., 2013, pp. 24-39
3. J. Bae, H. Bae, S.H. Kang, and Y. Kim, ''Automatic Control of Workflow Processes Using ECA Rules,'' IEEE Trans. Knowl. Data Eng., vol. 16, no. 8, pp. 1010-1023, Aug. 2004
4. T. Bauer and P. Dadam, ''Efficient Distributed Workflow Management Based on Variable Server Assignments,'' in Advanced Information Systems Engineering. New York, NY, USA: Springer-Verlag, 2000, pp. 94-109
5. S. Ceri, P. Grefen, and G. Sanchez, ''Wide-A Distributed Architecture for Workflow Management,'' in Proc. 7th Int. Workshop Res. Issues Data Eng., 1997, pp. 76-79
6. G.B. Chafle, S. Chandra, V. Mann, and M.G. Nanda, ''Decentralized Orchestration of Composite Web Services,'' in Proc. 13th Int. WWW Conf., 2004, pp. 134-143
7. M. Dumas, W.M.P. van Der Aalst, and A. Ter Hofstede, Process-Aware Information Systems. Hoboken, NJ, USA: Wiley, 2005
8. U. Endriss, N. Maudet, F. Sadri, and F. Toni, ''Protocol Conformance for Logic-Based Agents,'' in Proc. Int. Joint Conf. Artif. Intell., 2003, vol. 18, pp. 679-684
9. W. Fdhila, S. Rinderle-Ma, A. Baouab, O. Perrin, and C. Godart, ''On Evolving Partitioned Web Service Orchestrations,'' in Proc. 5th IEEE Int. Conf. SOCA, 2012, pp. 1-6
10. W. Fdhila, S. Rinderle-Ma, and M. Reichert, ''Change Propagation in Collaborative Processes Scenarios,'' in Proc. Int. Conf. Collab. Comput., Netw., Appl. Worksharing, 2012, pp. 452-461
11. W. Fdhila, U. Yildiz, and C. Godart, ''A Flexible Approach for Automatic Process Decentralization Using Dependency Tables,'' in Proc. IEEE Int. Conf. Web Serv., 2009, pp. 847-855
12. T. Fjellheim, S. Milliner, M. Dumas, and J. Vayssiere, ''A Process-Based Methodology for Designing Event-Based Mobile Composite Applications,'' Data Knowl. Eng., vol. 61, no. 1, pp. 6-22, Apr. 2007
13. H. Foster, S. Uchitel, J. Magee, and J. Kramer, ''Model-Based Verification of Web Service Compositions,'' in Proc. 18th IEEE Int. Conf. Autom. Softw. Eng., 2003, pp. 152-161
14. A. Gaiser, J. Kr?et?nsky, and J. Esparza, ''Rabinizer: Small Deterministic Automata for LTL (F, G),'' in Automated Technology for Verification and Analysis. New York, NY, USA: Springer-Verlag, 2012, pp. 72-76
15. S. Ganesan, Y. Yoon, and H.A. Jacobsen, ''NIN? OS Take Five: The Management Infrastructure for Distributed Event-Driven Workflows,'' in Proc. 5th ACM Int. Conf. Distrib. Event-Based Syst., 2011, pp. 195-206
16. P. Gastin and D. Oddoux, ''Fast LTL to Bü chi Automata Translation,'' in Proc. Comput. Aided Verification, 2001, pp. 53-65
17. P. Hens, M. Snoeck, M. De Backer, and G. Poels, ''Process Fragmentation, Distribution and Execution Using an Event-Based Interaction Scheme,'' J. Syst. Softw., vol. 89, pp. 170-192, Mar. 2014
18. R. Khalaf, O. Kopp, and F. Leymann, ''Maintaining Data Dependencies Across BPEL Process Fragments,'' Int. J. Coop. Inf. Syst., vol. 17, no. 3, pp. 259-282, Sept. 2008
19. G. Li, V.Muthusamy, andH.A. Jacobsen, ''ADistributed Service-Oriented Architecture for Business Process Execution,'' ACM Trans. Web, vol. 4, no. 1, pp. 2:1-2:33, Jan. 2010
20. A. Martens, ''On Compatibility of Web Services,'' Petri Net Newslett., vol. 65, pp. 12-20, Oct. 2003
21. G. Mühl, L. Fiege, and P. Pietzuch, Distributed Event-Based Systems. New York, NY, USA: Springer-Verlag, 2006
22. D.L. Nazareth, ''Investigating the Applicability of Petri Nets for Rule-Based System Verification,'' IEEE Trans. Knowl. Data Eng., vol. 5, no. 3, pp. 402-415, June 1993
23. M. Pesic, H. Schonenberg, and W.M.P. van der Aalst, ''DECLARE: Full Support for Loosely-Structured Processes,'' in Proc. 11th IEEE Int. EDOC Conf., 2007, pp. 287-298
24. A. Pnueli, ''The Temporal Semantics of Concurrent Programs,'' Theoretical Comput. Sci., vol. 13, no. 1, pp. 45-60, 1981
25. M.O. Rabin and D. Scott, ''Finite Automata and Their Decision Problems,'' IBM J. Res. Develop., vol. 3, no. 2, pp. 114-125, Apr. 1959
26. M. Reichert and T. Bauer, ''Supporting Ad-Hoc Changes in Distributed Workflow Management Systems,'' in Proc. OTM Confederated Int. Conf. Move Meaningful Internet Syst., 2007, pp. 150-168
27. S. Rinderle, M. Reichert, and P. Dadam, ''Correctness Criteria for Dynamic Changes in Workflow Systems: A Survey,'' Data Knowl. Eng., vol. 50, no. 1, pp. 9-34, July 2004
28. S. Rinderle, A. Wombacher, and M. Reichert, ''On the Controlled Evolution of Process Choreographies,'' in Proc. 22nd ICDE, 2006, pp. 124-124
29. M. Suwa, A.C. Scott, and E.H. Shortliffe, ''An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System,'' Ai Mag., vol. 3, no. 4, pp. 16-21, Fall 1982
30. A. Valmari, ''The State Explosion Problem,'' in Proc. Lecture Notes Comput. Sci., 1998, pp. 429-437
31. W.M.P. van der Aalst, ''Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques,'' in Proc. Business Process Manage., 2000, pp. 19-128
32. W.M.P. van der Aalst and T. Basten, ''Inheritance of Workflows: An Approach to Tackling Problems Related to Change,'' Theoretical Comput. Sci., vol. 270, no. 1/2, pp. 125-203, Jan. 2002
33. W.M.P. van der Aalst, A.H.M. Ter Hofstede, B. Kiepuszewski, and A.P. Barros, ''Workflow Patterns,'' Distrib. Parallel Databases, vol. 14, no. 5, pp. 5-51, July 2003
34. X. Ye, J. Zhou, and X. Song, ''On Reachability Graphs of Petri Nets,'' Comput. Elect. Eng., vol. 29, no. 2, pp. 263-272, Mar. 2003.