An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Dynamic change within workflow systems
COCS '95 Proceedings of conference on Organizational computing systems
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Model checking
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Aris-Business Process Modeling
Aris-Business Process Modeling
On building workflow models for flexible processes
ADC '02 Proceedings of the 13th Australasian database conference - Volume 5
Constructing automata from temporal logic formulas: a tutorial
Lectures on formal methods and performance analysis
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
Fast LTL to Büchi Automata Translation
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Proceedings of the Conference on Logic of Programs
Dynamic Workflow Schema Evolution Based on Workflow Type Versioning and Workflow Migration
COOPIS '99 Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems
Formal Foundation and Conceptual Design of Dynamic Adaptations in a Workflow Management System
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 7 - Volume 7
Dynamic Evolution in Workflow Management Systems
DEXA '03 Proceedings of the 14th International Workshop on Database and Expert Systems Applications
Flexible Support of Team Processes by Adaptive Workflow Systems
Distributed and Parallel Databases
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
Specification and validation of process constraints for flexible workflows
Information Systems
Business Process Execution Language for Web Services BPEL and BPEL4WS 2nd Edition
Business Process Execution Language for Web Services BPEL and BPEL4WS 2nd Edition
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Constraint-based workflow models: change made easy
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
The good, the bad, and the ugly, but how ugly is ugly?
RV'07 Proceedings of the 7th international conference on Runtime verification
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Hi-index | 0.00 |
In this work, we present a new constraint-based workflow definition language called Saturn, which uses Linear-time Temporal Logic (LTL) to express workflow constraints. A declarative approach to model business processes has recently been advocated as a viable complement to, or even replacement of, more traditional imperative-style workflow definition languages. Such an approach offers multiple advantages especially in the context of so-called flexible business processes where the processes and the underlying workflow definitions tend to change over time. One major innovation of the Saturn language is the way in which it deals with the task lifecycle. This concerns to what extent tasks are considered not as atomic entities, but as possibly overlapping processes that can be started, stopped or cancelled at a later time. Contrary to other approaches, the task lifecycle is fully incorporated in Saturn's semantics and must not be modelled explicitly in the workflow design. As a result, the power of the declarative formalism underlying the language is more fully exploited and we offer both an elegant and pragmatic solution to a known problem. Moreover, Saturn is extensible and allows to model the environment of the business process, i.e. the external elements that influence its execution. A preliminary experimental evaluation shows our implementation of Saturn to be competitive, and a first version of the system is currently being integrated in a commercial application under development.