Designing Compliant Business Processes with Obligations and Permissions
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 5-14
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Towards design tools for protocol development2005
- REPRESENTING BUSINESS CONTRACTS INRuleMLInternational Journal of Cooperative Information Systems, 2005
- Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing ProtocolsAnnals of Mathematics and Artificial Intelligence, 2004
- Designing a Deontic Logic of DeadlinesLecture Notes in Computer Science, 2004
- Workflow mining: A survey of issues and approachesData & Knowledge Engineering, 2003
- The Case Handling CaseInternational Journal of Cooperative Information Systems, 2003
- The Role of B2B Protocols in Inter-Enterprise Process ExecutionLecture Notes in Computer Science, 2001
- Time and norms1999
- Verification tools for finite-state concurrent systems1994