Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework

Recently, two complementary approaches are pro- posed to represent, model, and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively capture high-level principles in terms of goal realization for requirements guided by satisfiability of normative propositions obtained from rules embedded in a law. The latter offers a tool supported (re-)engineering methodology to extract laws represented in XML and build models using a subset of UML diagrams. Both allow traceability between laws and their respective models. This paper proposes an integration of these two approaches. We believe that this provides a framework that allows to trace and reason either top-down, from principles to their implementation or, viceversa, bottom-up, from a change in the procedure to the principles. It is exactly this connection that adds value to the solution we propose and makes our approach more significant than a simple juxtaposition of the two techniques.

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

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

[3]  Mathias Weske,et al.  Using the pi-Calculus for Formalizing Workflow Patterns , 2005, Business Process Management.

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

[5]  Pavel Shvaiko,et al.  eGIF4M: eGovernment Interoperability Framework for Mozambique , 2009, EGOV.

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

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

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

[9]  Komminist Weldemariam,et al.  Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences , 2008, EVT.

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

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

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

[13]  Alexandros Xenakis.  Using Business Process Re-engineering ( BPR ) for the Effective Administration of Electronic Voting , 2005 .

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

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

[16]  F. Heady,et al.  Public Administration: A Comparative Perspective , 1995 .

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

[18]  Peter Kawalek,et al.  A methodology for business process redesign: experiences and issues , 1994, J. Strateg. Inf. Syst..

[19]  Ann Macintosh,et al.  Procedural Security and Social Acceptance in E-Voting , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

[20]  Julian Padget,et al.  Symbolic model checking of UML statechart diagrams with an integrated approach , 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

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

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