A survey of formal verification for business process modeling

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

Volumn 5102 LNCS, Issue PART 2, 2008, Pages 514-522

  Morimoto, Shoichi ^a  

^a ADVANCED INSTITUTE OF INDUSTRIAL TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; ENTERPRISE RESOURCE MANAGEMENT; FORMAL METHODS; INFORMATION SERVICES; INFORMATION THEORY; MANAGEMENT; PROCESS ENGINEERING; PRODUCTION ENGINEERING; SURVEYS;

BUSINESS PROCESS MANAGEMENT (BPM); BUSINESS PROCESS MODELING; BUSINESS PROCESS RE-ENGINEERING (BPR); CHANGING BUSINESS ENVIRONMENT; COMPUTATIONAL SCIENCES; FORMAL VERIFICATIONS; HEIDELBERG (CO); INTERNATIONAL CONFERENCES; SERVICE ORIENTED ARCHITECTURE (SOA);

REENGINEERING;

EID: 47749101800     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69387-1_58     Document Type: Conference Paper

References (53)

1. Bergstra, J.A., Klop, J.W.: Algebra of Communicating Processes with Abstraction. In: Theor. Comput. Sci., vol. 37, pp. 77-121. Elsevier, Amsterdam (1985)
2. Bolognesi, T., Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks 14, 25-59 (1987)
3. Bordeaux, L., Salaün, G., Berardi, D., Mecella, M.: When are Two Web Services Compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol. 3324, pp. 15-28. Springer, Heidelberg (2005)
4. Breese, J.S.: Construction of Belief and Decision Networks. Computational Intelligence 8(4), 624-647 (1992)
5. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)
6. Cleaveland, R., Li, T., Sims, S.: The Concurrency Workbench of the New Century (2000), http://www.cs.sunysb,edu/~cwb
7. Cussens, J.: Parameter Estimation in Stochastic Logic Programs. Machine Learning 44(3), 245-271 (2001)
8. Diaz, G., Pardo, J.J., Cambronero, M.-E., Valero, V., Cuartero, F.: Automatic Translation of WS-CDL Choreographies to Timed Automata. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 230-242. Springer, Heidelberg (2005)
9. Dijkman, R.M., Dumas, M., Ouyang, C.: Formal Semantics and Analysis of BPMN Process Models using Petri Nets, Queensland University of Technology (2007), http://eprints.qut.edu.au/archive/00007116/
10. Dong, J.S., Liu, Y., Sun, J., Zhang, X.: Verification of Computation Orchestration via Timed Automata. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 226-245. Springer, Heidelberg (2006)
11. Eisner, J., Goldlust, E., Smith, N.A.: Compiling Comp Ling: Weighted Dynamic Programming and the Dyna Language, Human Language Technology Conference and Conference on Empirical Methods in Natural Language Processing. In: Proc. of the Conference (HLT/EMNLP 2005). The Association for Computational Linguistics, pp. 281-290 (2005)
12. Ellis, C.: Team Automata for Groupware Systems. In: Proc. of the international ACM SIGGROUP conference on Supporting group work (GROUP 1997), pp. 415-424. ACM Press, New York (1997)
13. Fernandez, J.-C., Garavel, H., Kerbrat, A., Mounier, L., Mateescu, R., Sighireanu, M.: CADP - A Protocol Validation and Verification Toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 437-440. Springer, Heidelberg (1996)
14. Ferrara, A.: Web Services: A Process Algebra Approach. In: Proc. of the 2nd International Conference on Service-Oriented Computing (ICSOC 2004), pp. 242-251. ACM Press, New York (2004)
15. Friedman, N., Getoor, L., Koller, D., Pfeffer, A.: Learning Probabilistic Relational Models. In: Proc. of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), pp. 1300-1309. Morgan Kaufmann, San Francisco (1999)
16. Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proc. of the 13th International Conference on the World Wide Web (WWW 2004), pp. 621-630. ACM Press, New York (2004)
17. Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Proc. of the 14th Australasian Database Conference (ADC 2003), Conferences in Research and Practice in Information Technology, vol. 17, pp. 191-200. Australian Computer Society (2003)
18. Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220-235. Springer, Heidelberg (2005)
19. Hoare., C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
20. Holzmann, G.J.: The SPIN Model Checker -Primer and Reference Manual. Addison-Wesley, Reading (2003)
21. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley, Reading (2006)
22. ISO/IEC 19501 Standard: Information Technology - Open Distributed Processing - Unified Modeling Language (UML) Version 1.4.2 (2005)
23. ITP Commerce, Process Modeler for Microsoft Visio™, http://www.itp-commerce.com/
24. Jaeger, M.: Relational Bayesian Networks. In: Proc. of the 13th Conference on Uncertainty in Artificial Intelligence (UAI 1997), pp. 266-273. Morgan Kaufmann, San Francisco (1997)
25. Jensen, F.V.: Bayesian Networks and Decision Graphs. Springer, Heidelberg (2001)
26. Kersting, K., Raedt, L.D.: Bayesian Logic Programs. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol. 1866, Springer, Heidelberg (2000)
27. Koller, D., Pfeffer, A.: Learning Probabilities for Noisy First-Order Rules. In: Proc. of the 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), pp. 1316-1323. Morgan Kaufmann, San Francisco (1997)
28. Latella, D., Majzik, I., Massink, M.: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams using the SPIN Model Checker. Formal Asp. Comput. 11(6), 637-664 (1999)
29. Lilius, J., Paltor, I.: vUML: A Tool for Verifying UML Models. In: Proc. of the 14th IEEE International Conference on Automated Software Engineering (ASE 1999), pp. 255-258. IEEE Computer Society, Los Alamitos (1999)
30. Lynch, N.A., Tuttle, M.R.: An Introduction to Input/Output Automata. CWI Quarterly 2(3), 219-246 (1989)
31. Mikk, E., Lakhnech, Y., Siegel, M., Holzmann, G.J.: Implementing Statecharts in Promela/SPIN. In: Proc. of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT 1998), pp. 90-101. IEEE Computer Society, Los Alamitos (1998)
32. Milch, B., Marthi, B., Russell, S.J., Sontag, D., Ong, D.L., Kolobov, A.: BLOG: Probabilistic Models with Unknown Objects. In: Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 1352-1359. Professional Book Center (2005)
33. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
34. Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)
35. Misra, J., Cook, W.R.: Ore - An Orchestration Language, http://www.cs.utexas.edu/~wcook/projects/orc/
36. Narayanan, S., Mcllraith, S.A.: Simulation, Verification and Automated Composition of Web Services. In: Proc. of the 11th International World Wide Web Conference (WWW 2002), pp. 77-88. ACM Press, New York (2002)
37. Ngo, L., Haddawy, P.: Answering Queries from Context-Sensitive Probabilistic Knowledge Bases. Theor. Comput. Sci 171(1-2), 147-177 (1997)
38. Object Management Group: Business Process Modeling Notation Specification, Final Adopted Specification dtc/06-02-01 (2006)
39. Ohsawa, Y.: Chance Discoveries for Making Decisions in Complex Real World. New Generation Computing 20(2), 143-163 (2002)
40. Organization for the Advancement of Structured Information Standards: Web Services Business Process Execution Language Version 2.0 (2007)
41. Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: WofBPEL: A Tool for Automated Analysis of BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 484-489. Springer, Heidelberg (2005)
42. Petri, CA.: Kommunikation mit Automaten. PhD thesis, Rheinisch- Westfälisches Institut für Instrumentelle Mathematik an der Universität Bonn (1962)
43. Poole, D.: The Independent Choice Logic for Modelling Multiple Agents under Uncertainty. Artif. Intell. 94(1-2), 7-56 (1997)
44. Richardson, M., Domingos, P.: Markov Logic Networks. Machine Learning 62(1-2), 107-136 (2006)
45. Rosario, S., Benveniste, A., Haar, S., Jard, C.: Net System Semantics of Web Services Orchestrations Modeled in Ore, Research Report IRISA, No. 1780, Istitut de Rechercheen Informatique et Systèmes Aléatoires (2006)
46. Salaün, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. In: Proc. of the International Conference on Web Services (ICWS 2004), pp. 43-50. IEEE Computer Society, Los Alamitos (2004)
47. Schäfer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. Electr. Notes Theor. Comput. Sci. 55(3), 357-369 (2001)
48. Simon, H.A.: The New Science of Management Decision. Prentice-Hall, Englewood Cliffs (1977)
49. UPPAAL: http://www.uppaal.com
50. Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of Web Services Composition Languages: The Case of BPEL4WS. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 200-215. Springer, Heidelberg (2003)
51. World Wide Web Consortium: OWL-S: Semantic Markup for Web Services, http://www.w3.org/Submission/OWL-S
52. Yi, X., Kochut, K.: A CP-nets-based Design and Verification Framework for Web Services Composition. In: Proc. of the International Conference on Web Services (ICWS 2004), pp. 756-760. IEEE Computer Society, Los Alamitos (2004)
53. Zhang, J., Chung, J.-Y., Chang, C.K., Kim, S.: WS-Net: A Petri-net Based Specification Model for Web Services. In: Proc. of the International Conference on Web Services (ICWS 2004), pp. 420-427. IEEE Computer Society, Los Alamitos (2004)