Declarative specification and verification of service choreographiess

ACM Transactions on the Web

Volumn 4, Issue 1, 2010, Pages

  Montali, Marco ^b   Pesic, Maja ^a   Van Der Aalst, Wil M P ^a   Chesani, Federico ^b   Mello, Paola ^b   Storari, Sergio ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Abductive logic programming; Compliance verification; Conformance checking; Declarative modeling; Interoperability; Linear temporal logic; Monitoring; Reasoning; Service choreographies

Indexed keywords

ABDUCTIVE LOGIC PROGRAMMING; BUSINESS COLLABORATION; COMPLIANCE VERIFICATION; CONFORMANCE CHECKING; DECLARATIVE LANGUAGES; KEY FEATURE; LINEAR TEMPORAL LOGIC; LOGIC-BASED LANGUAGES; LOGIC-BASED SEMANTICS; ORGANIZATIONAL BOUNDARIES; OVER-CONSTRAINED; PROCEDURAL ASPECTS; SERVICE INTERACTION; SERVICE ORIENTED COMPUTING; SOFTWARE VENDORS; SPECIFICATION AND VERIFICATION; VERIFICATION TASK;

COMPUTER SOFTWARE SELECTION AND EVALUATION; INTEROPERABILITY; LINGUISTICS; LOGIC PROGRAMMING; QUERY LANGUAGES; SEMANTIC WEB; SEMANTICS;

TEMPORAL LOGIC;

EID: 76249104125     PISSN: 15591131     EISSN: 1559114X     Source Type: Journal    
DOI: 10.1145/1658373.1658376     Document Type: Article

References (107)

