Modeling Control Objectives for Business Process Compliance

This publication has 14 references indexed in Scilit:

• Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations
  The Australasian Journal of Logic, 2022
• COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL
  Applied Artificial Intelligence, 2006
• Designing Compliant Business Processes with Obligations and Permissions
  Published by Springer Nature ,2006
• Interaction protocols as design abstractions for business processes
  IEEE Transactions on Software Engineering, 2005
• USING THE EVENT CALCULUS FOR TRACKING THE NORMATIVE STATE OF CONTRACTS
  International Journal of Cooperative Information Systems, 2005
• REPRESENTING BUSINESS CONTRACTS INRuleML
  International Journal of Cooperative Information Systems, 2005
• OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations
  Published by Springer Nature ,2005
• Workflow mining: A survey of issues and approaches
  Data & Knowledge Engineering, 2003
• Deontic Logic and Contrary-to-Duties
  Published by Springer Nature ,2002
• Representation results for defeasible logic
  ACM Transactions on Computational Logic, 2001