{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:23:38Z","timestamp":1750307018841,"version":"3.41.0"},"reference-count":46,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2012,5,1]],"date-time":"2012-05-01T00:00:00Z","timestamp":1335830400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["(FP7\/2007-2013)\/ERC"],"award-info":[{"award-number":["(FP7\/2007-2013)\/ERC"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000145","name":"Division of Information and Intelligent Systems","doi-asserted-by":"publisher","award":["IIS-0916515"],"award-info":[{"award-number":["IIS-0916515"]}],"id":[{"id":"10.13039\/100000145","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["FP7-ICT-233599"],"award-info":[{"award-number":["FP7-ICT-233599"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Database Syst."],"published-print":{"date-parts":[[2012,5]]},"abstract":"<jats:p>\n            We address the problem of comparing the expressiveness of workflow specification formalisms using a notion of\n            <jats:italic>view<\/jats:italic>\n            of a workflow. Views allow to compare widely different workflow systems by mapping them to a common representation capturing the observables relevant to the comparison. Using this framework, we compare the expressiveness of several workflow specification mechanisms, including automata, temporal constraints, and pre-and postconditions, with XML and relational databases as underlying data models. One surprising result shows the considerable power of static constraints to simulate apparently much richer workflow control mechanisms.\n          <\/jats:p>","DOI":"10.1145\/2188349.2188352","type":"journal-article","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T15:51:28Z","timestamp":1338565888000},"page":"1-59","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Comparing workflow specification languages"],"prefix":"10.1145","volume":"37","author":[{"given":"Serge","family":"Abiteboul","sequence":"first","affiliation":[{"name":"INRIA Saclay, ENS Cachan and University Paris-Sud"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Bourhis","sequence":"additional","affiliation":[{"name":"University Paris-Sud and University of Oxford"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Vianu","sequence":"additional","affiliation":[{"name":"University of California, San Diego, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,6,4]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-007-0049-y"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2009.9"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1938551.1938564"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/237661.237674"},{"key":"e_1_2_1_5_1","unstructured":"Abiteboul S. Hull R. and Vianu V. 1995. Foundations of Databases. Addison-Wesley.   Abiteboul S. Hull R. and Vianu V. 1995. Foundations of Databases. Addison-Wesley."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1620585.1620590"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2000.1708"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008656726700"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(03)00032-1"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1075382.1075387"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543647"},{"volume-title":"Proceedings of the International Conference on Business Process Management (BPM'07)","author":"Bhattacharya K.","key":"e_1_2_1_12_1","unstructured":"Bhattacharya , K. , Gerede , C. E. , Hull , R. , Liu , R. , and Su , J . 2007. Towards formal analysis of artifact-centric business process models . In Proceedings of the International Conference on Business Process Management (BPM'07) . Bhattacharya, K., Gerede, C. E., Hull, R., Liu, R., and Su, J. 2007. Towards formal analysis of artifact-centric business process models. In Proceedings of the International Conference on Business Process Management (BPM'07)."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2006.51"},{"key":"e_1_2_1_14_1","unstructured":"BPEL. 2012. http:\/\/bpel.xml.org\/.  BPEL. 2012. http:\/\/bpel.xml.org\/."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10383-4_9"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85238-4_22"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1507244.1507246"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514924"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.006"},{"key":"e_1_2_1_20_1","volume-title":"Eds.","volume":"2","author":"Diekert V.","unstructured":"Diekert , V. and Gastin , P . 2008. First-Order definable languages. In Logic and Automata: History and Perspectives, J. Flum, E. Gr\u00e4del, and T. Wilke , Eds. , Vol. 2 , 261--306. Diekert, V. and Gastin, P. 2008. First-Order definable languages. In Logic and Automata: History and Perspectives, J. Flum, E. Gr\u00e4del, and T. Wilke, Eds., Vol. 2, 261--306."},{"volume-title":"Proceedings of the DBLP'99 Conference.","author":"Dong G.","key":"e_1_2_1_21_1","unstructured":"Dong , G. , Hull , R. , Kumar , B. , Su , J. , and Zhou , G . 1999. A framework for optimizing distributed workflow executions . In Proceedings of the DBLP'99 Conference. Dong, G., Hull, R., Kumar, B., Su, J., and Zhou, G. 1999. A framework for optimizing distributed workflow executions. In Proceedings of the DBLP'99 Conference."},{"volume-title":"Handbook of Theoretical Computer Science","author":"Emerson E. A.","key":"e_1_2_1_22_1","unstructured":"Emerson , E. A. 1990. Temporal and modal logic . In Handbook of Theoretical Computer Science , Volume B: Formal Models and Semantics, J. V . Leenwen, Ed ., MIT Press , 995--1072. Emerson, E. A. 1990. Temporal and modal logic. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, J. V. Leenwen, Ed., MIT Press, 995--1072."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/375551.375568"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514922"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01277643"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOCA.2007.42"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74974-5_15"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88873-4_17"},{"volume-title":"Proceedings of the International Conference on Data Engineering (ICDE'00)","author":"Hull R.","key":"e_1_2_1_30_1","unstructured":"Hull , R. , Llirbat , F. , Kumar , B. , Zhou , G. , Dong , G. , and Su , J . 2000. Optimization techniques for data-intensive decision flows . In Proceedings of the International Conference on Data Engineering (ICDE'00) . Hull, R., Llirbat, F., Kumar, B., Zhou, G., Dong, G., and Su, J. 2000. Optimization techniques for data-intensive decision flows. In Proceedings of the International Conference on Data Engineering (ICDE'00)."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/295665.295674"},{"volume-title":"Elements of Finite Model Theory","author":"Libkin L.","key":"e_1_2_1_32_1","unstructured":"Libkin , L. 2004. Elements of Finite Model Theory . Springer . Libkin, L. 2004. Elements of Finite Model Theory. Springer."},{"key":"e_1_2_1_33_1","unstructured":"Martin D. Burstein M. Hobbs J. Lassila O. McDermott D. McIlraith S. etal 2003. OWL-S: Semantic markup for web services. W3C Member Submission.  Martin D. Burstein M. Hobbs J. Lassila O. McDermott D. McIlraith S. et al. 2003. OWL-S: Semantic markup for web services. W3C Member Submission."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/5254.920599"},{"volume-title":"Communication and Concurrency","author":"Milner R.","key":"e_1_2_1_35_1","unstructured":"Milner , R. 1989. Communication and Concurrency . Prentice-Hall . Milner, R. 1989. Communication and Concurrency. Prentice-Hall."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.4018\/jdm.2002070102"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/511446.511457"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013560.1013562"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.423.0428"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1276301.1276308"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(02)00029-6"},{"key":"e_1_2_1_43_1","doi-asserted-by":"crossref","unstructured":"van der Aalst W. 2004. Business process management demystified: A tutorial on models systems and standards for workflow management. In Lectures on Concurrency and Petri Nets.  van der Aalst W. 2004. Business process management demystified: A tutorial on models systems and standards for workflow management. In Lectures on Concurrency and Petri Nets.","DOI":"10.1007\/978-3-540-27755-2_1"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"volume-title":"Proceedings of the 4th International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools.","author":"van der Aalst W. M. P.","key":"e_1_2_1_45_1","unstructured":"van der Aalst , W. M. P. and ter Hofstede, A. H. M. 2002. Workflow patterns: On the expressive power of (petri-net-based) workflow languages . In Proceedings of the 4th International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools. van der Aalst, W. M. P. and ter Hofstede, A. H. M. 2002. Workflow patterns: On the expressive power of (petri-net-based) workflow languages. In Proceedings of the 4th International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools."},{"key":"e_1_2_1_46_1","series-title":"Lecture Notes in Computer Science","volume-title":"Logics for Concurrency: Structure versus Automata","author":"Vardi M. Y.","unstructured":"Vardi , M. Y. 1996. An automata-theoretic approach to linear temporal logic . In Logics for Concurrency: Structure versus Automata . Lecture Notes in Computer Science , vol. 1043 , Springer , 238--266. Vardi, M. Y. 1996. An automata-theoretic approach to linear temporal logic. In Logics for Concurrency: Structure versus Automata. Lecture Notes in Computer Science, vol. 1043, Springer, 238--266."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538394_19"}],"container-title":["ACM Transactions on Database Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2188349.2188352","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2188349.2188352","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:49:11Z","timestamp":1750236551000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2188349.2188352"}},"subtitle":["A matter of views"],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":46,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["10.1145\/2188349.2188352"],"URL":"https:\/\/doi.org\/10.1145\/2188349.2188352","relation":{},"ISSN":["0362-5915","1557-4644"],"issn-type":[{"type":"print","value":"0362-5915"},{"type":"electronic","value":"1557-4644"}],"subject":[],"published":{"date-parts":[[2012,5]]},"assertion":[{"value":"2011-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-06-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}