{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T01:13:23Z","timestamp":1769044403930,"version":"3.49.0"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T00:00:00Z","timestamp":1467676800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Fonds National de la Recherche Luxenbourg (FNR)","award":["FNR\/P10\/03"],"award-info":[{"award-number":["FNR\/P10\/03"]}]},{"name":"Fonds National de la Recherche Luxenbourg (FNR)","award":["FNR9242479"],"award-info":[{"award-number":["FNR9242479"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s10270-016-0542-0","type":"journal-article","created":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T09:55:58Z","timestamp":1467712558000},"page":"851-883","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Model-based simulation of legal policies: framework, tool support, and validation"],"prefix":"10.1007","volume":"17","author":[{"given":"Ghanem","family":"Soltana","sequence":"first","affiliation":[]},{"given":"Nicolas","family":"Sannier","sequence":"additional","affiliation":[]},{"given":"Mehrdad","family":"Sabetzadeh","sequence":"additional","affiliation":[]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,5]]},"reference":[{"issue":"10","key":"542_CR1","doi-asserted-by":"crossref","first-page":"1376","DOI":"10.1109\/TSE.2013.17","volume":"39","author":"S Ali","year":"2013","unstructured":"Ali, S., Iqbal, M., Arcuri, A., Briand, L.C.: Generating test data from OCL constraints with search techniques. IEEE Trans. Softw. Eng. 39(10), 1376\u20131402 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"542_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/2581376","volume":"23","author":"R Behjati","year":"2014","unstructured":"Behjati, R., Nejati, S., Briand, L.: Architecture-level configuration of large-scale embedded software systems. ACM Trans. Softw. Eng. Methodol. 23(3), 25 (2014)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"3","key":"542_CR3","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s10506-012-9131-x","volume":"20","author":"T Bench-Capon","year":"2012","unstructured":"Bench-Capon, T., et al.: A history of AI and law in 50 papers: 25 years of the international conference on AI and law. Artif. Intell. Law 20(3), 215\u2013319 (2012)","journal-title":"Artif. Intell. Law"},{"key":"542_CR4","doi-asserted-by":"crossref","unstructured":"Bousse, E., Combemale, B., Baudry, B.: Scalable armies of model clones through data sharing. In: Proceedings of the 17th ACM\/IEEE International Conference on Model-Driven Engineering Languages and Systems (MODELS\u201914), pp. 286\u2013301 (2014)","DOI":"10.1007\/978-3-319-11653-2_18"},{"issue":"1","key":"542_CR5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/TSE.2007.70746","volume":"34","author":"T Breaux","year":"2008","unstructured":"Breaux, T., Anton, A.: Analyzing regulatory rules for privacy and security requirements. IEEE Trans. Softw. Eng. 34(1), 5\u201320 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"542_CR6","doi-asserted-by":"crossref","unstructured":"Breaux, T.D., Powers, C.: Early studies in acquiring evidentiary, reusable business process models from laws for legal compliance. In: Proceedings of the 6th IEEE International Conference on Information Technology: New Generations (ITNG\u201909), pp. 272\u2013277 (2009)","DOI":"10.1109\/ITNG.2009.72"},{"key":"542_CR7","unstructured":"Breuker, J., Valente, A., Winkels, R., et\u00a0al.: Legal ontologies: a functional view. In: Proceedings of the 1st LegOut Workshop on Legal Ontologies, pp. 23\u201336. Citeseer (1997)"},{"key":"542_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jss.2014.03.023","volume":"93","author":"J Cabot","year":"2014","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: On the verification of UML\/OCL class diagrams using constraint programming. J. Syst. Softw. 93, 1\u201323 (2014)","journal-title":"J. Syst. Softw."},{"key":"542_CR9","unstructured":"Canova, L., Piccoli, L., Spadaro, A.: SYSIFF 2006: a microsimulation model for the French tax system. Tech. Rep, MicroSimula\u2014Paris School of Economics (2009)"},{"issue":"3","key":"542_CR10","first-page":"300","volume":"1","author":"SH Cha","year":"2007","unstructured":"Cha, S.H.: Comprehensive survey on distance\/similarity measures between probability density functions. Int. J. Math. Models Methods Appl. Sci. 1(3), 300\u2013307 (2007)","journal-title":"Int. J. Math. Models Methods Appl. Sci."},{"key":"542_CR11","volume-title":"Nonparametric Statistics: A Step-by-Step Approach","author":"GW Corder","year":"2014","unstructured":"Corder, G.W., Foreman, D.: Nonparametric Statistics: A Step-by-Step Approach. Wiley, Hoboken (2014)"},{"key":"542_CR12","volume-title":"Introduction to Algorithms","author":"TH Cormen","year":"2009","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press, Cambridge (2009)","edition":"3"},{"key":"542_CR13","doi-asserted-by":"crossref","unstructured":"Di Nardo, D., Pastore, F., Briand, L.C.: Generating complex and faulty test data through model-based mutation analysis. In: Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation (ICST\u201915), pp. 1\u201310 (2015)","DOI":"10.1109\/ICST.2015.7102589"},{"key":"542_CR14","doi-asserted-by":"crossref","unstructured":"Figari, F., Paulus, A., Sutherland, H.: Microsimulation and policy analysis. Handb. Income Distrib. 2 (2014)","DOI":"10.1016\/B978-0-444-59429-7.00025-X"},{"key":"542_CR15","doi-asserted-by":"crossref","unstructured":"Ghanavati, S., Amyot, D., Peyton, L.: Towards a framework for tracking legal compliance in healthcare. In: Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CAiSE\u201907), pp. 218\u2013232 (2007)","DOI":"10.1007\/978-3-540-72988-4_16"},{"issue":"4","key":"542_CR16","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. Softw. Syst. Model. 4(4), 386\u2013398 (2005)","journal-title":"Softw. Syst. Model."},{"key":"542_CR17","unstructured":"Object\u00a0Management Group: UML 2.2 Superstructure Specification (2009)"},{"key":"542_CR18","doi-asserted-by":"crossref","unstructured":"Hartmann et al., T.: Generating realistic smart grid communication topologies based on real-data. In: Proceedings of the 5th IEEE International Conference on Smart Grid Communications (SmartGridComm\u201914), pp. 428\u2013433 (2014)","DOI":"10.1109\/SmartGridComm.2014.7007684"},{"issue":"2","key":"542_CR19","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/s10664-013-9296-2","volume":"20","author":"F Hermans","year":"2015","unstructured":"Hermans, F., Pinzger, M., van Deursen, A.: Detecting and refactoring code smells in spreadsheet formulas. Empir. Softw. Eng. 20(2), 549\u2013575 (2015)","journal-title":"Empir. Softw. Eng."},{"key":"542_CR20","doi-asserted-by":"crossref","unstructured":"Hermans, F., Pinzger, M., van Deursen, A.: Detecting and visualizing inter-worksheet smells in spreadsheets. In: Proceedings of the 34th IEEE International Conference on Software Engineering (ICSE\u201912), pp. 441\u2013451 (2012)","DOI":"10.1109\/ICSE.2012.6227171"},{"key":"542_CR21","unstructured":"IBM: IBM Rational Software Architect Simulation Toolkit. http:\/\/www-03.ibm.com\/software\/products\/en\/ratisoftarchsimutool"},{"key":"542_CR22","unstructured":"IBM: Rational Rhapsody Designer for Systems Engineers. http:\/\/www-03.ibm.com\/software\/products\/en\/ratirhapdesiforsystengi"},{"issue":"1","key":"542_CR23","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1007\/s10270-013-0328-6","volume":"14","author":"M Iqbal","year":"2013","unstructured":"Iqbal, M., Arcuri, A., Briand, L.: Environment modeling and simulation for automated testing of soft real-time embedded software. Softw. Syst. Model. 14(1), 483\u2013524 (2013)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"542_CR24","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s10270-010-0154-z","volume":"10","author":"S Islam","year":"2011","unstructured":"Islam, S., Mouratidis, H., J\u00fcrjens, J.: A framework to support alignment of secure software engineering with legal regulations. Softw. Syst. Model. 10(3), 369\u2013394 (2011)","journal-title":"Softw. Syst. Model."},{"key":"542_CR25","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT press, Cambridge (2012)"},{"key":"542_CR26","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: Umlsec: Extending UML for secure systems development. In: Proceedings of the 5th International Conference on the Unified Modeling Language (UML\u201902), pp. 412\u2013425 (2002)","DOI":"10.1007\/3-540-45800-X_32"},{"key":"542_CR27","doi-asserted-by":"crossref","unstructured":"Melz, E., Valente, A.: Modeling the tax code. In: Proceedings of the 2nd International Workshop on Regulatory Ontologies (WORM\u201904), pp. 652\u2013661 (2004)","DOI":"10.1007\/978-3-540-30470-8_76"},{"key":"542_CR28","doi-asserted-by":"crossref","unstructured":"Mijatov, S., Mayerhofer, T., Langer, P., Kappel, G.: Testing functional requirements in UML activity diagrams. In: Proceedings of the 9th International Conference on Tests and Proofs (TAP\u201915), pp. 173\u2013190 (2015)","DOI":"10.1007\/978-3-319-21215-9_11"},{"key":"542_CR29","doi-asserted-by":"crossref","unstructured":"Mougenot, A., Darrasse, A., Blanc, X., Soria, M.: Uniform random generation of huge metamodel instances. In: Proceedings of the 5th European Conference on Model Driven Architecture-Foundations and Applications (ECMDA-FA\u201909), pp. 130\u2013145 (2009)","DOI":"10.1007\/978-3-642-02674-4_10"},{"key":"542_CR30","unstructured":"No Magic: Cameo Simulation Toolkit. http:\/\/www.nomagic.com\/products\/magicdraw-addons\/cameo-simulation-toolkit.html"},{"key":"542_CR31","unstructured":"Object Management Group: The Unified Modelling Language. Version 2.2 . http:\/\/www.omg.org\/spec\/UML\/2.1.2\/ (2007)"},{"key":"542_CR32","unstructured":"OMG: Modeling and Analysis of Real-time and Embedded Systems (MARTE), version 1.1 (2011). http:\/\/www.omg.org\/spec\/MARTE\/1.1\/"},{"key":"542_CR33","unstructured":"OMG: Semantics of a Foundational Subset for Executable UML Models (fUML), version 1.1 (2013). http:\/\/www.omg.org\/spec\/FUML\/1.1"},{"key":"542_CR34","doi-asserted-by":"crossref","first-page":"15","DOI":"10.4018\/joeuc.1998040102","volume":"10","author":"R Panko","year":"1998","unstructured":"Panko, R.: What we know about spreadsheet errors. J. End User Comput. 10, 15\u201321 (1998)","journal-title":"J. End User Comput."},{"key":"542_CR35","unstructured":"Papyrus: Moka overview. https:\/\/wiki.eclipse.org\/Papyrus\/UserGuide\/ModelExecution"},{"issue":"6","key":"542_CR36","doi-asserted-by":"crossref","first-page":"839","DOI":"10.1016\/0020-7373(91)90013-W","volume":"34","author":"E Rissland","year":"1991","unstructured":"Rissland, E., Skalak, D.: CABARET: rule interpretation in a hybrid architecture. Int. J. Man-Mach. Stud. 34(6), 839\u2013887 (1991)","journal-title":"Int. J. Man-Mach. Stud."},{"key":"542_CR37","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8198-1","volume-title":"Institutional Legal Facts: Legal Powers and Their Effects","author":"D Ruiter","year":"1993","unstructured":"Ruiter, D.: Institutional Legal Facts: Legal Powers and Their Effects, vol. 18. Springer, Heidelberg (1993)"},{"key":"542_CR38","unstructured":"SAS Institute: Statistical Analysis System (SAS). http:\/\/www.sas.com\/"},{"key":"542_CR39","unstructured":"SAS Institute: Statistical Analysis System (SAS) for Econometrics and Time Series Analysis (ETS). https:\/\/support.sas.com\/documentation\/onlinedoc\/ets\/"},{"key":"542_CR40","unstructured":"Soltana, G., Fourneret, E., Adedjouma, M., Sabetzadeh, M., Briand, L.C.: Using UML for modeling legal rules: Supplementary material. Tech. Rep. TR-SnT-2014-3, Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg (2014). http:\/\/people.svv.lu\/soltana\/Models14.pdf"},{"key":"542_CR41","doi-asserted-by":"crossref","unstructured":"Soltana, G., Fourneret, E., Adedjouma, M., Sabetzadeh, M., Briand, L.C.: Using UML for modeling procedural legal rules: approach and a study of Luxembourg\u2019s Tax Law. In: Proceedings of the 17th ACM\/IEEE International Conference on Model-Driven Engineering Languages and Systems (MODELS\u201914), pp. 450\u2013466 (2014)","DOI":"10.1007\/978-3-319-11653-2_28"},{"key":"542_CR42","doi-asserted-by":"crossref","unstructured":"Soltana, G., Sannier, N., Sabetzadeh, M., Briand, L.C.: A model-based framework for probabilistic simulation of legal policies. In: Proceedings of the 18th ACM\/IEEE International Conference on Model-Driven Engineering Languages and Systems (MODELS\u201915) (2015)","DOI":"10.1109\/MODELS.2015.7338237"},{"key":"542_CR43","unstructured":"Statistics Canada: The Social Policy Simulation Database and Model (SPSD\/M). http:\/\/www.statcan.gc.ca\/eng\/microsimulation\/spsdm\/spsdm"},{"key":"542_CR44","unstructured":"Sutherland, H.: The Development of Tax-Benefit Models: A View from the UK. Faculty of Economics, University of Cambridge, Tech. rep. (1995)"},{"key":"542_CR45","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers, Burlington (2007)"},{"key":"542_CR46","doi-asserted-by":"crossref","unstructured":"Van\u00a0Engers, T., Boer, A., Breuker, J., Valente, A., Winkels, R.: Digital Government: E-Government Research, Case Studies, and Implementation, chap. Ontologies in the Legal Domain, pp. 233\u2013261. Springer US (2008)","DOI":"10.1007\/978-0-387-71611-4_13"},{"key":"542_CR47","doi-asserted-by":"crossref","unstructured":"van Engers, T., Gerrits, R., Boekenoogen, M., Glass\u00e9e, E., Kordelaar, P.: POWER: using UML\/OCL for modeling legislation\u2014an application report. In: Proceedings of the 8th International Conference on Artificial Intelligence and Law (ICAIL\u201901), pp. 157\u2013167 (2001)","DOI":"10.1145\/383535.383554"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0542-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0542-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0542-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0542-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T18:21:20Z","timestamp":1568139680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0542-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,5]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["542"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0542-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,5]]}}}