{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:55:27Z","timestamp":1725569727517},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169335"},{"type":"electronic","value":"9783642169342"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16934-2_11","type":"book-chapter","created":{"date-parts":[[2010,11,5]],"date-time":"2010-11-05T14:15:39Z","timestamp":1288966539000},"page":"114-131","source":"Crossref","is-referenced-by-count":9,"title":["Compliant Business Process Design Using Refinement Layers"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Schleicher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Anstett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Leymann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Schumm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"U.S. Code. Sarbanes-Oxley Act of 2002, PL 107-204, 116 Stat 745 (2002)","DOI":"10.2307\/1342618"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-642-05148-7_29","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009","author":"H. Eberle","year":"2009","unstructured":"Eberle, H., Unger, T., Leymann, F.: Process Fragments. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol.\u00a05870, pp. 398\u2013405. Springer, Heidelberg (2009)"},{"issue":"4","key":"11_CR4","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1142\/S0218843006001529","volume":"15","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z.: A formal analysis of a business contract language. Int. J. Cooperative Inf. Syst.\u00a015(4), 659\u2013685 (2006)","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"11_CR5","unstructured":"Halfmann, A.: Siemens versiebenfacht Zahl der Compliance-Mitarbeiter (January 2009)"},{"key":"11_CR6","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J.E. Hopcroft","year":"2007","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation, 3rd edn. Pearson Addison-Wesley, Upper Saddle River (2007)","edition":"3"},{"key":"11_CR7","unstructured":"Jureta, I., Siena, A., Mylopoulos, J., Perini, A., Susi, A.: Theory of regulatory compliance for requirements engineering. CoRR, abs\/1002.3711, informal publication (2010)"},{"key":"11_CR8","unstructured":"Khalaf, R.: Supporting business process fragmentation while maintaining operational semantics: a BPEL perspective. Doctoral thesis, University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany (March 2008)"},{"issue":"2","key":"11_CR9","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 Syst. J.\u00a046(2), 335\u2013361 (2007)","journal-title":"IBM Syst. J."},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/ICNS.2009.76","volume-title":"ICNS 2009: Proceedings of the 2009 Fifth International Conference on Networking and Services","author":"Z. Ma","year":"2009","unstructured":"Ma, Z., Leymann, F.: Bpel fragments for modularized reuse in modeling bpel processes. In: ICNS 2009: Proceedings of the 2009 Fifth International Conference on Networking and Services, Washington, DC, USA, pp. 63\u201368. IEEE Computer Society, Los Alamitos (2009)"},{"key":"11_CR11","volume-title":"Proceedings of the International Conference on Services Computing, Industry Track, SCC 2008","author":"R. Mietzner","year":"2008","unstructured":"Mietzner, R., Leymann, F.: Generation of BPEL Customization Processes for SaaS Applications from Variability Descriptors. In: Proceedings of the International Conference on Services Computing, Industry Track, SCC 2008. IEEE, Los Alamitos (Juli 2008)"},{"key":"11_CR12","unstructured":"OASIS. Web Services Business Process Execution Language Version 2.0 \u2013 OASIS Standard (2007)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-75183-0_12","volume-title":"Business Process Management","author":"S.W. Sadiq","year":"2007","unstructured":"Sadiq, S.W., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 149\u2013164. Springer, Heidelberg (2007)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009","author":"D. Schleicher","year":"2009","unstructured":"Schleicher, D., Anstett, T., Leymann, F., Mietzner, R.: Maintaining Compliance in Customizable Process Models. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol.\u00a05870, pp. 1\u201316. Springer, Heidelberg (2009)"},{"key":"11_CR15","unstructured":"Schumm, D., Leymann, F., Ma, Z., Scheibler, T., Strauch, S.: Integrating Compliance into Business Processes: Process Fragments as Reusable Compliance Controls. In: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2010), Universitaetsverlag Goettingen (2010)"},{"key":"11_CR16","unstructured":"Yi, W., Pettersson, P., Daniels, M.: Automatic verification of real-time communicating systems by constraint-solving. In: Proc. of the 7th International Conference on Formal Description Techniques, pp. 223\u2013238 (1994)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16934-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T02:58:58Z","timestamp":1559789938000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16934-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169335","9783642169342"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16934-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}