{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:58:07Z","timestamp":1725749887792},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642410321"},{"type":"electronic","value":"9783642410338"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41033-8_20","type":"book-chapter","created":{"date-parts":[[2013,9,24]],"date-time":"2013-09-24T22:14:30Z","timestamp":1380060870000},"page":"134-143","source":"Crossref","is-referenced-by-count":1,"title":["Supervision of Constraint-Based Processes: A Declarative Perspective"],"prefix":"10.1007","author":[{"given":"Sauro","family":"Schaidt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"de Freitas Rocha Loures","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agnelo Denis","family":"Vieira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo Alves Portela","family":"Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M. Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-76848-7_7","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"M. Pesic","year":"2007","unstructured":"Pesic, M., Schonenberg, M.H., Sidorova, N., van der Aalst, W.M.P.: Constraint-based workflow models: Change made easy. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 77\u201394. Springer, Heidelberg (2007)"},{"issue":"2","key":"20_CR3","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"W. Aalst","year":"2009","unstructured":"Aalst, W., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science-Research and Development\u00a023(2), 99\u2013113 (2009)","journal-title":"Computer Science-Research and Development"},{"key":"20_CR4","volume-title":"Model Checking","author":"A.. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., A., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"issue":"1","key":"20_CR5","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. Ramadge","year":"1989","unstructured":"Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE\u00a077(1), 81\u201398 (1989)","journal-title":"Proceedings of the IEEE"},{"doi-asserted-by":"crossref","unstructured":"Queiroz, M.H., Cury, J.E.R.: Modular supervisory control of large scale discrete event systems. In: Boel, R., Stremersch, G. (eds.) WODES 2000. Discrete Event Systems: Analysis and Control, pp. 103\u2013110. Kluwer Academic Publishers (2000)","key":"20_CR6","DOI":"10.1007\/978-1-4615-4493-7_10"},{"issue":"3","key":"20_CR7","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1016\/j.dss.2010.08.014","volume":"50","author":"W. Aalst","year":"2011","unstructured":"Aalst, W., Hee, K., Werf, J., Kumar, A., Verdonk, M.: Conceptual model for on line auditing. Decision Support Systems\u00a050(3), 636\u2013647 (2011)","journal-title":"Decision Support Systems"},{"key":"20_CR8","series-title":"AISC","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-642-36981-0_22","volume-title":"Advances in Information Systems and Technologies","author":"S. Schaidt","year":"2013","unstructured":"Schaidt, S., Vieira, A.D., Loures, E.F.R., Santos, E.A.P.: Dealing with Constraint-Based Processes: Declare and Supervisory Control Theory. In: Rocha, \u00c1., Correia, A.M., Wilson, T., Stroetmann, K.A. (eds.) Advances in Information Systems and Technologies. AISC, vol.\u00a0206, pp. 227\u2013236. Springer, Heidelberg (2013)"},{"unstructured":"Pesic, M.: Constraint-based workflow management systems: Shifting control to users. Phd thesis, Eindhoven University of Technology, Eindhoven (2008)","key":"20_CR9"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1023\/B:DISC.0000005009.40749.b6","volume":"14","author":"R. Su","year":"2004","unstructured":"Su, R., Wonham, W.M.: Supervisor reduction for discrete-event systems. Discrete Event Dynamic Systems\u00a014, 31\u201353 (2004)","journal-title":"Discrete Event Dynamic Systems"},{"doi-asserted-by":"crossref","unstructured":"Rychkova, I., Nurcan, S.: Towards Adaptability and Control for Knowledge-Intensive Business Processes: Declarative Configurable Process Specifications. In: 44th Annual Hawaii International Conference on System Sciences, pp. 1\u201310. IEEE (2011)","key":"20_CR11","DOI":"10.1109\/HICSS.2011.452"},{"doi-asserted-by":"crossref","unstructured":"Rychkova, I., Regev, G., Wegmann, A.: High-Level Design and Analysis of Business Processes the Advantages of Declarative Specifications. In: 2th IEEE International Conference on Research Challenges in Information Science, pp. 3\u20136. Marrakech (2008)","key":"20_CR12","DOI":"10.1109\/RCIS.2008.4632098"},{"issue":"5","key":"20_CR13","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"S.W. Sadiq","year":"2005","unstructured":"Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Information Systems\u00a030(5), 349\u2013378 (2005)","journal-title":"Information Systems"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2013 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41033-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T10:56:32Z","timestamp":1558090592000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41033-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642410321","9783642410338"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41033-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}