{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T11:10:32Z","timestamp":1781003432786,"version":"3.54.1"},"reference-count":106,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Web"],"published-print":{"date-parts":[[2010,1]]},"abstract":"<jats:p>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.<\/jats:p><jats:p>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<jats:italic>Linear Temporal Logic<\/jats:italic>and onto<jats:italic>Abductive Logic Programming<\/jats:italic>. 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.<\/jats:p>","DOI":"10.1145\/1658373.1658376","type":"journal-article","created":{"date-parts":[[2010,1,26]],"date-time":"2010-01-26T14:01:38Z","timestamp":1264514498000},"page":"1-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":179,"title":["Declarative specification and verification of service choreographiess"],"prefix":"10.1145","volume":"4","author":[{"given":"Marco","family":"Montali","sequence":"first","affiliation":[{"name":"University of Bologna, Bologna, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maja","family":"Pesic","sequence":"additional","affiliation":[{"name":"Eindhoven University, Eindhoven, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wil M. P. van der","family":"Aalst","sequence":"additional","affiliation":[{"name":"Eindhoven University, Eindhoven, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[{"name":"University of Bologna, Bologna, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[{"name":"University of Bologna, Bologna, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sergio","family":"Storari","sequence":"additional","affiliation":[{"name":"University of Ferrara, Ferrara, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2010,1,29]]},"reference":[{"key":"e_1_2_2_1_1","volume-title":"Proceedings of the 6th International Conference on Extending Database Technology. 469--483","author":"Agrawal R.","unstructured":"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 . 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."},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2009.78"},{"key":"e_1_2_2_3_1","volume-title":"Proceedings of the 19th Workshop on (Constraint) Logic Programming. A. Wolf, T. W. Fr\u00fchwirth, and M. Meister, Eds. Ulmer Informatik-Berichte","volume":"01","author":"Alberti M.","unstructured":"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\u00fchwirth, and M. Meister, Eds. Ulmer Informatik-Berichte , vol. 2005- 01 . Universit\u00e4t Ulm, Germany, 111--122. 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\u00fchwirth, and M. Meister, Eds. Ulmer Informatik-Berichte, vol. 2005-01. Universit\u00e4t Ulm, Germany, 111--122."},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72667-8_7"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11759683_7"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1080\/08839510500479546"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380572.1380578"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140342"},{"key":"e_1_2_2_9_1","unstructured":"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. 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."},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11948148_28"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_19"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_19"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035195"},{"key":"e_1_2_2_14_1","volume-title":"BPTrends Newsletter","volume":"3","author":"Barros A.","unstructured":"Barros , A. , Dumas , M. , and Oaks , P . 2005. A critical overview of the Web services choreography description language (WS-CDL) . BPTrends Newsletter , vol. 3 . Barros, A., Dumas, M., and Oaks, P. 2005. A critical overview of the Web services choreography description language (WS-CDL). BPTrends Newsletter, vol. 3."},{"key":"e_1_2_2_15_1","volume-title":"Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering. Springer-Verlag, 91--103","author":"Bauer B.","unstructured":"Bauer , B. , M\u00fcller , 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 . Bauer, B., M\u00fcller, 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."},{"key":"e_1_2_2_16_1","unstructured":"Belwood T. Cl\u00e9ment 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. Belwood T. Cl\u00e9ment 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."},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.07.006"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001201"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060770"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31811-8_2"},{"key":"e_1_2_2_21_1","volume-title":"Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'96)","author":"Bouajjani A.","unstructured":"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. 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."},{"key":"e_1_2_2_22_1","unstructured":"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. 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."},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775210"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00899-3_16"},{"key":"e_1_2_2_25_1","volume-title":"Proceedings of the 4th Workshop on Business Process Intelligence (BPI'08)","author":"Chesani F.","unstructured":"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. 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."},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73599-1_64"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/11961536_1"},{"key":"e_1_2_2_28_1","unstructured":"Christensen E. Curbera F. Meredith G. and Weerawarana S. 2001. Web Services Description Language (WSDL) 1.1. http:\/\/www.w3.org\/TR\/wsdl. Christensen E. Curbera F. Meredith G. and Weerawarana S. 2001. Web Services Description Language (WSDL) 1.1. http:\/\/www.w3.org\/TR\/wsdl."},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1761141.1761166"},{"key":"e_1_2_2_30_1","unstructured":"Clarke E. Grumberg O. and Peled D. 1999. Model Checking. The MIT Press Cambridge MA. Clarke E. Grumberg O. and Peled D. 1999. Model Checking. The MIT Press Cambridge MA."},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"e_1_2_2_32_1","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proceedings of the 6th Conference on Algorithmic Learning Theory","author":"De Raedt L.","unstructured":"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 . 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."},{"key":"e_1_2_2_33_1","volume-title":"Proceedings of the 3rd Workshop on Web Services and Formal Method (WS-FM'06)","volume":"4184","author":"Decker G.","unstructured":"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\u00fa\u00f1ez, and G. Zavattaro, Eds. Lecture Notes in Computer Science , vol. 4184 . Springer-Verlag, 163--177. 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\u00fa\u00f1ez, and G. Zavattaro, Eds. Lecture Notes in Computer Science, vol. 4184. Springer-Verlag, 163--177."},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2005.11.003"},{"key":"e_1_2_2_35_1","volume-title":"Proceedings of 15th Annual Symposium on Theoretical Aspects of Computer Science (STACS'98)","volume":"1373","author":"Demri S.","unstructured":"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. 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."},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(97)00074-5"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2006.30"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142351.1142364"},{"key":"e_1_2_2_39_1","volume-title":"Process-Aware Information Systems: Bridging People and Software through Process Technology","author":"Dumas M.","unstructured":"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 . 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."},{"key":"e_1_2_2_40_1","unstructured":"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. 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."},{"key":"e_1_2_2_41_1","unstructured":"Flum J. and Grohe M. 2006. Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series. Springer-Verlag. Flum J. and Grohe M. 2006. Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series. Springer-Verlag."},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/544862.544868"},{"key":"e_1_2_2_43_1","volume-title":"Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE). 152--161","author":"Foster H.","unstructured":"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 . 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."},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.141"},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(97)00026-5"},{"key":"e_1_2_2_46_1","volume-title":"Proceedings of the CoopIS, DOA, and ODBASE: OTM Confederated International Conferences (CoopIS, DOA, and ODBASE'04)","author":"Gaaloul W.","unstructured":"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. 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."},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538394_12"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01277643"},{"key":"e_1_2_2_49_1","volume-title":"Proceedings of the 15th IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification. Chapman & Hall, Ltd.","author":"Gerth R.","unstructured":"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. 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."},{"key":"e_1_2_2_50_1","volume-title":"Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE'01)","author":"Giannakopoulou D.","unstructured":"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. 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."},{"key":"e_1_2_2_51_1","volume-title":"Proceedings of the 1st International Workshop on Business Process Intelligence (BPI'05)","author":"Gombotz R.","unstructured":"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. 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."},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2006.123"},{"key":"e_1_2_2_53_1","first-page":"443","article-title":"Cognitive dimensions of notations","volume":"5","author":"Green T. R. G.","year":"1989","unstructured":"Green , T. R. G. 1989 . Cognitive dimensions of notations . People Comput. 5 , 443 -- 460 . Green, T. R. G. 1989. Cognitive dimensions of notations. People Comput. 5, 443--460.","journal-title":"People Comput."},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1996.0009"},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529752"},{"key":"e_1_2_2_56_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 11th European Conference on Machine Learning","author":"Herbst J.","unstructured":"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. 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."},{"key":"e_1_2_2_57_1","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"Holzmann G.","unstructured":"Holzmann , G. 2003. The SPIN Model Checker: Primer and Reference Manual . Addison-Wesley , Boston, MA . Holzmann, G. 2003. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston, MA."},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"e_1_2_2_60_1","volume-title":"Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence (PRICAI'90)","author":"Kakas A. C.","unstructured":"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. 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."},{"key":"e_1_2_2_61_1","unstructured":"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. 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."},{"key":"e_1_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"e_1_2_2_63_1","volume-title":"Proceedings of the 5th International Conference on Business Process Management (BPM'07)","volume":"4714","author":"Lamma E.","unstructured":"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. 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."},{"key":"e_1_2_2_64_1","volume-title":"Proceedings of the 17th International Conference on Inductive Logic Programming. Springer.","author":"Lamma E.","unstructured":"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. 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."},{"key":"e_1_2_2_65_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 10th SPIN Workshop on Model Checking of Software","author":"Latvala T.","unstructured":"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. 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."},{"key":"e_1_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035182"},{"key":"e_1_2_2_67_1","volume-title":"2nd extended ed.","author":"Lloyd J. W.","unstructured":"Lloyd , J. W. 1987. Foundations of Logic Programming , 2nd extended ed. Lloyd, J. W. 1987. Foundations of Logic Programming, 2nd extended ed."},{"key":"e_1_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035178"},{"key":"e_1_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035181"},{"key":"e_1_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/1082473.1082822"},{"key":"e_1_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_3"},{"key":"e_1_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/EEE.2005.53"},{"key":"e_1_2_2_73_1","volume-title":"Proceedings of the 2nd South-East European Workshop on Formal Methods (SEEFM'05)","author":"Massuthe P.","unstructured":"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) . 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)."},{"key":"e_1_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.5555\/647213.720364"},{"key":"e_1_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"e_1_2_2_76_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-2_39"},{"key":"e_1_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90035-3"},{"key":"e_1_2_2_78_1","unstructured":"OWL Services Coalition. 2003. OWL-S: Semantic markup for web services. OWL Services Coalition. 2003. OWL-S: Semantic markup for web services."},{"key":"e_1_2_2_80_1","volume-title":"Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC'07)","author":"Pesic M.","unstructured":"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. 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."},{"key":"e_1_2_2_81_1","volume-title":"Proceedings of the 5th ACM\/IFIP\/USENIX International Conference on Middleware (Middleware'04)","author":"Ponnekanti S.","unstructured":"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. 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."},{"key":"e_1_2_2_82_1","volume-title":"Eds","author":"Reisig W.","year":"1998","unstructured":"Reisig , W. and Rozenberg , G. , Eds . 1998 . Lectures on Petri Nets I: Basic Models . Vol. 1491 . Reisig, W. and Rozenberg, G., Eds. 1998. Lectures on Petri Nets I: Basic Models. Vol. 1491."},{"key":"e_1_2_2_83_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841760_18"},{"key":"e_1_2_2_84_1","doi-asserted-by":"publisher","DOI":"10.1007\/11678564_15"},{"key":"e_1_2_2_85_1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2004.11.011","article-title":"Modeling and model checking web services","volume":"126","author":"Schlingloff B.","year":"2005","unstructured":"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 . 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.","journal-title":"Electronic Notes in Theoretical Computer Science: Issue on Logic and Communication in Multi-Agent Systems"},{"key":"e_1_2_2_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/937555.937556"},{"key":"e_1_2_2_87_1","volume-title":"Issues in Agent Communication","author":"Singh M. P.","unstructured":"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. 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."},{"key":"e_1_2_2_88_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00321-2"},{"key":"e_1_2_2_89_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575771_11"},{"key":"e_1_2_2_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/1361186.1361189"},{"key":"e_1_2_2_91_1","doi-asserted-by":"publisher","DOI":"10.5555\/942796.943288"},{"key":"e_1_2_2_92_1","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_4"},{"key":"e_1_2_2_93_1","volume-title":"Proceedings of the International Conference on Business Process Management (BPM'04)","volume":"3080","author":"van der Aalst W.","unstructured":"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. 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."},{"key":"e_1_2_2_94_1","volume-title":"Proceedings of the International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN'07)","volume":"4546","author":"van der Aalst W.","unstructured":"van der Aalst , W. , van Dongen , B. , G\u00fcnther , 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. van der Aalst, W., van Dongen, B., G\u00fcnther, 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."},{"key":"e_1_2_2_95_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(03)00066-1"},{"key":"e_1_2_2_96_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"van der Aalst W.","year":"2002","unstructured":"van der Aalst , W. and van Hee , K. 2002 . Workflow Management: Models, Methods, and Systems . MIT Press , Cambridge, MA . van der Aalst, W. and van Hee, K. 2002. Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge, MA."},{"key":"e_1_2_2_97_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2003.10.001"},{"key":"e_1_2_2_98_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.47"},{"key":"e_1_2_2_99_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841197_1"},{"key":"e_1_2_2_100_1","volume-title":"Proceedings of the CAiSE'05 Workshops (EMOI-INTEROP Workshop), J. Casto and E. Teniente, Eds.","volume":"2","author":"van Dongen B.","unstructured":"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. 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."},{"key":"e_1_2_2_101_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 23rd International Conference on Conceptual Modeling","author":"Van Dongen B. F.","unstructured":"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. 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."},{"key":"e_1_2_2_102_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/44.4.246"},{"key":"e_1_2_2_103_1","doi-asserted-by":"crossref","unstructured":"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. 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.","DOI":"10.1016\/B978-1-4832-1447-4.50034-1"},{"key":"e_1_2_2_104_1","unstructured":"White S. A. 2006. Business process modeling notation specification 1.0. Tech. rep. OMG. White S. A. 2006. Business process modeling notation specification 1.0. Tech. rep. OMG."},{"key":"e_1_2_2_105_1","doi-asserted-by":"publisher","DOI":"10.1145\/544862.544867"},{"key":"e_1_2_2_106_1","doi-asserted-by":"publisher","DOI":"10.1007\/11914853_10"},{"key":"e_1_2_2_107_1","doi-asserted-by":"crossref","unstructured":"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. 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.","DOI":"10.1109\/EDOC.2006.50"}],"container-title":["ACM Transactions on the Web"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1658373.1658376","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1658373.1658376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:02Z","timestamp":1750250462000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1658373.1658376"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":106,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["10.1145\/1658373.1658376"],"URL":"https:\/\/doi.org\/10.1145\/1658373.1658376","relation":{},"ISSN":["1559-1131","1559-114X"],"issn-type":[{"value":"1559-1131","type":"print"},{"value":"1559-114X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]},"assertion":[{"value":"2007-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-01-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}