Correcting deadlocking service choreographies using a simulation-based graph edit distance

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5240 LNCS, Issue , 2008, Pages 132-147

  Lohmann, Niels ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

BPEL; Choreographies; Correction of services; Graph correction; Operating guidelines; Service automata; Verification of services

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT; GRAPHIC METHODS;

BPEL; CHOREOGRAPHIES; CORRECTION OF SERVICES; GRAPH CORRECTION; OPERATING GUIDELINES; SERVICE AUTOMATA; VERIFICATION OF SERVICES;

DEFECTS;

EID: 57049167038     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85758-7_12     Document Type: Conference Paper

References (37)

1. Papazoglou, M.P.: Agent-oriented technology in support of e-business. Commun. ACM 44(4), 71-77 (2001)
2. Dijkman, R., Dumas, M.: Service-oriented design: A multi-viewpoint approach. IJCIS 13(4), 337-368 (2004)
3. Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for modeling choreographies. In: ICWS 2007, pp. 296-303, IEEE, Los Alamitos (2007)
4. Alves, A., et al.: Web Services Business Process Execution Language Version 2.0, April 11, 2007. OASIS Standard, OASIS (2007)
5. Lohmann, N., Kopp, O., Leymann, F., Reisig, W.: Analyzing BPEL4Chor: Verification and participant synthesis. In: WS-FM 2007. LNCS, vol. 4937, pp. 46-60. Springer, Heidelberg (2008)
6. Lohmann, N., Massuthe, P., Staid, C., Weinberg, D.: Analyzing interacting BPEL processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 17-32. Springer, Heidelberg (2006)
7. OMG: Business Process Modeling Notation (BPMN) Specification. Final Adopted Specification, Object Management Group (2006), http://www.bpmn.org
8. Groce, A., Chaki, S., Kroening, D., Strichman, O.: Error explanation with distance metrics. STTT 8(3), 229-247 (2006)
9. van der Aalst, W.M.P.: The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers 8(1), 21-66 (1998)
10. Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: WSFM 2007. LNCS, vol. 4937, pp. 77-91. Springer, Heidelberg (2008)
11. Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 321-341. Springer, Heidelberg (2007)
12. Badouel, E., Darondeau, P.: Theory of regions. in: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 529-586. Springer, Heidelberg (1998)
13. Schmidt, K.: Controllability of open workflow nets. in: EMISA 2005. LNI, vol. P-75, pp. 236-249, GI (2005)
14. Sanfeliu, A., Fu, K.S.: A distance measure between attributed relational graphs for pattern recognition. IEEE Trans. on SMC 13(3), 353-362 (1983)
15. Levenshtein, V.I.: Binary codes capable of correcting deletions, insertions, and reversals. Soviet Physics Dokl. 10(8), 707-710 (1966)
16. Wagner, R.A., Fischer, M.J.: The string-to-string correction problem. J. ACM 21(1), 168-173 (1974)
17. Tsai, W., Fu, K.: Error-correcting isomorphisms of attributed relational graphs for pattern analysis. IEEE Trans. on SMC 9(12), 757-768 (1979)
18. Sokolsky, O., Kannan, S., Lee, L: Simulation-based graph similarity. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 426-440. Springer, Heidelberg (2006)
19. Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and merging of statecharts specifications. In: ICSE, pp. 54-64. IEEE Computer Society, Los Alamitos (2007)
20. Namjoshi, K.S.: A simple characterization of stuttering bisimulation. In: Ramesh, S., Sivakumar, G. (eds.) FST TCS 1997. LNCS, vol. 1346, pp. 284-296. Springer, Heidelberg (1997)
21. Bellman, R.: Dynamic Programming. Princeton University Press, Princeton (1957)
22. Corrales, J.C., Grigori, D., Bouzeghoub, M.: BPEL processes matchmaking for service discovery. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 237-254. Springer, Heidelberg (2006)
23. Wu, J., Wu, Z.: Similarity-based Web service matchmaking. In: IEEE SCC, pp. 287-294. IEEE Computer Society, Los Alamitos (2005)
24. Bianchini, D., Antonellis, V.D., Melchiori, M.: Evaluating similarity and difference in service matchmaking. In: EMOI-INTEROP. CEUR Workshop Proceedings, CEUR-WS.org, vol. 200 (2006)
25. Günay, A., Yolum, P.: Structural and semantic similarity metrics for Web service matchmaking. In: Psaila, G., Wagner, R. (eds.) EC-Web 2007. LNCS, vol. 4655, pp. 129-138. Springer, Heidelberg (2007)
26. Dijkman, R.M.: A classification of differences between similar BusinessProcesses. In: EDOC., pp. 37-50. IEEE Computer Society, Los Alamitos (2007)
27. Dijkman, R.: Diagnosing differences between business process models. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, pp. 132-147. Springer, Heidelberg (2008)
28. Weber, B., Rinderle, S., Reichert, M.: Change patterns and change support features in process-aware information systems. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 574-588. Springer, Heidelberg (2007)
29. Zhao, X., Liu, C.: Version management in the business process change context. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 198-213. Springer, Heidelberg (2007)
30. Krister, J.M., Gerth, C., Förster, A., Engels, G.: Detecting and resolving process model differences in the absence of a change log. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 244-260. Springer, Heidelberg (2008)
31. Brogi, A., Popescu, R.: Automated generation of BPEL adapters. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 27-39. Springer, Heidelberg (2006)
32. Dumas, M., Spork, M., Wang, K.: Adapt or perish: Algebra and visual notation for service interface adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 65-80. Springer, Heidelberg (2006)
33. Nezhad, H.R.M., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semiautomated adaptation of service interactions. In: WWW 2007, pp. 993-1002. ACM, New York (2007)
34. Lohmann, N., Kleine, J.: Fully-automatic translation of open workflow net models into simple abstract BPEL processes. In: Modellierung 2008. LNI, vol. P-127, pp. 57-72, GI (2008)
35. OMG: Unified Modeling Language (UML), Version 2.1.2. Technical report, Object Management Group (2007), http://www.uml.org
36. Hart, P.E., Nilsson, N.J., Raphael, B.: A formal basis for the heuristic determination of minimum cost paths in graphs. IEEE Trans. Syst. Sci. and Cybernetics SSC-4(2), 100-107 (1968)
37. Schrijver, A.: Theory of Linear and Integer Programming. John Wiley & sons, Chichester (1998)