{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T03:31:18Z","timestamp":1764905478810},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642350627"},{"type":"electronic","value":"9783642350634"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35063-4_49","type":"book-chapter","created":{"date-parts":[[2012,11,7]],"date-time":"2012-11-07T01:36:15Z","timestamp":1352252175000},"page":"652-658","source":"Crossref","is-referenced-by-count":19,"title":["Definition and Enactment of Instance-Spanning Process Constraints"],"prefix":"10.1007","author":[{"given":"Maria","family":"Leitner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Mangler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefanie","family":"Rinderle-Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"49_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1007\/978-3-642-10383-4_37","volume-title":"Service-Oriented Computing","author":"A. Awad","year":"2009","unstructured":"Awad, A., Weidlich, M., Weske, M.: Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol.\u00a05900, pp. 500\u2013515. Springer, Heidelberg (2009)"},{"issue":"1","key":"49_CR2","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/300830.300837","volume":"2","author":"E. Bertino","year":"1999","unstructured":"Bertino, E., Ferrari, E., Atluri, V.: The specification and enforcement of authorization constraints in workflow management systems. ACM Trans. Inf. Syst. Secur.\u00a02(1), 65\u2013104 (1999)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"49_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/3-540-36124-3_4","volume-title":"On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE","author":"C. Heinlein","year":"2002","unstructured":"Heinlein, C.: Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols. In: Meersman, R., Tari, Z. (eds.) CoopIS\/DOA\/ODBASE 2002. LNCS, vol.\u00a02519, pp. 54\u201371. Springer, Heidelberg (2002)"},{"key":"49_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-25109-2_7","volume-title":"On the Move to Meaningful Internet Systems: OTM 2011","author":"L.T. Ly","year":"2011","unstructured":"Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring Business Process Compliance Using Compliance Rule Graphs. In: Meersman, R., Dillon, T., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B.-C., Damiani, E., Schmidt, D.C., White, J., Hauswirth, M., Hitzler, P., Mohania, M. (eds.) OTM 2011, Part I. LNCS, vol.\u00a07044, pp. 82\u201399. Springer, Heidelberg (2011)"},{"key":"49_CR5","doi-asserted-by":"crossref","unstructured":"Mangler, J., Rinderle-Ma, S.: Rule-Based synchronization of process activities. In: 13th Conf. on Commerce and Enterprise Computing, pp. 121\u2013128. IEEE (2011)","DOI":"10.1109\/CEC.2011.23"},{"key":"49_CR6","first-page":"1003","volume":"arXiv","author":"J. Mangler","year":"2010","unstructured":"Mangler, J., Stuermer, G., Schikuta, E.: Cloud process execution Engine-Evaluation of the core concepts. Arxiv preprint arXiv:1003.3330 (2010)","journal-title":"Arxiv preprint"},{"key":"49_CR7","unstructured":"Rinderle-Ma, S., Mangler, J.: Integration of process constraints from heterogeneous sources in Process-Aware information systems. In: Int\u2019l Workshop Enterprise Modelling and Information Systems Architectures, EMISA 2011. LNI, GI (2011)"},{"issue":"5","key":"49_CR8","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"S. Sadiq","year":"2005","unstructured":"Sadiq, S., Orlowska, M., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Inf. Syst.\u00a030(5), 349\u2013378 (2005)","journal-title":"Inf. Syst."},{"key":"49_CR9","unstructured":"Specification, W.M.C.: Workflow management coalition terminology & glossary (Document no. WFMC-TC-1011. document Status-Issue 3.0). Tech. rep., Workflow Management Coalition Specification (February 1999)"},{"key":"49_CR10","doi-asserted-by":"crossref","unstructured":"Stuermer, G., Mangler, J., Schikuta, E.: Building a modular service oriented workflow engine. In: IEEE Int\u2019l Conf on Service-Oriented Computing and Applications, pp. 1\u20134. IEEE (January 2009)","DOI":"10.1109\/SOCA.2009.5410270"},{"key":"49_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/11575771_11","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F.: Process Mining and Verification of Properties: An Approach Based on Temporal Logic. In: Meersman, R. (ed.) OTM 2005. LNCS, vol.\u00a03760, pp. 130\u2013147. Springer, Heidelberg (2005)"},{"issue":"1","key":"49_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. van der Aalst","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"issue":"4","key":"49_CR13","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1142\/S0218843003000814","volume":"12","author":"J. Wainer","year":"2003","unstructured":"Wainer, J., Barthelmess, P., Kumar, A.: W-RBAC - a workflow security model incorporating controlled overriding of constraints. International Journal of Collaborative Information Systems\u00a012(4), 455\u2013485 (2003)","journal-title":"International Journal of Collaborative Information Systems"},{"key":"49_CR14","doi-asserted-by":"crossref","unstructured":"Warner, J., Atluri, V.: Inter-instance authorization constraints for secure workflow management. In: Proc. of the 11th ACM Symposium on Access Control Models and Technologies, pp. 190\u2013199. ACM (2006)","DOI":"10.1145\/1133058.1133085"}],"container-title":["Lecture Notes in Computer Science","Web Information Systems Engineering - WISE 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35063-4_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T18:58:12Z","timestamp":1557341892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35063-4_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642350627","9783642350634"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35063-4_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}