Enhancing Law Modeling and Analysis: using BPR-Based and Goal-Oriented Frameworks

Legal documents contain regulations and principles at different levels of abstraction. They constitute rich sources of information for public administrations (PA) redesign and even- tually for the software delivery that must comply with normative regulations that are specified in laws and procedures. In order to facilitate the alignment between these elements, systematic methods and tools automating regulations modeling and analysis must be developed. In this paper, we propose the integration of process modeling (named VLPM) and goal-oriented (named N` omos) tool-supported methodologies to systematically model and analyze laws and procedures in public administration. We show that such integrated view would provide a framework that allows tracing and reasoning either top-down, from the principles to the implementation or, vice versa, bottom-up, from a change in the procedure to the principles. Finally, we also believe that this would provide a facility for interchanging models among different tools and for sharing models among different actors. Index Terms—BPR; Goal-Orientation; Laws & Procedures; N` omos; Public Administrations; Regulation Compliance; VLPM.

[1]  Komminist Weldemariam,et al.  Formal procedural security modeling and analysis , 2008, 2008 Third International Conference on Risks and Security of Internet and Systems.

[2]  Fabio Vitali,et al.  Towards a country-independent data format: the Akoma Ntoso experience , 2007 .

[3]  Annie I. Antón,et al.  Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[4]  Manfred Reichert,et al.  IT Support for Healthcare Processes , 2005, Business Process Management.

[5]  Alberto Siena,et al.  Engineering Law-Compliant Requirements: the Nomos Framework , 2010 .

[6]  Alberto Siena,et al.  Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework , 2010, 2010 Fourth International Conference on Digital Society.

[7]  Ian Sommerville,et al.  Software engineering (5th ed.) , 1995 .

[8]  Thomas Mautner,et al.  Rights , 2008, Radical Hope.

[9]  Aaron Ciaghi,et al.  VLPM: A Tool to Support BPR in Public Administration , 2009, 2009 Third International Conference on Digital Society.

[10]  Rinke Hoekstra,et al.  The LKIF Core Ontology of Basic Legal Concepts , 2007, LOAIT.

[11]  Luigi Logrippo,et al.  Requirements and compliance in legal systems: a logic approach , 2008, 2008 Requirements Engineering and Law.

[12]  Rik Eshuis,et al.  Symbolic model checking of UML activity diagrams , 2006, TSEM.

[13]  Trevor J. M. Bench-Capon,et al.  Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation , 1987, ICAIL '87.

[14]  Ivar Jacobson,et al.  Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series) , 2005 .

[15]  M. Hart,et al.  SOME FUNDAMENTAL LEGAL CONCEPTIONS AS APPLIED IN JUDICIAL REASONING , 2008 .

[16]  Rinke Hoekstra,et al.  LKIF Core: Principled Ontology Development for the Legal Domain , 2009, Law, Ontologies and the Semantic Web.

[17]  N. Isaacs,et al.  Fundamental Legal Conceptions as Applied in Judicial Reasoning: And Other Legal Essays , 2010 .

[18]  John Mylopoulos,et al.  Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning , 2004, iTrust.

[19]  Marlon Dumas,et al.  UML Activity Diagrams as a Workflow Specification Language , 2001, UML.

[20]  Victor Bekkers,et al.  Business Process Redesign and Public Administration: a Perfect Match? , 1995 .

[21]  Leslie P. Willcocks,et al.  Radical Re-engineering and Information Systems: Evidence From UK Public Services , 1997, ECIS.

[22]  George Rzevski,et al.  Business process modelling using discrete-event simulation: potential benefits and obstacles for wider use , 2001 .

[23]  Jintae Lee Goal-based process analysis: a method for systematic process redesign , 1993, COCS '93.

[24]  John Mylopoulos,et al.  The Tropos Metamodel and its Use , 2005, Informatica.

[25]  Eric Yu,et al.  Modeling Strategic Relationships for Process Reengineering , 1995, Social Modeling for Requirements Engineering.

[26]  Daniel Amyot,et al.  Towards a Framework for Tracking Legal Compliance in Healthcare , 2007, CAiSE.

[27]  John Mylopoulos,et al.  Cerno: Light-weight tool support for semantic annotation of textual documents , 2009, Data Knowl. Eng..

[28]  Matjaz B. Juric,et al.  Business Process Execution Language for Web Services BPEL and BPEL4WS 2nd Edition , 2006 .

[29]  Robert Darimont,et al.  Goal-oriented Analysis of Regulations , 2006, ReMo2V.

[30]  John Mylopoulos,et al.  A Meta-Model for Modelling Law-Compliant Requirements , 2009, 2009 Second International Workshop on Requirements Engineering and Law.

[31]  Jon Doyle,et al.  Semantic parameterization: A process for modeling domain descriptions , 2008, TSEM.

[32]  Marek J. Sergot,et al.  Computer Representation of the Law , 1985, IJCAI.

[33]  Aaron Ciaghi,et al.  A tool supported methodology for BPR in Public Administrations , 2010 .

[34]  José M. Tribolet,et al.  Business Process Modeling with UML , 2001, ICEIS.

[35]  Don-Lin Yang,et al.  Applying UML and software simulation for process definition, verification, and validation , 2008, Inf. Softw. Technol..

[36]  Meir M. Lehman Process Modelling - Where Next , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[37]  Luigi Pontieri,et al.  Mining Hierarchies of Models: From Abstract Views to Concrete Specifications , 2005, Business Process Management.