{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:56:37Z","timestamp":1759683397938,"version":"3.37.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,5,23]],"date-time":"2009-05-23T00:00:00Z","timestamp":1243036800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Inf Syst Front"],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1007\/s10796-009-9179-7","type":"journal-article","created":{"date-parts":[[2009,5,22]],"date-time":"2009-05-22T10:03:58Z","timestamp":1242986638000},"page":"155-177","source":"Crossref","is-referenced-by-count":40,"title":["On compliance checking for clausal constraints in annotated process models"],"prefix":"10.1007","volume":"14","author":[{"given":"J\u00f6rg","family":"Hoffmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingo","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,5,23]]},"reference":[{"issue":"10","key":"9179_CR1","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W Aalst","year":"1999","unstructured":"Aalst, W. (1999a). Formalization and verification of event-driven process chains. Information and Software Technology, 41(10), 639\u2013650.","journal-title":"Information and Software Technology"},{"issue":"3","key":"9179_CR2","first-page":"335","volume":"34","author":"W Aalst","year":"1999","unstructured":"Aalst, W. (1999b). Interorganizational workflows: An approach based on message sequence charts and petri nets. Systems Analysis Modelling Simulation, 34(3), 335\u2013367.","journal-title":"Systems Analysis Modelling Simulation"},{"key":"9179_CR3","doi-asserted-by":"crossref","unstructured":"Ankolekar, A., Burstein, M., Hobbs, J. R., Lassila, O., Martin, D., McDermott, D., et al. (2002). DAML-S: Web service description for the semantic web. In ISWC.","DOI":"10.1007\/3-540-48005-6_27"},{"key":"9179_CR4","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0020-0190(79)90002-4","volume":"8","author":"B Aspvall","year":"1979","unstructured":"Aspvall, B., Plass, M., & Tarjan, R. (1979). A linear-time algorithm for testing the truth of certain quantified boolean formulas. Information Processing Letters, 8, 121\u2013123.","journal-title":"Information Processing Letters"},{"key":"9179_CR5","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/978-3-540-85758-7_24","volume-title":"Business process management, 6th international conference, BPM 2008","author":"A Awad","year":"2008","unstructured":"Awad, A., Decker, G., & Weske, M. (2008). Efficient compliance checking using bpmn-q and temporal logic. In M. Dumas, M. Reichert, & M. C. Shan (Eds.), Business process management, 6th international conference, BPM 2008. Lecture notes in computer science (Vol. 5240, pp. 326\u2013341). New York: Springer."},{"key":"9179_CR6","unstructured":"Baader, F., Lutz, C., Milicic, M., Sattler, U., & Wolter, F. (2005). Integrating description logics and action formalisms: First results. In AAAI."},{"key":"9179_CR7","series-title":"LNCS","first-page":"360","volume-title":"Advances in petri nets 1986 part I: Petri nets, central models and their properties","author":"G Berthelot","year":"1987","unstructured":"Berthelot, G. (1987). Transformations and decompositions of nets. In W. Brauer, W. Reisig, & G. Rozenberg (Eds.), Advances in petri nets 1986 part I: Petri nets, central models and their properties. LNCS (Vol. 254, pp. 360\u2013376). New York, Springer."},{"key":"9179_CR8","first-page":"1","volume-title":"LNAI, Vol. 4327","author":"AK Chopra","year":"2007","unstructured":"Chopra, A. K., & Sing, M. P. (2007). Producing compliant interactions: Conformance, coverage and interoperability. Declarative agent languages and technologies IV. In M. Baldoni, & U. Endriss (Eds.), LNAI (Vol. 4327, pp. 1\u201315). Berlin: Springer."},{"key":"9179_CR9","unstructured":"Coalition, T. O. S. (2003). OWL-S: Semantic markup for web services. In M. Burstein, J. Hobbs, O. Lassila, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, B. Parsia, T. Payne, E. Sirin, N. Srinivasan, K. Sycara & D. Martin (Eds.),OWL-S: Semantic Markup for Web Services. OWL-S 1.1. http:\/\/www.daml.org\/services\/owl-s\/1.1\/ . Version 1.1"},{"key":"9179_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free choice Petri nets","author":"J Desel","year":"1995","unstructured":"Desel, J., & Esparza, J. (1995). Free choice Petri nets. New York, NY, USA: Cambridge University Press."},{"issue":"2\u20133","key":"9179_CR11","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"14","author":"A Farrell","year":"2005","unstructured":"Farrell, A., Sergot, M., Sall\u00e9, M., & Bartolini, C. (2005). Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems, 14(2\u20133), 99\u2013129.","journal-title":"International Journal of Cooperative Information Systems"},{"key":"9179_CR12","volume-title":"Enabling semantic web services: The web service modeling ontology","author":"D Fensel","year":"2006","unstructured":"Fensel, D., Lausen, H., Polleres, A., Stollberg, M., Roman, D., de Bruijn, J., et al. (2006). Enabling semantic web services: The web service modeling ontology. New York: Springer."},{"key":"9179_CR13","doi-asserted-by":"crossref","unstructured":"Garcia-Valles, F., & Colom, J. (1999). Implicit places in net systems. In Petri nets and performance Models, 1999. Proceedings. The 8th international workshop (pp. 104\u2013113).","DOI":"10.1109\/PNPM.1999.796557"},{"key":"9179_CR14","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-3-540-74974-5_14","volume-title":"Service Oriented Computing, ISOC 2007. LNCS","author":"A Ghose","year":"2007","unstructured":"Ghose, A., & Koliadis, G. (2007). Auditing business process compliance. In Service Oriented Computing, ISOC 2007. LNCS (pp. 169\u2013180). New York: Springer."},{"key":"9179_CR15","unstructured":"Giacomo, G. D., Lenzerini, M., Poggi, A., & Rosati, R. (2006). On the update of description logic ontologies at the instance level. In AAAI."},{"key":"9179_CR16","unstructured":"Governatori, G., Hoffmann, J., Sadiq, S., & Weber, I. (2008). Detecting regulatory compliance for business process models through semantic annotations. In BPD-08: 4th international workshop on business process design."},{"issue":"4","key":"9179_CR17","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1142\/S0218843006001529","volume":"15","author":"G Governatori","year":"2006","unstructured":"Governatori, G., & Milosevic, Z. (2006). A formal analysis of a business contract language. International Journal of Cooperative Information Systems, 15(4), 659\u2013685.","journal-title":"International Journal of Cooperative Information Systems"},{"key":"9179_CR18","doi-asserted-by":"crossref","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S. (2006). Compliance checking between business processes and business contracts. In P. C. K. Hung (Ed.), 10th International Enterprise Distributed Object Computing Conference (EDOC 2006) (pp. 221\u2013232). IEEE Computing Society. doi: 10.1109\/EDOC.2006.22 .","DOI":"10.1109\/EDOC.2006.22"},{"key":"9179_CR19","volume-title":"The spin model checker\u2014Primer and reference manual","author":"G Holzmann","year":"2003","unstructured":"Holzmann, G. (2003). The spin model checker\u2014Primer and reference manual. Reading: Addison-Wesley."},{"issue":"3","key":"9179_CR20","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0304-3975(89)90053-4","volume":"64","author":"R Howell","year":"1989","unstructured":"Howell, R., & Rosier, L. (1989). Problems concerning fairness and temporal logic for conflict-free petri nets. Theoretical Computer Science, 64(3), 305\u2013329.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"9179_CR21","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1147\/sj.462.0335","volume":"46","author":"Y Liu","year":"2007","unstructured":"Liu, Y., M\u00fcller, S., & Xu, K. (2007). A static compliance-checking framework for business process models. IBM Systems Journal, 46(2), 335\u2013362.","journal-title":"IBM Systems Journal"},{"key":"9179_CR22","unstructured":"Lutz, C., & Sattler, U. (2002). A proposal for describing services with DLs. In DL."},{"key":"9179_CR23","unstructured":"Ly, L. T., Rinderle, S., & Dadam, P. (2006). Semantic correctness in adaptive process management systems. In BPM06: Proc. 4th int\u2019l conf. on business process management (pp. 193\u2013208). Vienna, Austria."},{"issue":"1","key":"9179_CR24","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.datak.2007.06.007","volume":"64","author":"LT Ly","year":"2008","unstructured":"Ly, L. T., Rinderle, S., & Dadam, P. (2008). Integration and verification of semantic constraints in adaptive process management systems. Data and Knowledge Engineering, 64(1), 3\u201323.","journal-title":"Data and Knowledge Engineering"},{"key":"9179_CR25","unstructured":"OASIS (2007). Web services business process execution language version 2.0. http:\/\/www.ibm.com\/developerworks\/webservices\/library\/ws-bpel\/ ."},{"key":"9179_CR26","unstructured":"OMG (2008). Business process modeling notation\u2014BPMN 1.1. OMG specification. http:\/\/www.bpmn.org\/ ."},{"key":"9179_CR27","unstructured":"Roman, D., & Kifer, M. (2007). Reasoning about the behaviour of semantic web services with concurrent transaction logic. In VLDB (pp. 627\u2013638)."},{"key":"9179_CR28","doi-asserted-by":"crossref","unstructured":"Sadiq, S., Governatori, G., & Namiri, K. (2007). Modelling control objectives for business process compliance. In Proc. 5th international conference on business process management. Brisbane, Australia.","DOI":"10.1007\/978-3-540-75183-0_12"},{"issue":"5","key":"9179_CR29","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"MJ Sergot","year":"1986","unstructured":"Sergot, M. J., Sadri, F., Kowalski, R. A., Kriwaczek, F., Hammond, P., & Cory, H. (1986). The british nationality act as a logic program. Communications of the ACM, 29(5), 370\u2013386.","journal-title":"Communications of the ACM"},{"key":"9179_CR30","first-page":"130","volume-title":"Lecture notes in computer science (Vol. 3760)","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst, W. M. P., de Beer, H. T., & van Dongen, B. F. (2005). Process mining and verification of properties: An approach based on temporal logic. OTM conferences (1). In R. Meersman, Z. Tari, M. S. Hacid, J. Mylopoulos, B. Pernici, \u00d6. Babaoglu, et al. (Eds.), Lecture notes in computer science (Vol. 3760, pp. 130\u2013147). New York: Springer."},{"key":"9179_CR31","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow management: Models, methods, and systems (cooperative information systems)","author":"WMP Aalst van der","year":"2002","unstructured":"van\u00a0der Aalst, W. M. P., & van Hee, K. (2002). Workflow management: Models, methods, and systems (cooperative information systems). Cambridge: MIT. http:\/\/www.amazon.ca\/exec\/obidos\/redirect?tag=citeulike04-20&path=ASIN\/0262011891 ."},{"key":"9179_CR32","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-74974-5_4","volume-title":"5th international conference on service-oriented computing (ICSOC)","author":"J Vanhatalo","year":"2007","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F. (2007). Faster and more focused control-flow analysis for business process models though sese decomposition. In B. Kr\u00e4mer, K. Lin, P. Narasimhan (Eds.), 5th international conference on service-oriented computing (ICSOC). Lecture notes in computer science (Vol. 4749, pp. 43\u201355). Berlin: Springer."},{"key":"9179_CR33","unstructured":"Weber, I., Hoffmann, J., Mendling, J. (2008). Semantic business process validation. In Proceedings of the 3rd international workshop on semantic business process management (SBPM\u201908)."},{"key":"9179_CR34","unstructured":"Winslett, M. (1988). Reasoning about actions using a possible models approach. In AAAI."},{"key":"9179_CR35","unstructured":"zur Muehlen, M., Indulska, M., Kemp, G. (2007). Business process and business rule modeling languages for compliance management: A representational analysis. In Proc. 26th international conference on conceptual modelling - ER2007 - tutorials, posters, panels and industrial contributions. Auckland, New Zealand."}],"container-title":["Information Systems Frontiers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-009-9179-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10796-009-9179-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-009-9179-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T17:18:32Z","timestamp":1739121512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10796-009-9179-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5,23]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["9179"],"URL":"https:\/\/doi.org\/10.1007\/s10796-009-9179-7","relation":{},"ISSN":["1387-3326","1572-9419"],"issn-type":[{"type":"print","value":"1387-3326"},{"type":"electronic","value":"1572-9419"}],"subject":[],"published":{"date-parts":[[2009,5,23]]}}}