Declarative Workflows to Efficiently Manage Flexible and Advanced Business Processes

Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 12th international ACM SIGPLAN symposium on Principles and Practice of Declarative Programming (PPDP 10)
Place of PublicationNew York, NY, USA
PublisherACM Press
Pages209-218
ISBN (Print)978-1-4503-0132-9
DOIs
Publication statusPublished - 2010
Eventthe 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - Hagenberg, Austria
Duration: 26 Jul 201028 Jul 2010

Publication series

NamePPDP '10

Symposium

Symposiumthe 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
CountryAustria
CityHagenberg
Period26/07/1028/07/10

Fingerprint

Industry
Temporal logic
Innovation
Semantics

Cite this

Demeyer, R., Van Assche, M., Langevine, L., & Vanhoof, W. (2010). Declarative Workflows to Efficiently Manage Flexible and Advanced Business Processes. In Proceedings of the 12th international ACM SIGPLAN symposium on Principles and Practice of Declarative Programming (PPDP 10) (pp. 209-218). (PPDP '10). New York, NY, USA: ACM Press. https://doi.org/10.1145/1836089.1836116
Demeyer, Romain ; Van Assche, Maxime ; Langevine, Ludovic ; Vanhoof, Wim. / Declarative Workflows to Efficiently Manage Flexible and Advanced Business Processes. Proceedings of the 12th international ACM SIGPLAN symposium on Principles and Practice of Declarative Programming (PPDP 10). New York, NY, USA : ACM Press, 2010. pp. 209-218 (PPDP '10).
@inproceedings{56f85d8b939d4c2d9d15f25c641cc358,
title = "Declarative Workflows to Efficiently Manage Flexible and Advanced Business Processes",
abstract = "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.",
author = "Romain Demeyer and {Van Assche}, Maxime and Ludovic Langevine and Wim Vanhoof",
year = "2010",
doi = "10.1145/1836089.1836116",
language = "English",
isbn = "978-1-4503-0132-9",
series = "PPDP '10",
publisher = "ACM Press",
pages = "209--218",
booktitle = "Proceedings of the 12th international ACM SIGPLAN symposium on Principles and Practice of Declarative Programming (PPDP 10)",
address = "United States",

}

Demeyer, R, Van Assche, M, Langevine, L & Vanhoof, W 2010, Declarative Workflows to Efficiently Manage Flexible and Advanced Business Processes. in Proceedings of the 12th international ACM SIGPLAN symposium on Principles and Practice of Declarative Programming (PPDP 10). PPDP '10, ACM Press, New York, NY, USA, pp. 209-218, the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming, Hagenberg, Austria, 26/07/10. https://doi.org/10.1145/1836089.1836116

Declarative Workflows to Efficiently Manage Flexible and Advanced Business Processes. / Demeyer, Romain; Van Assche, Maxime; Langevine, Ludovic; Vanhoof, Wim.

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and Practice of Declarative Programming (PPDP 10). New York, NY, USA : ACM Press, 2010. p. 209-218 (PPDP '10).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

TY - GEN

T1 - Declarative Workflows to Efficiently Manage Flexible and Advanced Business Processes

AU - Demeyer, Romain

AU - Van Assche, Maxime

AU - Langevine, Ludovic

AU - Vanhoof, Wim

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

U2 - 10.1145/1836089.1836116

DO - 10.1145/1836089.1836116

M3 - Conference contribution

SN - 978-1-4503-0132-9

T3 - PPDP '10

SP - 209

EP - 218

BT - Proceedings of the 12th international ACM SIGPLAN symposium on Principles and Practice of Declarative Programming (PPDP 10)

PB - ACM Press

CY - New York, NY, USA

ER -

Demeyer R, Van Assche M, Langevine L, Vanhoof W. Declarative Workflows to Efficiently Manage Flexible and Advanced Business Processes. In Proceedings of the 12th international ACM SIGPLAN symposium on Principles and Practice of Declarative Programming (PPDP 10). New York, NY, USA: ACM Press. 2010. p. 209-218. (PPDP '10). https://doi.org/10.1145/1836089.1836116