1. AGRAWAL, R., GUNOPULOS, D., AND LEYMANN, F. 1998. Mining process models from workflow logs. In Proceedings of the 6th International Conference on Extending Database Technology. 469-483.
2. ALBERTI, M.,CATTAFI, M.,CHESANI, F.,GAVANELLI, M., LAMMA, E.,MELLO, P.,MONTALI, M., AND TORRONI, P. 2009. Integrating abductive logic programming and description logics in a dynamic contracting architecture. In Proceedings of the IEEE 7th International Conference onWeb Services (ICWS'09).
3. ALBERTI, M., CHESANI, F., GAVANELLI, M., AND LAMMA, E. 2005. The chr-based implementation of a system for generation and confirmation of hypotheses. In Proceedings of the 19th Workshop on (Constraint) Logic Programming. A. Wolf, T. W. Frühwirth, and M. Meister, Eds. Ulmer Informatik-Berichte, vol.2005-01. Universität Ulm, Germany, 111-122.
4. ALBERTI, M., CHESANI, F., GAVANELLI, M., LAMMA, E., MELLO, P., MONTALI, M., AND TORRONI, P. 2007. Web Service contracting: Specification and reasoning with SCIFF. In Proceedings of the 4th European SemanticWeb Conference (ESWC'07), E. Franconi, M. Kifer, andW. May, Eds. Lecture Notes in Artificial Intelligence, vol.4519. Springer-Verlag, 68-83.
5. ALBERTI, M., CHESANI, F.,GAVANELLI, M., LAMMA, E.,MELLO, P., AND TORRONI, P. 2005. Security protocols verification in abductive logic programming: A case study. In Proceedings of the International Workshop of Engineering Societies in the Agents World (ESAW'05). Lecture Notes in omputer Science, vol.3963. Springer, 106-124.
6. ALBERTI, M., CHESANI, F., GAVANELLI, M., LAMMA, E., MELLO, P., AND TORRONI, P. 2006. Compliance verification of agent interaction: A logic-based software tool. Appl. Artif. Intel. 20, 2-4, 133-157.
7. ALBERTI, M., CHESANI, F., GAVANELLI, M., LAMMA, E., MELLO, P., AND TORRONI, P. 2008. Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9, 4, 1-43.
8. ALBERTI, M., GAVANELLI, M., LAMMA, E., CHESANI, F.,MELLO, P., ANDMONTALI,M. 2006. An abductive framework for a-priori verification of Web services. In Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. A. Bossi and M. J. Maher, Eds. ACM, 39-50.
9. ANDREWS, T., CURBERA, F., DHOLAKIA, H., GOLAND, Y., KLEIN, J., LEYMANN, F., LIU, K., ROLLER, D., SMITH, D., THATTE, S., TRICKOVIC, I., ANDWEERAWARANA, S. 2003. Business process execution language for Web services, version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation.
10. BALDONI, M., BAROGLIO, C., MARTELLI, A., AND PATTI, V. 2006. A priori conformance verification for guaranteeing interoperability in open environments. In Proceedings of the 4th International Conference on Service-Oriented Computing (ICSOC'06). A. Dan andW. Lamersdorf, Eds. Lecture Notes in Computer Science, vol.4294. Springer, 339-351.
11. BALDONI, M., BAROGLIO, C., MARTELLI, A., PATTI, V., AND SCHIFANELLA, C. 2005a. Verifying the conformance of web services to global interaction protocols: A first step. In Proceedings of the International Workshop on Web Services and Formal Methods (WS-FM'05). M. Bravetti, L. Kloul, and G. Zavattaro, Eds. Lecture Notes in Computer Science, vol.3670. Springer, 257-271.
12. BALDONI, M., BAROGLIO, C., MARTELLI, A., PATTI, V., AND SCHIFANELLA, C. 2005b. Verifying the conformance of web services to global interaction protocols: A first step. In Proceedings of the Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop (EPEW'05) and International Workshop on Web Services and Formal Methods (WSFM'05). M. Bravetti, L. Kloul, and G. Zavattaro, Eds.
13. BARESI, L., GHEZZI, C., AND GUINEA, S. 2004. Smart monitors for composed services. In Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC'04). ACM Press, New York, NY. 193-202.
14. BARROS, A., DUMAS, M., AND OAKS, P. 2005. A critical overview of the Web services choreography description language (WS-CDL). BPTrends Newsletter, vol.3.
15. BAUER, B., MÜLLER, J. P., AND ODELL, J. 2001. Agent uml: A formalism for specifying multiagent software systems. In Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering. Springer-Verlag, 91-103.
16. BELWOOD, T., CĹEMENT, L., EHNEBUSKE, D., HATELY, A., HONDO, M., HUSBAND, Y. L., JANUSZEWSKI, K., LEE, S., MCKEE, B., MUNTER, J., AND VON RIEGEN, C. 2000. UDDI Version 3.0. http://uddi.org/pubs/uddi v3.htm.
17. BENATALLAH, B., CASATI, F., AND TOUMANI, F. 2006. Representing, analysing and managing Web service protocols. Data Knowl. Engin. 58, 3, 327-357.
18. BERARDI, D., CALVANESE, D., GIACOMO, G. D., LENZERINI, M., AND MECELLA, M. 2005. Automatic service composition based on behavioral descriptions. Int. J. Coop. Inform. Syst. 14, 4, 333-376.
19. BEYER, D., CHAKRABARTI, A., AND HENZINGER, T. 2005. Web service interfaces. In Proceedings of the 14th International Conference on World Wide Web. 148-159.
20. BORDEAUX, L., SALAÜN, G., BERARDI, D., ANDMECELLA,M. 2004. When are twoWeb services compatible? In Proceedings of the 5th International Workshop on Technologies for E-Services (TES'04). M. Shan, U. Dayal, and M. Hsu, Eds. 15-28.
21. BOUAJJANI, A., LAKHNECH, Y., AND YOVINE, S. 1996. Model-checking for extended timed temporal logics. In Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'96). Springer-Verlag, 306-326.
22. BOX, D., EHNEBUSKE, D., KAKIVAYA, G., LAYMAN, A.,MENDELSOHN, N., NIELSEN, H., THATTE, S., ANDWINER, D. 2000. Simple Object Access Protocol (SOAP) 1.1. http://www.w3.org/TR/soap.
23. BULTAN, T., FU, X., HULL, R., AND SU, J. 2003. Conversation specification: a new approach to design and analysis of e-service composition. In Proceedings of the 12th International Conference on World Wide Web (WWW '03). ACM Press, New York, NY, 403-410.
24. CHESANI, F., LAMMA, E., MELLO, P., MONTALI, M., RIGUZZI, F., AND STORARI, S. 2009. Exploiting inductive logic programming techniques for declarative process mining. Trans. Petri Nets Other Models of Concurrency (ToPNoC).
25. CHESANI, F., MELLO, P., MONTALI, M., RIGUZZI, F., SEBASTIANIS, M., AND STORARI, S. 2008. Checking compliance of execution traces to business rules: an approach based on logic programming. In Proceedings of the 4th Workshop on Business Process Intelligence (BPI'08). M. Castellanos, A. K. A. de Medeiros, J. Mendling, and B. Weber, Eds. Springer Verlag. To appear.
26. CHESANI, F., MONTALI, M., MELLO, P., AND STORARI, S. 2007. Testing careflow process execution conformance by translating a graphical language to computational logic. In Proceedings of the 11th Conference on Artificial Intelligence in Medicine (AIME'07). A. Abu-Hanna, R. Bellazzi, and J. Hunter, Eds. Springer-Verlag.
27. CHOPRA, A. K. AND SINGH, M. P. 2006. Producing compliant interactions: Conformance, coverage, and interoperability. In Proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies (DALT'06). Selected, revised and invited papers. Lecture Notes in Computer Science, vol.4327. Springer, 1-15.
28. CHRISTENSEN, E., CURBERA, F., MEREDITH, G., ANDWEERAWARANA, S. 2001. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl.
29. CHRZASTOWSKI-WACHTEL, P. 2003. A Top-down petri net based approach for dynamic workflow modeling. In Proceedings of the International Conference on Business Process Management (BPM'03), W. van der Aalst, A. ter Hofstede, and M. Weske, Eds. Lecture Notes in Computer Science, vol.2678. 336-353.
30. CLARKE, E., GRUMBERG, O., AND PELED, D. 1999. Model Checking. The MIT Press, Cambridge, MA.
31. COOK, J. AND WOLF, A. 1998. Discovering models of software processes from event-based data. ACM Trans. Softw. Engin. Methodol. 7, 3, 215-249.
32. DE RAEDT, L. AND VAN LAER, W. 1995. Inductive constraint logic. In Proceedings of the 6th Conference on Algorithmic Learning Theory. Lecture Notes in Artificial Intelligence, vol.997. Springer Verlag.
33. DECKER, G., ZAHA, J., AND DUMAS, M. 2006. Execution Semantics for Service Choreographies. In Proceedings of the 3rd Workshop on Web Services and Formal Method (WS-FM'06), M. Bravetti, M. Ńuñez, and G. Zavattaro, Eds. Lecture Notes in Computer Science, vol.4184. Springer-Verlag, 163-177.
34. DEMRI, S., LAROUSSINIE, F., AND SCHNOEBELEN, P. 2006. A Parametric Analysis of the State-Explosion Problem in Model Checking. J. Comput. Syst. Sci. 72, 4, 547-575.
35. DEMRI, S. AND SCHNOEBELEN, P. 1998. The complexity of propositional linear temporal logics in simple cases. In Proceedings of 15th Annual Symposium on Theoretical Aspects of Computer Science (STACS'98). G. Goos, J. Hartmanis, and J. Leeuwen, Eds. Lecture Notes in Computer Science, vol.1373. Springer-Verlag. 61-72.
36. DENECKER, M. AND SCHREYE, D. D. 1998. SLDNFA: An abductive procedure for abductive logic programs. J. Logic Program. 34, 2, 111-167.
37. DESAI, N., CHOPRA, A. K., AND SINGH, M. P. 2006. Business process adaptations via protocols. In Proceedings of the IEEE International Conference on Services Computing (SCC'06). IEEE Computer Society, 103-110.
38. DEUTSCH, A., SUI, L., VIANU, V., AND ZHOU, D. 2006. Verification of communicating data-drivenWeb services. In Proceedings of the 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'06). ACM, New York, NY, 90-99.
39. DUMAS, M., VAN DER AALST, W., AND TER HOFSTEDE, A. 2005. Process-Aware Information Systems: Bridging People and Software through Process Technology. John Wiley & Sons.
40. DUSTDAR, S., GOMBOTZ, R., AND BAINA, K. 2004. Web services interaction mining. Tech. rep. TUV-1841-2004-2016, Information Systems Institute, Vienna University of Technology, Wien, Austria.
41. FLUM, J. AND GROHE, M. 2006. Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series. Springer-Verlag.
42. FORNARA, N. AND COLOMBETTI, M. 2002. Operational specification of a commitment-based agent communication language. In Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems. C. Castelfranchi and W. Lewis Johnson, Eds. 535-542.
43. FOSTER, H., UCHITEL, S., MAGEE, J., AND KRAMER, J. 2003. Model-based verification of Web service composition. In Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE). 152-161.
44. FU, X., BULTAN, T., AND SU, J. 2005. Synchronizability of conversations among web services. IEEE Trans. Softw. Engin. 31, 12, 1042-1055.
45. FUNG, T. H. AND KOWALSKI, R. A. 1997. The IFF proof procedure for abductive logic programming. J. Logic Program. 33, 2, 151-165.
46. GAALOUL, W., BHIRI, S., AND GODART, C. 2004. Discovering workflow transactional behavior from event-based log. In Proceedings of the CoopIS, DOA, and ODBASE: OTM Confederated International Conferences (CoopIS, DOA, and ODBASE'04), R. Meersman, Z. Tari, W. Aalst, C. Bussler, and A. G. et al., Eds.
47. GAALOUL, W. AND GODART, C. 2005. Mining workflow recovery from event based logs. In Business Process Management (BPM'05), W. Aalst, B. Benatallah, F. Casati, and F. Curbera, Eds. Lecture Notes in Computer Science, vol.3649. 169-185.
48. GEORGAKOPOULOS, D., HORNICK, M., AND SHETH, A. 1995. An overview of workflow management: From process modeling to workflow automation infrastructure. Distrib. Paral. Datab. 3, 119-153.
49. GERTH, R., PELED, D., VARDI, M., AND WOLPER, P. 1996. Simple on-the-fly automatic verification of linear temporal logic. In Proceedings of the 15th IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification. Chapman & Hall, Ltd., London, UK, 3-18.
50. GIANNAKOPOULOU, D. AND HAVELUND, K. 2001. Automata-based verification of temporal properties on running programs. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE'01). IEEE Computer Society, 412.
51. GOMBOTZ, R. AND DUSTDAR, S. 2005. On Web Services Mining. In Proceedings of the 1st International Workshop on Business Process Intelligence (BPI'05). M. Castellanos and T. Weijters, Eds. Nancy, France, 58-70.
52. GRECO, G., GUZZO, A., PONTIERI, L., AND SACC̀A, D. 2006. Discovering expressive process models by clustering log traces. IEEE Trans. Knowl. Data Engin. 18, 8, 1010-1027.
53. GREEN, T. R. G. 1989. Cognitive dimensions of notations. People Comput. 5, 443-460.
54. GREEN, T. R. G. AND PETRE, M. 1996. Usability analysis of visual programming environments: A 'cognitive dimensions' framework. J. Visual Lang. Comput. 7, 131-174.
55. HALĹE, S. AND VILLEMAIRE, R. 2009. Runtime monitoring of Web service choreographies using streaming XML. In Procedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09).
56. HERBST, J. 2000. A machine learning approach to workflow management. In Proceedings of the 11th European Conference on Machine Learning. Lecture Notes in Computer Science, vol.1810. 183-194.
57. HOLZMANN, G. 2003. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston, MA.
58. JAFFAR, J. ANDMAHER,M. 1994. Constraint logic programming: a survey. J. Logic Program. 19-20, 503-582.
59. KAKAS, A. C., KOWALSKI, R. A., AND TONI, F. 1993. Abductive logic programming. J. Logic Comput. 2, 6, 719-770.
60. KAKAS, A. C. AND MANCARELLA, P. 1990. On the relation between Truth Maintenance and abduction. In Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence (PRICAI'90). T. Fukumura, Ed. 438-443.
61. KAVANTZAS, N., BURDETT, D., RITZINGER, G., FLETCHER, T., AND LAFON, Y. 2004. Web services choreography description language, Version 1.0. W3C Working Draft 17-12-104
62. KOWALSKI, R. A. AND SERGOT, M. 1986. A logic-based calculus of events. New Gen. Comput. 4, 1, 67-95.
63. LAMMA, E., MELLO, P., MONTALI, M., RIGUZZI, F., AND STORARI, S. 2007. Inducing declarative logicbased models from labeled traces. In Proceedings of the 5th International Conference on Business Process Management (BPM'07). G. Alonso, P. Dadam, and M. Rosemann, Eds. Lecture Notes in Computer Science, vol.4714. Springer, 344-359.
64. LAMMA, E., MELLO, P., RIGUZZI, F., AND STORARI, S. 2007. Applying inductive logic programming to process mining. In Proceedings of the 17th International Conference on Inductive Logic Programming. Springer.
65. LATVALA, T. 2003. Efficient model checking of safety properties. In Proceedings of the 10th SPIN Workshop on Model Checking of Software. Lecture Notes in Computer Science, vol.2648. Springer Verlag, 74-88.
66. LAZOVIK, A., AIELLO, M., AND PAPAZOGLOU,M. 2004. Associating assertions with business processes and monitoring their execution. In Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC'04). ACM Press, New York, NY, 94-104.
67. LLOYD, J. W. 1987. Foundations of Logic Programming, 2nd extended ed.
68. LUDWIG, H., DAN, A., AND KEARNEY, R. 2004. Crona: An architecture and library for creation and monitoring of ws-agreements. In Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC'04). ACM Press, New York, NY, 65-74.
69. MAHBUB, K. AND SPANOUDAKIS, G. 2004. A framework for requirents monitoring of service based systems. In Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC'04). ACM Press, New York, NY, 84-93.
70. MALLYA, A. U., DESAI, N., CHOPRA, A. K., AND SINGH, M. P. 2005. Owl-p: Owl for protocol and processes. In Proceedings of the 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'05). F. Dignum, V. Dignum, S. Koenig, S. Kraus, M. P. Singh, and M. Wooldridge, Eds. ACM, 139-140.
71. MARTENS, A. 2005a. Analyzing Web service based business processes. In Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (FASE'05), M. Cerioli, Ed. Lecture Notes in Computer Science, vol.3442. 19-33.
72. MARTENS, A. 2005b. Consistency between executable and abstract processes. In Proceedings of International IEEE Conference on e-Technology, e-Commerce, and e-Services (EEE'05). IEEE Computer Society Press, 60-67.
73. MASSUTHE, P., REISIG, W., AND SCHMIDT, K. 2005. An operating guideline approach to the SOA. In Proceedings of the 2nd South-East European Workshop on Formal Methods (SEEFM'05).
74. MECELLA, M., PARISI-PRESICCE, F., AND PERNICI, B. 2002. Modeling E-service orchestration through petri nets. In Proceedings of the 3rd International Workshop on Technologies for E-Services. Lecture Notes in Computer Science, vol.2644. 38-47.
75. MILNER, R., PARROW, J., AND WALKER, D. 1992. A calculus of mobile processes. Inform. Computat. 100, 1, 1-40.
76. MONTALI, M., ALBERTI, M., CHESANI, F., GAVANELLI, M., LAMMA, E., MELLO, P., AND TORRONI, P. 2008. Verification from declarative specifications using Logic Programming. In Proceedings of the 24th International Conference on Logic Programming (ICLP). M. G. D. L. Banda and E. Pontelli, Eds. Lecture Notes in Computer Science, vol.5366. Springer Verlag, 440-454.
77. MUGGLETON, S. AND DE RAEDT, L. 1994. Inductive logic programming: Theory and methods. J. Logic Program. 19/20, 629-679.
78. OWL SERVICES COALITION. 2003. OWL-S: Semantic markup for web services.
79. PESIC, M. 2008. Constraint-based workflow management systems: Shifting controls to users. Ph.D. thesis, Beta Research School for Operations Management and Logistics, Eindhoven.
80. PESIC, M., SCHONENBERG, H., AND VAN DER AALST, W. 2007. Declare: Full support for looselystructured processes. In Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC'07). IEEE Computer Society, 287-300.
81. PONNEKANTI, S. AND FOX, A. 2004. Interoperability among independently evolving web services. In Proceedings of the 5th ACM/IFIP/USENIX International Conference on Middleware (Middleware' 04). Springer-Verlag, 331-351.
82. REISIG, W. AND ROZENBERG, G., EDS. 1998. Lectures on Petri Nets I: Basic Models. Vol.1491.
83. ROUACHED, M., PERRIN, O., AND GODART, C. 2006. Towards formal verification of web service composition. In Proceedings of the 4th International Conference on Business Process Management. Lecture Notes in Computer Science, vol.4102. Springer, 257-273.
84. ROZINAT, A. AND VAN DER AALST, W. 2006. Conformance testing: Measuring the fit and appropriateness of event logs and process models. In Proceedings of the Workshop on Business Process Intelligence. C. Bussler et al., Ed. Vol.3812. 163-176.
85. SCHLINGLOFF, B., MARTENS, A., AND SCHMIDT, K. 2005. Modeling and model checking web services. Electronic Notes in Theoretical Computer Science: Issue on Logic and Communication in Multi-Agent Systems 126, 3-26.
86. SHEN, Y.-D., YOU, J.-H., YUAN, L.-Y., SHEN, S. S. P., AND YANG, Q. 2003. A dynamic approach to characterizing termination of general logic programs. ACM Trans. Comput. Logic 4, 4, 417-430.
87. SINGH, M. P. 2000. A social semantics for agent communication languages. In Issues in Agent Communication, F. Dignum and M. Greaves, Eds. Lecture Notes in Computer Science, vol.1916. Springer, 31-45.
88. VAN DERAALST,W. ANDBASTEN, T. 2002. Inheritance of workflows: An approach to tackling problems related to change. Theoretical Computer Science 270, 1-2, 125-203.
89. VAN DER AALST, W., DE BEER, H., AND VAN DONGEN, B. 2005. Process mining and verification of properties: An approach based on temporal logic. In On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, R. Meersman and Z. T. et al., Eds. Vol.3760. 130-147.
90. VAN DER AALST,W., DUMAS, M., OUYANG, C., ROZINAT, A., AND VERBEEK, H. 2008. Conformance checking of service behavior. ACM Trans. Internet Technol. 8, 3.
91. VAN DER AALST,W., DUMAS, M., AND TER HOFSTEDE, A. 2003. Web service composition languages: Old wine in new bottles? In Proceedings of the 29th EUROMICRO Conference: New Waves in System Architecture, G. Chroust and C. Hofer, Eds. IEEE Computer Society, Los Alamitos, 298-305.
92. VAN DER AALST, W., DUMAS, M., TER HOFSTEDE, A., RUSSELL, N., VERBEEK, H. M. W., AND WOHED, P. 2005. Life after BPEL? In Proceedings of the International Workshop on Web Services and Formal Methods (WS-FM'05). M. Bravetti, L. Kloul, and G. Zavattaro, Eds. Lecture Notes in Computer Science, vol.3670. Springer, 35-50.
93. VAN DER AALST, W. AND SONG, M. 2004. Mining social networks: Uncovering interaction patterns in business processes. In Proceedings of the International Conference on Business Process Management (BPM'04), J. Desel, B. Pernici, and M. Weske, Eds. Vol.3080. 244-260.
94. VAN DER AALST, W., VAN DONGEN, B., GÜNTHER, C., MANS, R., DE MEDEIROS, A. A., ROZINAT, A., RUBIN, V., SONG, M., VERBEEK, H., AND WEIJTERS, A. 2007. ProM 4.0: Comprehensive support for real process analysis. In Proceedings of the International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN'07), J. Kleijn and A. Yakovlev, Eds. Lecture Notes in Computer Science, vol.4546. 484-494.
95. VAN DER AALST, W., VAN DONGEN, B., HERBST, J., MARUSTER, L., SCHIMM, G., AND WEIJTERS, A. 2003. Workflow mining: A survey of issues and approaches. Data Knowl. Engin. 47, 2, 237-267.
96. VAN DER AALST, W. AND VAN HEE, K. 2002. Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge, MA.
97. VAN DER AALST, W. AND WEIJTERS, A., EDS. 2004. Process Mining. Special Issue of Computers in Industry, Volume 53, Number 3. Elsevier Science Publishers, Amsterdam.
98. VAN DER AALST, W., WEIJTERS, A., AND MARUSTER, L. 2004. Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Engin. 16, 9, 1128-1142.
99. VAN DER AALST, W. M. P. AND PESIC, M. 2006. Decserflow: Towards a truly declarative service flow language. In Proceedings of the 3rd InternationalWorkshop onWeb Services and Formal Methods, M. Bravetti, M. Ńuñez, and G. Zavattaro, Eds. Lecture Notes in Computer Science, vol.4184. Springer, 1-23.
100. VAN DONGEN, B. AND VAN DER AALST,W. 2005. A meta model for process mining data. In Proceedings of the CAiSE'05 Workshops (EMOI-INTEROP Workshop), J. Casto and E. Teniente, Eds. Vol.2. 309-320.
101. VANDONGEN, B. F. AND VAN DERAALST,W.M. P. 2004. Multi-phase process mining: Building instance graphs. In Proceedings of the 23rd International Conference on Conceptual Modeling. Lecture Notes in Computer Science, vol.3288. Springer, 362-376.
102. VERBEEK, H.,BASTEN, T., AND VAN DERAALST,W. 2001. DiagnosingWorkflow Processes usingWoflan. Comput. J. 44, 4, 246-279.
103. VILAIN, M., KAUTZ, H., AND VAN BEEK, P. 1990. Constraint propagation algorithms for temporal reasoning: A revised Report. In Reading Qualitative Reasoning about Physical Systems. 373-381.
104. WHITE, S. A. 2006. Business process modeling notation specification 1.0. Tech. rep., OMG.
105. YOLUM, P. AND SINGH, M. 2002. Flexible protocol specification and execution: Applying event calculus planning using commitments. In Proceedings of the 1st International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS'02). 527-534.
106. ZAHA, J., BARROS, A., DUMAS, M., AND HOFSTEDE, A. 2006. Let's Dance: A language for service behavior modeling. In Proceedings of the 14th International Conference on Cooperative Information Systems (CoopIS'06), R. Meersman and Z. Tari, Eds. Lecture Notes in Computer Science, vol.4275. Springer-Verlag, 145-162.
107. ZAHA, J., DUMAS, M., HOFSTEDE, A., BARROS, A., AND DEKKER, G. 2006. Service Interaction Modeling: Bridging Global and Local Views. QUT ePrints 4032, Faculty of Information Technology, Queensland University of Technology.