Designing Compliant Business Processes with Obligations and Permissions
暂无分享,去创建一个
[1] Keith Clark,et al. An Architecture For Contract-based Communicating Agents , 2004 .
[2] Pinar Yolum,et al. Towards design tools for protocol development , 2005, AAMAS '05.
[3] Mathias Weske,et al. Business Process Management: A Survey , 2003, Business Process Management.
[4] Giovanni Sartor,et al. Time and norms: a formalisation in the event-calculus , 1999, ICAIL '99.
[5] Fabio Casati,et al. Technologies for E-Services , 2001, Lecture Notes in Computer Science.
[6] Murray Shanahan. Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .
[7] Christoph Bussler. The Role of B2B Protocols in Inter-Enterprise Process Execution , 2001, TES.
[8] Guido Governatori,et al. Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..
[9] Boudewijn F. van Dongen,et al. Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..
[10] Edmund M. Clarke,et al. Verification Tools for Finite-State Concurrent Systems , 1993, REX School/Symposium.
[11] Hajo A. Reijers,et al. The Case Handling Case , 2003, Int. J. Cooperative Inf. Syst..
[12] Jan Vanthienen,et al. Compliant and Flexible Business Processes with Business Rules , 2006, BPMDS.
[13] Munindar P. Singh,et al. Protocols for processes: programming in the large for open systems , 2004, SIGP.
[14] Jan Vanthienen,et al. Business Rules for Compliant Business Process Models , 2006, BIS.
[15] Ronald M. Lee,et al. Modelling Interorganizational Trade Procedures Using Documentary Petri Nets , 1995, Electron. Mark..
[16] Munindar P. Singh,et al. Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols , 2004, Annals of Mathematics and Artificial Intelligence.
[17] Risto Hilpinen,et al. Deontic Logic: An Introduction , 1970 .
[18] Frank Dignum,et al. Designing a Deontic Logic of Deadlines , 2004, DEON.
[19] R. Hilpinen. Deontic Logic: Introductory and Systematic Readings , 1981 .