![]() ; ; Sabetzadeh, Mehrdad ![]() in Information & Software Technology (2014), 56(7), 689717 Detailed reference viewed: 231 (14 UL)![]() Briand, Lionel ![]() ![]() in ACM Transactions on Software Engineering & Methodology (2014), 23(1), Detailed reference viewed: 227 (49 UL)![]() Soltana, Ghanem ![]() ![]() in 17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'14) (2014) Many laws, e.g., those concerning taxes and social benefits, need to be operationalized and implemented into public administration procedures and eGovernment applications. Where such operationalization is ... [more ▼] Many laws, e.g., those concerning taxes and social benefits, need to be operationalized and implemented into public administration procedures and eGovernment applications. Where such operationalization is warranted, the legal frameworks that interpret the underlying laws are typically prescriptive, providing procedural rules for ensuring legal compliance. We propose a UML-based approach for modeling pro- cedural legal rules. With help from legal experts, we investigate actual legal texts, identifying both the information needs and sources of com- plexity in the formalization of procedural legal rules. Building on this study, we develop a UML profile that enables more precise modeling of such legal rules. To be able to use logic-based tools for compliance analysis, we automatically transform models of procedural legal rules into the Object Constraint Language (OCL). We report on an application of our approach to Luxembourg’s Income Tax Law providing initial evidence for the feasibility and usefulness of our approach. [less ▲] Detailed reference viewed: 306 (73 UL)![]() Arora, Chetan ![]() ![]() ![]() in 7th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2013) (2013, October) Detailed reference viewed: 245 (37 UL)![]() Arora, Chetan ![]() ![]() ![]() in 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) (2013, August) Detailed reference viewed: 231 (31 UL)![]() ; ; Sabetzadeh, Mehrdad ![]() in International Conference on Software Testing, Verification, and Validation, Luxembourg 2013 (2013) Detailed reference viewed: 185 (12 UL)![]() ; Sabetzadeh, Mehrdad ![]() ![]() in Information & Software Technology (2013), 55(1), 836-864 Detailed reference viewed: 190 (34 UL)![]() Sabetzadeh, Mehrdad ![]() ![]() in Reliability Engineering & System Safety (2013), 119 Detailed reference viewed: 179 (19 UL)![]() ; ; et al in Chignell, M.; Cordy, J.; Kealey, R. (Eds.) et al The Personal Web (2013) Detailed reference viewed: 115 (11 UL)![]() Briand, Lionel ![]() ![]() in 15th ACM/IEEE International Conference Model Driven Engineering Languages and Systems (2012) Detailed reference viewed: 161 (9 UL)![]() Nejati, Shiva ![]() ![]() in 15th ACM/IEEE International Conference on Model Driven Engineering Languages & Systems (2012) Detailed reference viewed: 192 (9 UL)![]() Nejati, Shiva ![]() ![]() in IEEE Transactions on Software Engineering (2012), 38(6), 1355-1375 Detailed reference viewed: 130 (5 UL)![]() ; Sabetzadeh, Mehrdad ![]() ![]() in IEEE Software (2012), 29(3), 64-70 Detailed reference viewed: 193 (13 UL) |
||