Law, logic and business processes
暂无分享,去创建一个
[1] Enrico Pattaro. A Treatise of Legal Philosophy and General Jurisprudence , 2005 .
[2] A. Montefiore. NORM AND ACTION , 1964 .
[3] Marek J. Sergot,et al. Using the event calculus for tracking the normative state of contracts , 2005, Int. J. Cooperative Inf. Syst..
[4] Guido Governatori,et al. Characterising Deadlines in Temporal Modal Defeasible Logic , 2007, Australian Conference on Artificial Intelligence.
[5] Guido Governatori,et al. Changing legal systems: legal abrogations and annulments in Defeasible Logic , 2010, Log. J. IGPL.
[6] Guido Governatori,et al. An Algorithm for Business Process Compliance , 2008, JURIX.
[7] Munindar P. Singh,et al. Checking correctness of business contracts via commitments , 2008, AAMAS.
[8] Guido Governatori,et al. Norm Compliance in Business Process Modeling , 2010, RuleML.
[9] Frank Leymann,et al. Taming Compliance with Sarbanes-Oxley Internal Controls Using Database Technology , 2006, 22nd International Conference on Data Engineering (ICDE'06).
[10] M. Rosemann,et al. Integrating Risks in Business Process Models , 2005 .
[11] Guido Governatori,et al. Rule Representation, Interchange and Reasoning on the Web , 2008, Lecture Notes in Computer Science.
[12] Michael J. Maher,et al. Representation results for defeasible logic , 2000, TOCL.
[13] Guido Governatori,et al. A methodological framework for aligning business processes and regulatory compliance , 2010 .
[14] Guido Boella,et al. Fulfilling or violating obligations in normative multiagent systems , 2004 .
[15] Shazia Wasim Sadiq,et al. Compliance checking between business processes and business contracts , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).
[16] Birgit Pfitzmann,et al. From Regulatory Policies to Event Monitoring Rules: Towards Model-Driven Compliance Automation , 2006 .
[17] Guido Governatori,et al. Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..
[18] Shazia Wasim Sadiq,et al. Detecting Regulatory Compliance for Business Process Models through Semantic Annotations , 2008, Business Process Management Workshops.
[19] Ying Liu,et al. A static compliance-checking framework for business process models , 2007, IBM Syst. J..
[20] Guido Governatori,et al. A conceptually rich model of business process compliance , 2010, APCCM.
[21] Guido Governatori,et al. Temporalised normative positions in defeasible logic , 2005, ICAIL '05.
[22] Guido Governatori,et al. Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain , 2009, RuleML.
[23] Harald C. Gall,et al. Generation of Business Process Models for Object Life Cycle Compliance , 2007, BPM.
[24] Guido Governatori,et al. Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations , 2006 .
[25] Guido Governatori,et al. The Journey to Business Process Compliance , 2009, Handbook of Research on Business Process Modeling.
[26] Jan Vanthienen,et al. Designing Compliant Business Processes with Obligations and Permissions , 2006, Business Process Management Workshops.
[27] Hans Kelsen,et al. General Theory of Norms , 1991 .
[28] Andrew J. I. Jones,et al. Deontic Logic and Contrary-to-Duties , 2002 .
[29] Shazia Wasim Sadiq,et al. Modeling Control Objectives for Business Process Compliance , 2007, BPM.
[30] Frank Leymann,et al. Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition , 2007, ICSOC.
[31] G. Sartor. Legal Reasoning: A Cognitive Approach to Law , 2005 .
[32] Frank R. Abate,et al. The new Oxford American dictionary , 2001 .