{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:10:24Z","timestamp":1725549024524},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642112065"},{"type":"electronic","value":"9783642112072"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11207-2_19","type":"book-chapter","created":{"date-parts":[[2010,3,5]],"date-time":"2010-03-05T09:46:11Z","timestamp":1267782371000},"page":"253-267","source":"Crossref","is-referenced-by-count":0,"title":["Achieving Life-Cycle Compliance of Service-Oriented Architectures: Open Issues and Challenges"],"prefix":"10.1007","author":[{"given":"Theodoor","family":"Scholte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Engin","family":"Kirda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","first-page":"92","volume-title":"ICDE 2006: Proceedings of the 22nd International Conference on Data Engineering","author":"R. Agrawal","year":"2006","unstructured":"Agrawal, R., Johnson, C., Kiernan, J., Leymann, F.: Taming compliance with sarbanes-oxley internal controls using database technology. In: ICDE 2006: Proceedings of the 22nd International Conference on Data Engineering, Washington, DC, USA, p. 92. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/11841197_4","volume-title":"Web Services and Formal Methods","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Storari, S., Torroni, P.: Computational logic for run-time verification of web services choreographies: Exploiting the ocs-si tool. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 58\u201372. Springer, Heidelberg (2006)"},{"key":"19_CR3","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/978-3-540-88479-8_9","volume-title":"ISoLA","author":"F. Arbab","year":"2008","unstructured":"Arbab, F., Kokash, N., Meng, S.: Towards using reo for compliance-aware business process modeling. In: Margaria, T., Steffen, B. (eds.) ISoLA. Communications in Computer and Information Science, vol.\u00a017, pp. 108\u2013123. Springer, Heidelberg (2008)"},{"key":"19_CR4","unstructured":"Austin, C.: J2se 5.0 in a nutshell"},{"key":"19_CR5","unstructured":"International Accounting\u00a0Standards Board. International accounting standard 1: Presentation of financial statements"},{"issue":"13","key":"19_CR6","first-page":"2107","volume":"14","author":"C. Canal","year":"2008","unstructured":"Canal, C., Murillo, J.M., Poizat, P.: Software adaptation\u00a014(13), 2107\u20132109 (2008)","journal-title":"Software adaptation"},{"key":"19_CR7","unstructured":"European Commission. Markets in financial instruments directive"},{"key":"19_CR8","unstructured":"United\u00a0States Congress. Health insurance portability and accountability act of (1996)"},{"key":"19_CR9","unstructured":"EU\u00a0FP7\u00a0MASTER Consortium. Managing assurance, security and trust for services, http:\/\/www.master-fp7.eu"},{"key":"19_CR10","unstructured":"Creswell, J.: Citigroup agrees to pay 2 billion in enron scandal. The New York Times (June 2005)"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Dadam, P., Reichert, M.: The adept project: A decade of research and development for robust and flexible process support - challenges and achievements. Computer Science - Research and Development\u00a0(23), 81\u201397 (2009)","DOI":"10.1007\/s00450-009-0068-6"},{"key":"19_CR12","unstructured":"Dash, E.: Parmalat sues citigroup over transactions. The New York Times (July 2004)"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/275487.275491","volume-title":"PODS 1998: Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems","author":"H. Davulcu","year":"1998","unstructured":"Davulcu, H., Kifer, M., Ramakrishnan, C.R., Ramakrishnan, I.V.: Logic based modeling and analysis of workflows. In: PODS 1998: Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, pp. 25\u201333. ACM, New York (1998)"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. Technical report, Amherst, MA, USA (1998)","DOI":"10.1145\/298595.298598"},{"key":"19_CR15","unstructured":"El Kharbili, M., Stein, S., Markovic, I., Pulverm\u00fcller, E.: Towards a framework for semantic business process compliance management. In: Proceedings of the First International Workshop on Governance, Risk and Compliance (GRCIS), Montpellier, France, June 17 (2008)"},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/AICT-ICIW.2006.131","volume-title":"AICT-ICIW 2006: Proceedings of the Advanced Int\u2019l Conference on Telecommunications and Int\u2019l Conference on Internet and Web Applications and Services","author":"H. Foster","year":"2006","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based analysis of obligations in web service choreography. In: AICT-ICIW 2006: Proceedings of the Advanced Int\u2019l Conference on Telecommunications and Int\u2019l Conference on Internet and Web Applications and Services, Washington, DC, USA, p. 149. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"19_CR17","unstructured":"Gouvernement Francais. La loi de s\u00c9curit\u00c9 financi\u00c9re"},{"issue":"2","key":"19_CR18","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1023\/A:1011139719773","volume":"13","author":"G.M. Giaglis","year":"2001","unstructured":"Giaglis, G.M.: A taxonomy of business process modeling and information systems modeling techniques. International Journal of Flexible Manufacturing Systems\u00a013(2), 209\u2013228 (2001)","journal-title":"International Journal of Flexible Manufacturing Systems"},{"key":"19_CR19","unstructured":"Giblin, C., Liu, A.Y., M\u00fcller, S., Pfitzmann, B., Zhou, X.: Regulations expressed as logical models (realm). Technical Report RZ 3616, IBM Research, Zurich (July 2005)"},{"key":"19_CR20","unstructured":"Giblin, C., M\u00fcller, S., Pfitzmann, B.: From regulatory policies to event monitoring rules: Towards model-driven compliance automation. Technical Report RZ 3662, IBM Research (2006)"},{"key":"19_CR21","unstructured":"Commissie\u00a0Corporate Governance. De nederlandse corporate governance code: Beginselen van deugdelijk ondernemingsbestuur en best practice bepalingen"},{"key":"19_CR22","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1109\/EDOC.2006.22","volume-title":"EDOC 2006: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: EDOC 2006: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference, Washington, DC, USA, pp. 221\u2013232. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"19_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-44895-0","volume-title":"Business Process Management","author":"A.H.M. Hofstede Ter","year":"2003","unstructured":"Ter Hofstede, A.H.M., Weske, M.: Business process management: A survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"19_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of aspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"19_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"19_CR26","unstructured":"Lang, U., Schreiner, R.: Managing business compliance using model-driven security management. In: Proceeedings of ISSE 2008 Securing Electronic Business Processes (2008)"},{"issue":"2","key":"19_CR27","doi-asserted-by":"crossref","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":"19_CR28","unstructured":"Ly, L.T., G\u00f6ser, K., Rinderle-Ma, S., Dadam, P.: Compliance of semantic constraints - a requirements analysis for process management systems. In: Proc. 1st Int\u2019l Workshop on Governance, Risk and Compliance - Applications in Information Systems (GRCIS 2008), Montpellier, France (2008)"},{"issue":"1","key":"19_CR29","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.datak.2007.06.007","volume":"64","author":"L.T. Ly","year":"2008","unstructured":"Ly, L.T., Rinderle, S., Dadam, P.: Integration and verification of semantic constraints in adaptive process management systems. Data Knowl. Eng.\u00a064(1), 3\u201323 (2008)","journal-title":"Data Knowl. Eng."},{"key":"19_CR30","unstructured":"Namiri, K., Stojanovic, N.: A formal approach for internal controls compliance in business processes. In: Proceedings of the 8th Workshop on Business Process Modeling, Development, and Support, Trondheim, Norway (2007)"},{"key":"19_CR31","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-76848-7_6","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"K. Namiri","year":"2007","unstructured":"Namiri, K., Stojanovic, N.: Pattern-based design and validation of business process compliance. In: On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, pp. 59\u201376. Springer, Heidelberg (2007)"},{"key":"19_CR32","unstructured":"OASIS. extensible access control markup language (xacml) version 2.0 (February 2005)"},{"key":"19_CR33","unstructured":"OASIS. Web services business process execution language (2007)"},{"key":"19_CR34","unstructured":"Basel\u00a0Committee on\u00a0Banking\u00a0Supervision. International convergence of capital measurement and capital standards: A revised framework"},{"key":"19_CR35","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/508386.508404","volume-title":"AOSD 2002: Proceedings of the 1st international conference on Aspect-oriented software development","author":"A. Popovici","year":"2002","unstructured":"Popovici, A., Gross, T., Alonso, G.: Dynamic weaving for aspect-oriented programming. In: AOSD 2002: Proceedings of the 1st international conference on Aspect-oriented software development, pp. 141\u2013147. ACM, New York (2002)"},{"key":"19_CR36","doi-asserted-by":"crossref","unstructured":"Sarbanes, P., Oxley, M.: Sarbanes-oxley act of 2002 (pub.l. 107-204, 116 stat. 745)","DOI":"10.2307\/1342618"},{"key":"19_CR37","unstructured":"Sedera, W., Gable, G.G., Rosemann, M., Smyth, R.W.: A success model for business process modeling: findings from a multiple case study (2004)"},{"key":"19_CR38","unstructured":"Streitfeld, D., Morgenson, G.: Building flawed american dreams. The New York Times (October 2008)"},{"key":"19_CR39","unstructured":"Vasseur, A.: Dynamic aop and runtimeweaving for java - how does aspectwerkz address it? In: Workshop on Dynamic AOP (2004)"},{"key":"19_CR40","unstructured":"W3C. Web services choreography description language version 1.0"},{"key":"19_CR41","doi-asserted-by":"crossref","unstructured":"Wolter, C., Menzel, M., Schaad, A., Miseldine, P., Meinel, C.: Model-driven business process security requirement specification. Journal of Systems Architecture, 13 (2008)","DOI":"10.1016\/j.sysarc.2008.10.002"},{"key":"19_CR42","unstructured":"Wolter, C., Schaad, A., Meinel, C.: A transformation approach for security enhanced business processes. In: Proc. SE 2008 of 26th IASTED International Multi-Conference (February 2008)"},{"key":"19_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11912873_18","volume-title":"Web Information Systems \u2013 WISE 2006","author":"J. Yu","year":"2006","unstructured":"Yu, J., Manh, T.P., Han, J., Jin, Y., Han, Y., Wang, J.: Pattern based property specification and verification for service composition. In: Aberer, K., Peng, Z., Rundensteiner, E.A., Zhang, Y., Li, X. (eds.) WISE 2006. LNCS, vol.\u00a04255, pp. 156\u2013168. Springer, Heidelberg (2006)"},{"issue":"3","key":"19_CR44","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1147\/sj.263.0276","volume":"26","author":"J.A. Zachman","year":"1987","unstructured":"Zachman, J.A.: A framework for information systems architecture. IBM Syst. J.\u00a026(3), 276\u2013292 (1987)","journal-title":"IBM Syst. J."}],"container-title":["Lecture Notes in Computer Science","Data Privacy Management and Autonomous Spontaneous Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11207-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:38:20Z","timestamp":1606167500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11207-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642112065","9783642112072"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11207-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}