Enhancing Law Modeling and Analysis: using BPR-Based and Goal-Oriented Frameworks
暂无分享,去创建一个
[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.