{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:26:00Z","timestamp":1725805560781},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116525"},{"type":"electronic","value":"9783319116532"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11653-2_28","type":"book-chapter","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T07:30:44Z","timestamp":1411111844000},"page":"450-466","source":"Crossref","is-referenced-by-count":9,"title":["Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg\u2019s Tax Law"],"prefix":"10.1007","author":[{"given":"Ghanem","family":"Soltana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elizabeta","family":"Fourneret","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Morayo","family":"Adedjouma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehrdad","family":"Sabetzadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"28_CR1","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1109\/TSE.2013.17","volume":"39","author":"S. Ali","year":"2013","unstructured":"Ali, S., Zohaib Iqbal, M., Arcuri, A., Briand, L.: Generating test data from OCL constraints with search techniques. IEEE Transactions on Software Engineering\u00a039(10), 1376\u20131402 (2013)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"28_CR2","first-page":"151","volume":"7","author":"N. Am\u00e0lio","year":"2010","unstructured":"Am\u00e0lio, N., Kelsen, P., Ma, Q., Glodt, C.: Using VCL as an Aspect-Oriented Approach to Requirements Modelling. Transactions on Aspect-Oriented Software Development\u00a07, 151\u2013199 (2010)","journal-title":"Transactions on Aspect-Oriented Software Development"},{"key":"28_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/3-540-40011-7_21","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"P. Bottoni","year":"2000","unstructured":"Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Consistency checking and visualization of OCL constraints. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 294\u2013308. Springer, Heidelberg (2000)"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Breaux, T.: A method to acquire compliance monitors from regulations. In: Proc. of 3rd Intl. Wrkshp. on RE and Law (RELAW 2010), pp. 17\u201326 (2010)","DOI":"10.1109\/RELAW.2010.5625358"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Breaux, T.: Exercising due diligence in legal requirements acquisition: A tool-supported, frame-based approach. In: Proc. of 17th IEEE Intl. Requirements Engineering Conf. (RE 2009), pp. 225\u2013230 (2009)","DOI":"10.1109\/RE.2009.46"},{"issue":"3","key":"28_CR6","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/s10270-009-0129-0","volume":"9","author":"J. Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., Lara, J.: A UML\/OCL framework for the analysis of graph transformation rules. Software and Systems Modeling\u00a09(3), 335\u2013357 (2010)","journal-title":"Software and Systems Modeling"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Cabot, J., Clariso, R., Riera, D.: Verification of UML\/OCL class diagrams using constraint programming. In: Proc. of 2008 IEEE Conf. on Software Testing Verification and Validation Wrkshp. (ICST 2008), pp. 73\u201380 (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Corbin, J., Strauss, A.: Basics of Qualitative Research: Techniques and Procedures for Developing Grounded Theory, 3rd edn. SAGE Publications (2008)","DOI":"10.4135\/9781452230153"},{"key":"28_CR9","unstructured":"Dey, I.: Qualitative data analysis - A user-friendly guide for social scientists. Routledge (1993)"},{"key":"28_CR10","unstructured":"Eclipse Foundation: Acceleo - transforming models into code, \n                    \n                      http:\/\/www.eclipse.org\/acceleo\/\n                    \n                    \n                   (last accessed: March 2014)"},{"key":"28_CR11","unstructured":"Eclipse Foundation: Ecore tools, \n                    \n                      http:\/\/www.eclipse.org\/ecoretools\/\n                    \n                    \n                   (last accessed: March 2014)"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Ghanavati, S., Amyot, D., Peyton, L.: Towards a framework for tracking legal compliance in healthcare. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007. LNCS, vol.\u00a04495, pp. 218\u2013232. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-72988-4_16"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11837862_2","volume-title":"Business Process Management Workshops","author":"S. Goedertier","year":"2006","unstructured":"Goedertier, S., Vanthienen, J.: Designing compliant business processes with obligations and permissions. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 5\u201314. Springer, Heidelberg (2006)"},{"key":"28_CR14","unstructured":"Gov. of Luxembourg: Modified income tax law of December 4, 1967 (2013)"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Hassan, W., Logrippo, L.: Requirements and compliance in legal systems: A logic approach. In: Proc. of 1st Intl. Wrkshp. on RE and Law (RELAW 2008), pp. 40\u201344 (2008)","DOI":"10.1109\/RELAW.2008.8"},{"key":"28_CR16","unstructured":"Jackson, D.: Software Abstractions Logic, Language, and Analysis. The MIT Press (2006)"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Korherr, B., List, B.: Extending the UML 2 activity diagram with business process goals and performance measures and the mapping to BPEL. In: Proc. of 2nd Intl. Wrkshp. on Best Practices of UML (ER BP-UML 2006), pp. 7\u201318 (2006)","DOI":"10.1007\/11908883_4"},{"key":"28_CR18","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3rd edn. Prentice Hall (2004)"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Maxwell, J., Anton, A.: Checking existing requirements for compliance with law using a production rule model. In: Proc. of 2nd Intl. Wrkshp. on RE and Law (RELAW 2009), pp. 1\u20136 (2009)","DOI":"10.1109\/RELAW.2009.3"},{"key":"28_CR20","first-page":"2","volume":"5","author":"M. Milanovic","year":"2007","unstructured":"Milanovic, M., Gasevic, D., Giurca, A., Gerd, W., Devedzic, V.: Towards sharing rules between OWL\/SWRL and UML\/OCL. Electronic Communications of European Association of Software Science and Technology\u00a05, 2\u201319 (2007)","journal-title":"Electronic Communications of European Association of Software Science and Technology"},{"key":"28_CR21","unstructured":"Miles, M., Huberman, A.: Qualitative data analysis: An expanded sourcebook. SAGE (1994)"},{"key":"28_CR22","unstructured":"Object Management Group: UML 2.2 superstructure specification (2009)"},{"issue":"1","key":"28_CR23","first-page":"38","volume":"4","author":"L. Reynoso","year":"2004","unstructured":"Reynoso, L., Genero, M., Piattini, M.: Towards a metric suite for OCL expressions expressed within UML\/OCL models. Journal of Computer Science and Technology\u00a04(1), 38\u201344 (2004)","journal-title":"Journal of Computer Science and Technology"},{"key":"28_CR24","doi-asserted-by":"crossref","unstructured":"Ruiter, D.: Institutional Legal Facts: Legal Powers and their Effects. Kluwer Academic Publishers (1993)","DOI":"10.1007\/978-94-015-8198-1"},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"Smith, G.: The Object-Z specification language. Kluwer (2000)","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"28_CR26","unstructured":"Soltana, G., Fourneret, E., Adedjouma, M., Sabetzadeh, M., Briand, L.: Using UML for modeling legal rules. Tech. Rep. TR-SnT-2014-3, Interdisciplinary Centre for Security, Reliability and Trust (SnT) (March 2014), \n                    \n                      http:\/\/people.svv.lu\/soltana\/Models14.pdf"},{"key":"28_CR27","doi-asserted-by":"crossref","unstructured":"Stein, D., Hanenberg, S., Unland, R.: A graphical notation to specify model queries for MDA transformations on UML models. In: A\u00dfmann, U., Ak\u015fit, M., Rensink, A. (eds.) MDAFA 2003\/2004. LNCS, vol.\u00a03599, pp. 77\u201392. Springer, Heidelberg (2005)","DOI":"10.1007\/11538097_6"},{"key":"28_CR28","doi-asserted-by":"crossref","unstructured":"van Engers, T., Gerrits, R., Boekenoogen, M., Glass\u00e9e, E., Kordelaar, P.: POWER: using UML\/OCL for modeling legislation - an application report. In: Proc. of 8th Intl. Conf. on Artificial Intelligence and Law (ICAIL 2008), pp. 157\u2013167 (2001)","DOI":"10.1145\/383535.383554"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11653-2_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T19:19:42Z","timestamp":1558984782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11653-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319116525","9783319116532"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11653-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}