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.
Supplemental Material
Available for Download
Online appendix to declarative specification and verification of service choreographies on article 3.
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
- Benatallah, B., Casati, F., and Toumani, F. 2006. Representing, analysing and managing Web service protocols. Data Knowl. Engin. 58, 3, 327--357. Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Christensen, E., Curbera, F., Meredith, G., and Weerawarana, S. 2001. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl.Google Scholar
- 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 Scholar
Digital Library
- Clarke, E., Grumberg, O., and Peled, D. 1999. Model Checking. The MIT Press, Cambridge, MA. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Denecker, M. and Schreye, D. D. 1998. SLDNFA: An abductive procedure for abductive logic programs. J. Logic Program. 34, 2, 111--167.Google Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- Flum, J. and Grohe, M. 2006. Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series. Springer-Verlag. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- Fu, X., Bultan, T., and Su, J. 2005. Synchronizability of conversations among web services. IEEE Trans. Softw. Engin. 31, 12, 1042--1055. Google Scholar
Digital Library
- Fung, T. H. and Kowalski, R. A. 1997. The IFF proof procedure for abductive logic programming. J. Logic Program. 33, 2, 151--165.Google Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- Green, T. R. G. 1989. Cognitive dimensions of notations. People Comput. 5, 443--460. Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Holzmann, G. 2003. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston, MA. Google Scholar
Digital Library
- Jaffar, J. and Maher, M. 1994. Constraint logic programming: a survey. J. Logic Program. 19-20, 503--582.Google Scholar
Cross Ref
- Kakas, A. C., Kowalski, R. A., and Toni, F. 1993. Abductive logic programming. J. Logic Comput. 2, 6, 719--770.Google Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
- Kowalski, R. A. and Sergot, M. 1986. A logic-based calculus of events. New Gen. Comput. 4, 1, 67--95. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Lloyd, J. W. 1987. Foundations of Logic Programming, 2nd extended ed. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- Milner, R., Parrow, J., and Walker, D. 1992. A calculus of mobile processes. Inform. Computat. 100, 1, 1--40. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- Muggleton, S. and De Raedt, L. 1994. Inductive logic programming: Theory and methods. J. Logic Program. 19/20, 629--679.Google Scholar
Cross Ref
- OWL Services Coalition. 2003. OWL-S: Semantic markup for web services.Google Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Reisig, W. and Rozenberg, G., Eds. 1998. Lectures on Petri Nets I: Basic Models. Vol. 1491.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- van der Aalst, W. and van Hee, K. 2002. Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge, MA. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- Verbeek, H., Basten, T., and van der Aalst, W. 2001. Diagnosing Workflow Processes using Woflan. Comput. J. 44, 4, 246--279.Google Scholar
Cross Ref
- 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 Scholar
Digital Library
- White, S. A. 2006. Business process modeling notation specification 1.0. Tech. rep., OMG.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Index Terms
Declarative specification and verification of service choreographiess
Recommendations
Conformance checking based on multi-perspective declarative process models
We introduce a semantics for Multi Perspective Declare (MP-Declare).We introduce an abstract syntax for MP-Declare.We provide a set of algorithms for conformance checking based on MP-DeclareThe approach has been implemented in the process mining tool ...
Evaluating Compliance: From LTL to Abductive Logic Programming
Special Issue on the 30th Italian Conference on Computational Logic: CILC 2015The compliance verification task amounts to establishing if the execution of a system, given in terms of observed happened events, does respect a given property. In the past both the frameworks of Temporal Logics and Logic Programming have been ...
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework
The definition of choreography specification languages for Service Oriented Systems poses important challenges. Mainstream approaches tend to focus on procedural aspects, leading to over-constrained and over-specified models. Because of such a drawback, ...






Comments