W. van der Aalst, K. van Hee, A. ter Hofstede, N. Sidorova, H. Verbeek, M. Voorhoeve & M. Wynn (2011):
Soundness of workflow nets: classification, decidability, and analysis.
Formal Aspects of Computing 23,
pp. 333–363,
doi:10.1007/s00165-010-0161-4.
W. M. P. van der Aalst (1998):
The Application of Petri Nets to Workflow Management.
The Journal of Circuits, Systems and Computers 8(1),
pp. 21–66,
doi:10.1142/S0218126698000043.
Wil M. P. van der Aalst, Maja Pesic & Helen Schonenberg (2009):
Declarative workflows: Balancing between flexibility and support.
Computer Science - R&D 23(2),
pp. 99–113,
doi:10.1007/s00450-009-0057-9.
Wil M.P van der Aalst & Maja Pesic (2006):
A Declarative Approach for Flexible Business Processes Management.
In: Proceedings of DPM 2006,
LNCS.
Springer Verlag.
Wil M.P van der Aalst & Maja Pesic (2006):
DecSerFlow: Towards a Truly Declarative Service Flow Language.
In: M. Bravetti, M. Nunez & Gianluigi Zavattaro: Proceedings of Web Services and Formal Methods (WS-FM 2006),
LNCS 4184.
Springer Verlag,
pp. 1–23.
Kamal Bhattacharya, Cagdas Gerede, Richard Hull, Rong Liu & Jianwen Su (2007):
Towards Formal Analysis of Artifact-Centric Business Process Models.
In: Gustavo Alonso, Peter Dadam & Michael Rosemann: Business Process Management,
Lecture Notes in Computer Science 4714.
Springer Berlin / Heidelberg,
pp. 288–304,
doi:10.1007/978-3-540-75183-0.
Christoph Bussler & Stefan Jablonski (1994):
Implementing agent coordination for workflow management systems using active database systems.
In: Research Issues in Data Engineering, 1994. Active Database Systems. Proceedings Fourth International Workshop on,
pp. 53–59,
doi:10.1109/RIDE.1994.282853.
Allan Cheng (1995):
Petri Nets, Traces, and Local Model Checking.
In: Proceedings of AMAST,
pp. 322–337.
Nihan Kesim Cicekli & Yakup Yildirim (2000):
Formalizing Workflows Using the Event Calculus.
In: Proceedings of the 11th International Conference on Database and Expert Systems Applications,
DEXA '00.
Springer-Verlag,
London, UK,
pp. 222–231.
Available at http://portal.acm.org/citation.cfm?id=648313.761618.
David Cohn & Richard Hull (2009):
Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes.
IEEE Data Eng. Bull. 32(3),
pp. 3–9.
Available at http://sites.computer.org/debull/A09sept/david.pdf.
Hasam Davulcu, Michael Kifer, C. R. Ramakrishnan & I.V. Ramakrishnan (1998):
Logic Based Modeling and Analysis of Workflows.
In: Proceedings of ACM SIGACT-SIGMOD-SIGART.
ACM Press,
pp. 1–3.
J Desel & Thomas Erwin (2000):
Modeling, Simulation and Analysis of Business Processes.
In: Wil van der Aalst, J Desel & Andreas Oberweis: Business Process Management,
Lecture Notes in Computer Science 1806.
Springer Berlin / Heidelberg,
pp. 247–288,
doi:10.1007/3-540-45594-9-9.
Alin Deutsch, Richard Hull, Fabio Patrizi & Victor Vianu (2009):
Automatic verification of data-centric business processes.
In: Proceedings of the 12th International Conference on Database Theory,
ICDT '09.
ACM,
New York, NY, USA,
pp. 252–267,
doi:10.1145/1514894.1514924.
Alvaro A. A. Fernandes, M. Howard Williams & Norman W. Paton (1997):
A logic-based integration of active and deductive databases.
New Gen. Comput. 15(2),
pp. 205–244,
doi:10.1007/BF03037238.
Thomas Hildebrandt & Raghava Rao Mukkamala (2010):
Distributed Dynamic Condition Response Structures.
In: Pre-proceedings of International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 10).
Available at http://www.itu.dk/people/rao/rao_files/dcrsplacescamredver.pdf.
Richard Hull (2010):
Formal Study of Business Entities with Lifecycles: Use Cases, Abstract Models, and Results.
In: Proceedings of 7th International Workshop on Web Services and Formal Methods,
Lecture Notes in Computer Science 6551,
doi:10.1007/978-3-642-15618-2.
Robert Kowalski (1992):
Database updates in the event calculus.
J. Log. Program. 12(1-2),
pp. 121–146,
doi:10.1016/0743-1066(92)90041-Z.
Karen Marie Lyng, Thomas Hildebrandt & Raghava Rao Mukkamala (2008):
From Paper Based Clinical Practice Guidelines to Declarative Workflow Management.
In: Proceedings ProHealth 08 workshop.
Available at http://www.itu.dk/people/hilde/Papers/ProHealth08.pdf.
Raghava Rao Mukkamala, Thomas Hildebrandt & Janus Boris Tøth (2008):
The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL..
In: Proceedings of DDBP.
Maja Pesic (2008):
Constraint-Based Workflow Management Systems: Shifting Control to Users.
Eindhoven University of Technology, Netherlands.
Pinar Senkul, Michael Kifer & Ismail H. Toroslu (2002):
A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints.
In: In VLDB,
pp. 694–705.
Munindar P. Singh, Greg Meredith, Christine Tomlinson & Paul C. Attie (1995):
An Event Algebra for Specifying and Scheduling Workflows.
In: Proceedings of DASFAA.
World Scientific Press,
pp. 53–60.
Rüdiger Valk & Heino Carstensen (1985):
Infinite Behaviour and Fairness in Petri Nets.
In: G. Rozenberg: Advances in Petri Nets 1984,
Lecture Notes in Computer Science 88.
Springer-Verlag,
pp. 83–100.
Glynn Winskel (1986):
Event Structures.
In: Wilfried Brauer, Wolfgang Reisig & Grzegorz Rozenberg: Advances in Petri Nets,
Lecture Notes in Computer Science 255.
Springer,
pp. 325–392.
Glynn Winskel & Mogens Nielsen (1995):
Models for concurrency.
In: Handbook of logic in computer science (vol. 4): semantic modelling.
Oxford University Press,
Oxford, UK,
pp. 1–148.
eptcs@eptcs.org