{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:13:04Z","timestamp":1725570784923},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45005-1_16","type":"book-chapter","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T04:53:14Z","timestamp":1385527994000},"page":"222-236","source":"Crossref","is-referenced-by-count":2,"title":["REFlex: An Efficient Web Service Orchestrator for Declarative Business Processes"],"prefix":"10.1007","author":[{"given":"Nat\u00e1lia Cabral","family":"Silva","sequence":"first","affiliation":[]},{"given":"Renata Medeiros","family":"de Carvalho","sequence":"additional","affiliation":[]},{"given":"C\u00e9sar Augusto Lins","family":"Oliveira","sequence":"additional","affiliation":[]},{"given":"Ricardo Massa Ferreira","family":"Lima","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"16_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1380572.1380578","volume":"9","author":"M. Alberti","year":"2008","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The sciff framework. ACM Trans. Comput. Logic 9(4), 29:1\u201329:43 (2008)","journal-title":"ACM Trans. Comput. Logic"},{"key":"16_CR2","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S.: et\u00a0al. Business process execution language for web services (2003)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"de Carvalho, R.M., Silva, N.C., Oliveira, C.A.L., Lima, R.M.: Reflex: an efficient graph-based rule engine to execute declarative processes. In: Proceedings of the International Conference on Systems, Man and Cybernetics (2013)","DOI":"10.1109\/SMC.2013.238"},{"key":"16_CR4","unstructured":"de Carvalho, R.M., Silva, N.C., Oliveira, C.A.L., Lima, R.M.: A solution to the state space explosion problem in declarative business process modeling. In: Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering (2013)"},{"issue":"3","key":"16_CR5","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s11280-006-0016-3","volume":"10","author":"A. Charfi","year":"2007","unstructured":"Charfi, A., Mezini, M.: Ao4bpel: An aspect-oriented extension to bpel. World Wide Web\u00a010(3), 309\u2013344 (2007)","journal-title":"World Wide Web"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/11948148_16","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"M. Colombo","year":"2006","unstructured":"Colombo, M., Di Nitto, E., Mauri, M.: SCENE: A service composition execution environment supporting dynamic changes disciplined through rules. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 191\u2013202. Springer, Heidelberg (2006)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Hermosillo, G., Seinturier, L., Duchien, L.: Using complex event processing for dynamic business process adaptation. In: 2010 IEEE International Conference on Services Computing (SCC), pp. 466\u2013473 (July 2010)","DOI":"10.1109\/SCC.2010.48"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T.T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: PLACES, pp. 59\u201373 (2010)","DOI":"10.4204\/EPTCS.69.5"},{"issue":"2","key":"16_CR9","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.infsof.2007.12.002","volume":"51","author":"M. Koning","year":"2009","unstructured":"Koning, M., Sun, C.-A., Sinnema, M., Avgeriou, P.: Vxbpel: Supporting variability for web services in bpel. Inf. Softw. Technol.\u00a051(2), 258\u2013269 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1109\/HICSS.2008.39","volume-title":"HICSS 2008: Proceedings of the 41st Annual Hawaii International Conference on System Sciences","author":"S. Nurcan","year":"2008","unstructured":"Nurcan, S.: A survey on the flexibility requirements related to business processes and modeling artifacts. In: HICSS 2008: Proceedings of the 41st Annual Hawaii International Conference on System Sciences, p. 378. IEEE Computer Society, Washington, DC (2008)"},{"key":"16_CR11","unstructured":"Oliveira, C., Silva, N., Sabat, C., Lima, R.: Reducing the gap between business and information systems through complex event processing. Computing and Informatics\u00a032(2) (2013)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: Declare: Full support for loosely-structured processes. In: 11th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007, p. 287 (October 2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"16_CR13","unstructured":"Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Control to Users. PhD thesis, Technische Universiteit Eindhoven, Eindhoven, The Netherlands (2008)"},{"key":"16_CR14","unstructured":"Silva, N.C., de Carvalho, R.M., Oliveira, C.A.L., Lima, R.M.: Integrating declarative processes and soa: A declarative web service orchestrator. In: Proceedings of the 2013 International Conference on Semantic Web and Web Services (2013)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Pesic, M.: Decserflow: Towards a truly declarative service flow language. In: Leymann, F., Reisig, W., Thatte, S.R., van der Aalst, W.M.P. (eds.) The Role of Business Processes in Service Oriented Architectures, July 16-July 21. Dagstuhl Seminar Proceedings, vol.\u00a006291. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany (2006)","DOI":"10.1007\/11841197_1"},{"issue":"4","key":"16_CR16","doi-asserted-by":"crossref","first-page":"791","DOI":"10.1016\/j.is.2010.12.005","volume":"36","author":"H. Weigand","year":"2011","unstructured":"Weigand, H., van den Heuvel, W.-J., Hiel, M.: Business policy compliance in service-oriented systems. Information Systems\u00a036(4), 791\u2013807 (2011), Selected Papers from the 2nd International Workshop on Similarity Search and Applications SISAP 2009","journal-title":"Information Systems"},{"key":"16_CR17","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1109\/SCC.2011.95","volume-title":"Proceedings of the 2011 IEEE International Conference on Services Computing, SCC 2011","author":"Z. Xiao","year":"2011","unstructured":"Xiao, Z., Cao, D., You, C., Mei, H.: Towards a constraint-based framework for dynamic business process adaptation. In: Proceedings of the 2011 IEEE International Conference on Services Computing, SCC 2011, pp. 685\u2013692. IEEE Computer Society, Washington, DC (2011)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45005-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T17:52:19Z","timestamp":1558720339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45005-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642173578","9783642173585"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45005-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}