@inproceedings{e07402166b7d4a929e8c2e720d9f3c20,
title = "Declarative enhancement framework for business processes",
abstract = "While Business Process Management (BPM) was designed to support rigid production processes, nowadays it is also at the core of more flexible business applications and has established itself firmly in the service world. Such a shift calls for new techniques. In this paper, we introduce a variability framework for BPM which utilizes temporal logic formalisms to represent the essence of a process, leaving other choices open for later customization or adaption. The goal is to solve two major issues of BPM: enhancing reusability and flexibility. Furthermore, by enriching the process modelling environment with graphical elements, the complications of temporal logic are hidden from the user.",
keywords = "BPM, e-Government, Temporal Logic, Variability",
author = "Heerko Groefsema and Pavel Bulanov and Marco Aiello",
year = "2011",
doi = "10.1007/978-3-642-25535-9_34",
language = "English",
isbn = "9783642255342",
volume = "7084",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "495--504",
editor = "Gerti Kappel and Zakaria Maamar and Motahari-Nezhad, {Hamid R.}",
booktitle = "Service-Oriented Computing",
address = "United States",
note = "9th International Conference on Service-Oriented Computing, ICSOC 2011 ; Conference date: 05-12-2011 Through 08-12-2011",
}