{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T22:10:07Z","timestamp":1750543807296,"version":"3.41.0"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319625683"},{"type":"electronic","value":"9783319625690"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-62569-0_12","type":"book-chapter","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T10:05:37Z","timestamp":1499767537000},"page":"239-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Applying MDA to Rule and Data Generation for Compliance Checking"],"prefix":"10.1007","author":[{"given":"Deepali","family":"Kholkar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sagar","family":"Sunkle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vinay","family":"Kulkarni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,12]]},"reference":[{"key":"12_CR1","unstructured":"Thomson Reuters: State of regulatory reform 2016 - a special report (2016)"},{"key":"12_CR2","unstructured":"Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: APCCM 2010, pp. 3\u201312 (2010)"},{"key":"12_CR3","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-12814-1_10","volume-title":"Business Information Systems","author":"A Awad","year":"2010","unstructured":"Awad, A., Weidlich, M., Weske, M.: Consistency checking of compliance rules. In: Abramowicz, W., Tolksdorf, R. (eds.) BIS 2010. LNBIP, vol. 47, pp. 106\u2013118. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-12814-1_10"},{"key":"12_CR4","unstructured":"El Kharbili, M., de Medeiros, A.K.A., Stein, S., van der Aalst, W.M.P.: Business process compliance checking: current state and future challenges. In: Loos, P., Nuttgens, M., Turowski, K., Werth, D. (eds.) MobIS. LNI, vol. 141, pp. 107\u2013113 (2008)"},{"key":"12_CR5","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-00328-8_2","volume-title":"Business Process Management Workshops","author":"G Governatori","year":"2009","unstructured":"Governatori, G., Hoffmann, J., Sadiq, S., Weber, I.: Detecting regulatory compliance for business process models through semantic annotations. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008. LNBIP, vol. 17, pp. 5\u201317. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-00328-8_2"},{"issue":"2\u20133","key":"12_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in RuleML. Int. J. Cooper. Inf. Syst. 14(2\u20133), 181\u2013216 (2005)","journal-title":"Int. J. Cooper. Inf. Syst."},{"key":"12_CR7","unstructured":"Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: APCCM 2010, pp. 3\u201312 (2013)"},{"issue":"2\u20133","key":"12_CR8","first-page":"181","volume":"14","author":"N Dimaresis","year":"2007","unstructured":"Dimaresis, N.: A system for modal and deontic defeasible reasoning. Int. J. Cooper. Inf. Syst. 14(2\u20133), 181\u2013216 (2007)","journal-title":"Int. J. Cooper. Inf. Syst."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Kholkar, D., Sunkle, S., Kulkarni, V.: From natural-language regulations to enterprise data using knowledge representation and model transformations. In: Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016), vol. 2: ICSOFT-PT, Lisbon, Portugal, 24\u201326 July, pp. 60\u201371 (2016)","DOI":"10.5220\/0006002600600071"},{"key":"12_CR10","volume-title":"Cost of Compliance 2014","author":"S English","year":"2014","unstructured":"English, S., Hammond, S.: Cost of Compliance 2014. Thomson Reuters Accelus, London (2014)"},{"key":"12_CR11","series-title":"Addison Wesley Object Technology Series","volume-title":"MDA Explained - The Model Driven Architecture: Practice and Promise","author":"A Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained - The Model Driven Architecture: Practice and Promise. Addison Wesley Object Technology Series. Addison-Wesley, Boston (2003)"},{"issue":"5","key":"12_CR12","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MS.2003.1231154","volume":"20","author":"V Kulkarni","year":"2003","unstructured":"Kulkarni, V., Reddy, S.: Separation of concerns in model-driven development. IEEE Softw. 20(5), 64\u201369 (2003)","journal-title":"IEEE Softw."},{"key":"12_CR13","volume-title":"Knowledge Representation and Reasoning","author":"RJ Brachman","year":"2004","unstructured":"Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Elsevier, Amsterdam (2004)"},{"key":"12_CR14","volume-title":"Reflection and Semantics in a Procedural Language","author":"BC Smith","year":"1982","unstructured":"Smith, B.C.: Reflection and Semantics in a Procedural Language. Massachusetts Institute of Technology, Cambridge (1982)"},{"key":"12_CR15","unstructured":"Nijssen, G.: SBVR: semantics for business. Bus. Rules J. 8(10) (2007). http:\/\/www.brcommunity.com\/a2007\/b367.html"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-72677-7_2","volume-title":"Conceptual Modelling in Information Systems Engineering","author":"T Halpin","year":"2007","unstructured":"Halpin, T.: Fact oriented modeling - past, present and future. In: Krogstie, J., Opdahl, A.L., Brinkkemper, S. (eds.) Conceptual Modelling in Information Systems Engineering, pp. 19\u201338. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-72677-7_2"},{"key":"12_CR17","unstructured":"Alhir, S.S.: Understanding the model driven architecture. Methods and tools (2003). http:\/\/www.methodsandtools.com\/archive\/archive.php?id=5"},{"key":"12_CR18","unstructured":"Reddy, S.: A model driven approach to enterprise data integration. In: COMAD 2010, p. 202 (2010)"},{"key":"12_CR19","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 Sadiq","year":"2007","unstructured":"Sadiq, S., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149\u2013164. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-75183-0_12"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-642-05148-7_4","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009","author":"A Awad","year":"2009","unstructured":"Awad, A., Smirnov, S., Weske, M.: Resolution of compliance violation in business process models: a planning-based approach. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol. 5870, pp. 6\u201323. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-05148-7_4"},{"issue":"2","key":"12_CR21","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. 46(2), 335\u2013362 (2007)","journal-title":"IBM Syst. J."},{"key":"12_CR22","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-319-19237-6_21","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"S Sunkle","year":"2015","unstructured":"Sunkle, S., Kholkar, D., Kulkarni, V.: Solving semantic disparity and explanation problems in regulatory compliance - a research-in-progress report with design science research perspective. In: Gaaloul, K., Schmidt, R., Nurcan, S., Guerreiro, S., Ma, Q. (eds.) CAISE 2015. LNBIP, vol. 214, pp. 326\u2013341. Springer, Cham (2015). doi: 10.1007\/978-3-319-19237-6_21"},{"key":"12_CR23","doi-asserted-by":"crossref","first-page":"39","DOI":"10.7250\/csimq.2015-5.04","volume":"5","author":"S Sunkle","year":"2015","unstructured":"Sunkle, S., Kholkar, D., Kulkarni, V.: Toward better mapping between regulations and operations of enterprises using vocabularies and semantic similarity. CSIMQ 5, 39\u201360 (2015)","journal-title":"CSIMQ"},{"key":"12_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-319-21542-6_25","volume-title":"Rule Technologies: Foundations, Tools, and Applications","author":"S Sunkle","year":"2015","unstructured":"Sunkle, S., Kholkar, D., Kulkarni, V.: Explanation of proofs of regulatory (non-)compliance using semantic vocabularies. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 388\u2013403. Springer, Cham (2015). doi: 10.1007\/978-3-319-21542-6_25"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Sunkle, S., Kholkar, D., Kulkarni, V.: Model-driven regulatory compliance: a case study of know your customer regulations. In: MoDELS 2015, pp. 436\u2013445 (2015)","DOI":"10.1109\/MODELS.2015.7338275"},{"key":"12_CR26","unstructured":"Sunkle, S., Kholkar, D., Kulkarni, V.: Toward (semi-)automated end-to-end model-driven compliance framework. In: ModSym+SAAAS@ISEC 2016, pp. 33\u201338 (2016)"},{"issue":"1\u20132","key":"12_CR27","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1016\/j.cose.2008.08.001","volume":"28","author":"TD Breaux","year":"2009","unstructured":"Breaux, T.D., Anton, A.I., Spafford, E.H.: A distributed requirements management framework for legal compliance and accountability. Comput. Secur. 28(1\u20132), 8\u201317 (2009)","journal-title":"Comput. Secur."},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Ingolfo, S., Siena, A., Susi, A., Perini, A., Mylopoulos, J.: Modeling laws with Nomos 2. In: Sixth International Workshop on Requirements Engineering and Law (RELAW), pp. 69\u201371, 16 July 2013","DOI":"10.1109\/RELAW.2013.6671350"},{"key":"12_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-319-12206-9_22","volume-title":"Conceptual Modeling","author":"S Ingolfo","year":"2014","unstructured":"Ingolfo, S., Jureta, I., Siena, A., Perini, A., Susi, A.: N\u00f2mos 3: legal compliance of roles and requirements. In: Yu, E., Dobbie, G., Jarke, M., Purao, S. (eds.) ER 2014. LNCS, vol. 8824, pp. 275\u2013288. Springer, Cham (2014). doi: 10.1007\/978-3-319-12206-9_22"},{"key":"12_CR30","unstructured":"El Kharbili, M., Stein, S., Markovic, I., Pulverm\u00fcller, E.: Towards a framework for semantic business process compliance management. The impact of governance, risk, and compliance on information systems (GRCIS). CEUR Workshop Proceedings, Montpellier, France, 17 June 2008, vol. 339, pp. 1\u201315 (2008)"},{"key":"12_CR31","unstructured":"El Kharbili, M.: Business process regulatory compliance management solution frameworks: a comparative evaluation. In: Ghose, A., Ferrarotti, F. (eds.) Asia-Pacific Conference on Conceptual Modelling (APCCM 2012), CRPIT, Melbourne, Australia, vol. 130, pp. 23\u201332. ACS (2012)"},{"issue":"2","key":"12_CR32","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF03342739","volume":"5","author":"J Becker","year":"2012","unstructured":"Becker, J., Delfmann, P., Eggert, M., Schwittay, S.: Generalizability and applicability of model-based business process compliance-checking approaches - a state-of-the-art analysis and research roadmap. BuR Bus. Res. J. 5(2), 221\u2013247 (2012)","journal-title":"BuR Bus. Res. J."},{"key":"12_CR33","unstructured":"Bajwa, I.S., Lee, M.G., Bordbar, B.: SBVR business rules generation from natural language specification. In: AAAI Spring Symposium: AI for Business Agility, pp. 2\u20138. AIII (2011)"},{"key":"12_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-39617-5_5","volume-title":"Theory, Practice, and Applications of Rules on the Web","author":"F L\u00e9vy","year":"2013","unstructured":"L\u00e9vy, F., Nazarenko, A.: Formalization of natural language regulations through SBVR structured English. In: Morgenstern, L., Stefaneas, P., L\u00e9vy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol. 8035, pp. 19\u201333. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-39617-5_5"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Njonko, P.B.F., El Abed, W.: From natural language business requirements to executable models via SBVR. In: 2012 International Conference on Systems and Informatics (ICSAI). IEEE (2012)","DOI":"10.1109\/ICSAI.2012.6223550"},{"key":"12_CR36","unstructured":"Abi-Lahoud, E., Butler, T., Chapin, D., Hall, J.: Interpreting regulations with SBVR. In: Fodor, P., Roman, D., Anicic, D., Wyner, A., Palmirani, M., Sottara, D., L\u00e9vy, F. (eds.) Joint Proceedings of the 7th International Rule Challenge, The Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium, Seattle, USA, 11\u201313 July 2013. CEUR Workshop Proceedings, vol. 1004 (2013). CEUR-WS.org"},{"key":"12_CR37","unstructured":"Johnsen, A.S., Berre, A.J.R.: A bridge between legislator and technologist - formalization in SBVR for improved quality and understanding of legal rules. In: International Workshop on Business Models, Business Rules and Ontologies, Bressanone, Brixen, Italy (2010)"},{"key":"12_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-16289-3_14","volume-title":"Semantic Web Rules","author":"A Kamada","year":"2010","unstructured":"Kamada, A., Governatori, G., Sadiq, S.: Transformation of SBVR compliant business rules to executable FCL rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 153\u2013161. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16289-3_14"},{"key":"12_CR39","doi-asserted-by":"crossref","unstructured":"Diouf, M., Maabout, S., Musumbu, K.: Merging model driven architecture and semantic web for business rules generation. In: Proceedings of the First International Conference on Web Reasoning and Rule Systems, Innsbruck, Austria, 7\u20138 June 2007, pp. 118\u2013132 (2007)","DOI":"10.1007\/978-3-540-72982-2_9"},{"key":"12_CR40","unstructured":"Bauer, E.: The Business Rules Approach (2009). http:\/\/is.uni-paderborn.de\/fileadmin\/Informatik\/AG-Engels\/Lehre\/WS0809\/SE\/Sonstiges\/Seminar\/Version1.0\/Seminar.NAQ.Eduard.Bauer.v1.0.pdf"}],"container-title":["Communications in Computer and Information Science","Software Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-62569-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T21:39:24Z","timestamp":1750541964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-62569-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319625683","9783319625690"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-62569-0_12","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"12 July 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOFT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 July 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoft2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icsoft.org\/?y=2016","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}