Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Taming Compliance with Sarbanes-Oxley Internal Controls Using Database Technology
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
Using a temporal constraint network for business process execution
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A static compliance-checking framework for business process models
IBM Systems Journal
Checking correctness of business contracts via commitments
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Auditing Business Process Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
An Algorithm for Business Process Compliance
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Characterising deadlines in temporal modal defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Compliance aware business process design
BPM'07 Proceedings of the 2007 international conference on Business process management
Designing compliant business processes with obligations and permissions
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Norm compliance in business process modeling
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Rules, agents and norms: guidelines for rule-based normative multi-agent systems
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Rule-based agents, compliance, and intention reconsideration in defeasible logic
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Formal enforcement and management of obligation policies
Data & Knowledge Engineering
Goal-Driven business process derivation
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Norm compliance of rule-based cognitive agents
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Business process data compliance
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Representing ODP enterprise language deontic tokens in UML
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
Regorous: a business process compliance checker
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Business process regulatory compliance management solution frameworks: a comparative evaluation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Hi-index | 0.00 |
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first define a formal and conceptually rich language able to represent, and reason about, chains of reparational obligations of various types. Second, we devise a mechanism for normalising a system of legal norms. Third, we specify a suitable language for business process modeling able to automate and optimise business procedures and to embed normative constraints. Fourth, we develop an algorithm for compliance checking and discuss some computational issues regarding the possibility of checking compliance runtime or of enforcing it at design time.