{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:47:48Z","timestamp":1760586468306,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_9","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T09:18:43Z","timestamp":1225790323000},"page":"108-123","source":"Crossref","is-referenced-by-count":26,"title":["Towards Using Reo for Compliance-Aware Business Process Modeling"],"prefix":"10.1007","author":[{"given":"Farhad","family":"Arbab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natallia","family":"Kokash","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sun","family":"Meng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Curbera, F., Goland, Y., Klein, J., Leymann, F.: Business process execution language for web services. Technical report, IBM (2002), http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"9_CR2","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G.: Web services choreography description language (WS-CDL) version 1.0. Working draft, W3C (2004), http:\/\/www.w3.org\/TR\/2004\/WD-ws-cdl-10-20040427"},{"key":"9_CR3","unstructured":"(OMG), O.M.G.: Business process modeling notation (BPMN) specification. Final adopted specification, OMG (2006), http:\/\/www.bpmn.org\/Documents\/OMGFinalAdoptedBPMN1-0Spec06-02-01.pdf"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models. In: Information and Software Technology (IST) (2008)","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"9_CR5","unstructured":"Wong, P., Gibbons, J.: A process semantics for BPMN. Technical report, Queensland University of Technology (2007), http:\/\/www.comlab.ox.ac.uk\/publications\/publication454-abstract.html"},{"key":"9_CR6","unstructured":"Wong, P., Gibbons, J.: A relative timed semantics for BPMN. Technical report, Queensland University of Technology (2007), http:\/\/www.comlab.ox.ac.uk\/publications\/publication1496-abstract.html"},{"key":"9_CR7","unstructured":"Recker, J., Mendling, J.: On the translation between BPMN and BPEL: Conceptual mismatch between process modeling languages. In: Proc. of the Int. Conf. on Advanced Information Systems Engineering, pp. 521\u2013532 (2006)"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"42","DOI":"10.4018\/jwsr.2008010103","volume":"5","author":"C. Ouyang","year":"2007","unstructured":"Ouyang, C., Dumas, M., ter Hofstede, A., van der Aalst, W.: Pattern-based translation of BPMN process models to BPEL web services. Int. Journal of Web Services Research (JWSR)\u00a05(1), 42\u201361 (2007)","journal-title":"Int. Journal of Web Services Research (JWSR)"},{"issue":"2-3","key":"9_CR9","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.scico.2007.03.002","volume":"67","author":"C. Ouyang","year":"2007","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Science of Computer Programming\u00a067(2-3), 162\u2013198 (2007)","journal-title":"Science of Computer Programming"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-79230-7_6","volume-title":"Web Services and Formal Methods","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 77\u201391. Springer, Heidelberg (2008)"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.jlap.2006.05.007","volume":"70","author":"R. Lucchia","year":"2007","unstructured":"Lucchia, R., Mazzara, M.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming\u00a070(1), 96\u2013118 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.entcs.2005.07.038","volume":"151","author":"S. Nakajima","year":"2006","unstructured":"Nakajima, S.: Model-checking behavioral specification of BPEL applications. Electronic Notes in Theoretical Computer Science (ENTCS)\u00a0151, 89\u2013105 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science (ENTCS)"},{"key":"9_CR13","first-page":"180","volume-title":"Proc. of the Int. Conf. on Artificial Intelligence and Law (ICAIL 1989)","author":"L.T. McCarty","year":"1989","unstructured":"McCarty, L.T.: A language for legal discourse. In: Proc. of the Int. Conf. on Artificial Intelligence and Law (ICAIL 1989), pp. 180\u2013189. ACM Press, New York (1989)"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1147\/sj.462.0335","volume":"46","author":"Y. Liu","year":"2007","unstructured":"Liu, Y., M\u00fcller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Systems Journal\u00a046(2), 335\u2013361 (2007)","journal-title":"IBM Systems Journal"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1145\/1244002.1244085","volume-title":"Proc. of the ACM Symposium on Applied Computing (SAC 2007)","author":"S. Meng","year":"2007","unstructured":"Meng, S., Arbab, F.: Web service choreography and orchestration in Reo and constraint automata. In: Proc. of the ACM Symposium on Applied Computing (SAC 2007), pp. 346\u2013353. ACM Press, New York (2007)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-540-72794-1_16","volume-title":"Coordination Models and Languages","author":"F. Arbab","year":"2007","unstructured":"Arbab, F., Chothia, T., Meng, S., Moon, Y.J.: Component connectors with QoS guarantees. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 286\u2013304. Springer, Heidelberg (2007)"},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10270-006-0009-9","volume":"6","author":"F. Arbab","year":"2007","unstructured":"Arbab, F., Baier, C., de Boer, F.S., Rutten, J.J.M.M.: Models and temporal logics for timed component connectors. Int. Journal on Software and Systems Modeling\u00a06(1), 59\u201382 (2007)","journal-title":"Int. Journal on Software and Systems Modeling"},{"issue":"3","key":"9_CR18","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-40020-2_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F. Arbab","year":"2003","unstructured":"Arbab, F., Rutten, J.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 34\u201355. Springer, Heidelberg (2003)"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C. Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming\u00a061, 75\u2013113 (2006)","journal-title":"Science of Computer Programming"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-74974-5_14","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"A.K. Ghose","year":"2007","unstructured":"Ghose, A.K., Koliadis, G.: Auditing business process compliance. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 169\u2013180. Springer, Heidelberg (2007)"},{"key":"9_CR22","unstructured":"Giblin, C., Liu, A.Y., M\u00fcller, S., Pfitzmann, B., Zhou, X.: Regulations expressed as logical models (REALM). In: Proc. of the 18th Annual Conf. on Legal Knowledge and Information Systems, pp. 37\u201348 (2005)"},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1109\/EDOC.2006.22","volume-title":"Proc. of the Int. Enterprize Distributed Object Computing Conf. (EDOC 2006)","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Proc. of the Int. Enterprize Distributed Object Computing Conf. (EDOC 2006), pp. 221\u2013232. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"9_CR24","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/1314436.1314441","volume-title":"Proc. of the Workshop on Formal Methods in Security Engineering (FMSE 2007)","author":"J. Brunel","year":"2007","unstructured":"Brunel, J., Cuppens, F., Cuppens, N., Sans, T., Bodeveix, J.P.: Security policy compliance with violation management. In: Proc. of the Workshop on Formal Methods in Security Engineering (FMSE 2007), pp. 31\u201340. ACM Press, New York (2007)"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-540-72952-5_19","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"S. Meng","year":"2007","unstructured":"Meng, S., Arbab, F.: On resource-sensitive timed component connectors. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 301\u2013316. Springer, Heidelberg (2007)"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Blechmann, T., Baier, C.: Checking equivalence for Reo networks. In: Proc. of the Int. Workshop on Formal Aspects of Component Software (FACS) (2007)","DOI":"10.1016\/j.entcs.2008.06.029"},{"issue":"4","key":"9_CR27","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.entcs.2008.03.100","volume":"194","author":"C. Koehler","year":"2008","unstructured":"Koehler, C., Lazovik, A., Arbab, F.: Connector rewriting with high-level replacement systems. Electronic Notes in Theoretical Computer Science (ENTCS)\u00a0194(4), 77\u201392 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science (ENTCS)"},{"key":"9_CR28","unstructured":"Brandt, C., Engel, T., Braatz, B., Hermann, F., Ehrig, H.: An approach using formally well-founded domain languages for secure coarse-grained IT system modelling in a real-world banking scenario. In: Proc. of the Australasian Conf. on Information Systems (ACIS 2007), pp. 386\u2013395 (2007)"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T22:30:52Z","timestamp":1557873052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}