Encoding of the constraints on the behaviour of distributed agents pursuing individual goals.
This project investigates the formal basis for managing the open workflow among distributed work consumers and producers.
Propositional Nets
CTR/CTR-S
A.J. Bonner, M. Kifer: Concurrency and communication in transaction logic. Joint International Conference and Symposium on Logic Programming, 1996;
H. Davulcu, M. Kifer, C.R. Ramakrishnan, I.V. Ramakrishnan: Logic based modeling and analysis of workflows. ACM Symposium on Principles of Database Systems, 1998;
P. Senkul, M. Kifer, I.H. Toroslu: A logical framework for scheduling workflows under resource allocation constraints. VLDB 2002;
H. Davulcu, M. Kifer, I.V. Ramakrishnan: CTR-S: A logic for specifying contracts in semantic web services. WWW2004.
Petri Nets/Workflow Nets
W.M.P. van der Aalst: The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers, 1998;
W.M.P. van der Aalst: Making work flow: On the application of petri nets to business process management. Lecture Notes in Computer Science, 2002;
W.M.P. van der Aalst, A.H.M. ter Hofstede: YAWL: Yet another workflow language. Information Systems, 2005;
N.R. Adam, V. Atluri, W.-K. Huang: Modeling and analysis of workflows using petri nets. Journal of Intelligent Information Systems, 1998;
W.M.P. van der Aalst: Verification of Workflow Nets. International Conference on Application and Theory of Petri Nets, 1997.
Event Algebra
M.P. Singh: Semantical considerations on workflows: An algebra for intertask dependencies. International Workshop on Database Programming Languages, 1995;
M.P. Singh: Synthesizing distributed constrained events from transactional workflow specifications. IEEE International Conference on Data Engineering, 1996.
Process Algebra (including Pi Calculus, Calculus of Communicating Systems)
Temporal Logic
J. Chomicki, D. Toman: Temporal logic in informationi systems. Logics for Databases and Information Systems, 1998;
P. Attie, M. Singh, A. Sheth, M. Rusinkiewicz: Specifying and enforcing intertask dependencies. VLDB 1993.
State Machines
Abstract State Machines
E. Borger, A. Cavarra, E. Riccobene: An ASM Semantics for UML Activity Diagrams. International Conference on Algebraic Methodology and Software Technology, 2000;
General knowledge about ASM. Umich.
Process Specification Language
General knowledge about PSL.
Situation Calculus/State Calculus