skip to main content
research-article

Declarative specification and verification of service choreographiess

Published:29 January 2010Publication History
Skip Abstract Section

Abstract

Service-oriented computing, an emerging paradigm for architecting and implementing business collaborations within and across organizational boundaries, is currently of interest to both software vendors and scientists. While the technologies for implementing and interconnecting basic services are reaching a good level of maturity, modeling service interaction from a global viewpoint, that is, representing service choreographies, is still an open challenge. The main problem is that, although declarativeness has been identified as a key feature, several proposed approaches specify choreographies by focusing on procedural aspects, leading to over-constrained and over-specified models.

To overcome these limits, we propose to adopt DecSerFlow, a truly declarative language, to model choreographies. Thanks to its declarative nature, DecSerFlow semantics can be given in terms of logic-based languages. In particular, we present how DecSerFlow can be mapped onto Linear Temporal Logic and onto Abductive Logic Programming. We show how the mappings onto both formalisms can be concretely exploited to address the enactment of DecSerFlow models, to enrich its expressiveness and to perform a variety of different verification tasks. We illustrate the advantages of using a declarative language in conjunction with logic-based semantics by applying our approach to a running example.

Skip Supplemental Material Section

Supplemental Material

References

  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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 on Web Services (ICWS'09). Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  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 Semantic Web Conference (ESWC'07), E. Franconi, M. Kifer, and W. May, Eds. Lecture Notes in Artificial Intelligence, vol. 4519. Springer-Verlag, 68--83. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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 Computer Science, vol. 3963. Springer, 106--124. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle ScholarCross RefCross Ref
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., and Montali, 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., and Weerawarana, S. 2003. Business process execution language for Web services, version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation.Google ScholarGoogle Scholar
  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 and W. Lamersdorf, Eds. Lecture Notes in Computer Science, vol. 4294. Springer, 339--351. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Belwood, T., Clément, 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.Google ScholarGoogle Scholar
  17. Benatallah, B., Casati, F., and Toumani, F. 2006. Representing, analysing and managing Web service protocols. Data Knowl. Engin. 58, 3, 327--357. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle ScholarCross RefCross Ref
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Bordeaux, L., Salaün, G., Berardi, D., and Mecella, M. 2004. When are two Web 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Box, D., Ehnebuske, D., Kakivaya, G., Layman, A., Mendelsohn, N., Nielsen, H., Thatte, S., and Winer, D. 2000. Simple Object Access Protocol (SOAP) 1.1. http://www.w3.org/TR/soap.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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). Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Christensen, E., Curbera, F., Meredith, G., and Weerawarana, S. 2001. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. Clarke, E., Grumberg, O., and Peled, D. 1999. Model Checking. The MIT Press, Cambridge, MA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Núñez, and G. Zavattaro, Eds. Lecture Notes in Computer Science, vol. 4184. Springer-Verlag, 163--177. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. Denecker, M. and Schreye, D. D. 1998. SLDNFA: An abductive procedure for abductive logic programs. J. Logic Program. 34, 2, 111--167.Google ScholarGoogle ScholarCross RefCross Ref
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. Deutsch, A., Sui, L., Vianu, V., and Zhou, D. 2006. Verification of communicating data-driven Web services. In Proceedings of the 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'06). ACM, New York, NY, 90--99. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. Dustdar, S., Gombotz, R., and Baina, K. 2004. Web services interaction mining. Tech. rep. TUV-1841-2004-16, Information Systems Institute, Vienna University of Technology, Wien, Austria.Google ScholarGoogle Scholar
  41. Flum, J. and Grohe, M. 2006. Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series. Springer-Verlag. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  44. Fu, X., Bultan, T., and Su, J. 2005. Synchronizability of conversations among web services. IEEE Trans. Softw. Engin. 31, 12, 1042--1055. Google ScholarGoogle ScholarDigital LibraryDigital Library
  45. Fung, T. H. and Kowalski, R. A. 1997. The IFF proof procedure for abductive logic programming. J. Logic Program. 33, 2, 151--165.Google ScholarGoogle ScholarCross RefCross Ref
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  52. Greco, G., Guzzo, A., Pontieri, L., and Saccà, D. 2006. Discovering expressive process models by clustering log traces. IEEE Trans. Knowl. Data Engin. 18, 8, 1010--1027. Google ScholarGoogle ScholarDigital LibraryDigital Library
  53. Green, T. R. G. 1989. Cognitive dimensions of notations. People Comput. 5, 443--460. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle ScholarCross RefCross Ref
  55. Hallé, 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). Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  57. Holzmann, G. 2003. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston, MA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  58. Jaffar, J. and Maher, M. 1994. Constraint logic programming: a survey. J. Logic Program. 19-20, 503--582.Google ScholarGoogle ScholarCross RefCross Ref
  59. Kakas, A. C., Kowalski, R. A., and Toni, F. 1993. Abductive logic programming. J. Logic Comput. 2, 6, 719--770.Google ScholarGoogle ScholarCross RefCross Ref
  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.Google ScholarGoogle Scholar
  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-04.Google ScholarGoogle Scholar
  62. Kowalski, R. A. and Sergot, M. 1986. A logic-based calculus of events. New Gen. Comput. 4, 1, 67--95. Google ScholarGoogle ScholarDigital LibraryDigital Library
  63. Lamma, E., Mello, P., Montali, M., Riguzzi, F., and Storari, S. 2007. Inducing declarative logic-based 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  67. Lloyd, J. W. 1987. Foundations of Logic Programming, 2nd extended ed. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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).Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  75. Milner, R., Parrow, J., and Walker, D. 1992. A calculus of mobile processes. Inform. Computat. 100, 1, 1--40. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  77. Muggleton, S. and De Raedt, L. 1994. Inductive logic programming: Theory and methods. J. Logic Program. 19/20, 629--679.Google ScholarGoogle ScholarCross RefCross Ref
  78. OWL Services Coalition. 2003. OWL-S: Semantic markup for web services.Google ScholarGoogle Scholar
  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.Google ScholarGoogle Scholar
  80. Pesic, M., Schonenberg, H., and van der Aalst, W. 2007. Declare: Full support for loosely-structured processes. In Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC'07). IEEE Computer Society, 287--300. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  82. Reisig, W. and Rozenberg, G., Eds. 1998. Lectures on Petri Nets I: Basic Models. Vol. 1491.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  88. van der Aalst, W. and Basten, T. 2002. Inheritance of workflows: An approach to tackling problems related to change. Theoretical Computer Science 270, 1-2, 125--203. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  96. van der Aalst, W. and van Hee, K. 2002. Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge, MA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  99. van der Aalst, W. M. P. and Pesic, M. 2006. Decserflow: Towards a truly declarative service flow language. In Proceedings of the 3rd International Workshop on Web Services and Formal Methods, M. Bravetti, M. Núñez, and G. Zavattaro, Eds. Lecture Notes in Computer Science, vol. 4184. Springer, 1--23. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  101. Van Dongen, B. F. and van der Aalst, 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.Google ScholarGoogle Scholar
  102. Verbeek, H., Basten, T., and van der Aalst, W. 2001. Diagnosing Workflow Processes using Woflan. Comput. J. 44, 4, 246--279.Google ScholarGoogle ScholarCross RefCross Ref
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  104. White, S. A. 2006. Business process modeling notation specification 1.0. Tech. rep., OMG.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar

Index Terms

  1. Declarative specification and verification of service choreographiess

                      Recommendations

                      Comments

                      Login options

                      Check if you have access through your login credentials or your institution to get full access on this article.

                      Sign in

                      Full Access

                      PDF Format

                      View or Download as a PDF file.

                      PDF

                      eReader

                      View online with eReader.

                      eReader
                      About Cookies On This Site

                      We use cookies to ensure that we give you the best experience on our website.

                      Learn more

                      Got it!