Declarative enhancement framework for business processes

Heerko Groefsema*, Pavel Bulanov, Marco Aiello

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

7 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationService-Oriented Computing
Subtitle of host publication9th International Conference, ICSOC 2011, proceedings
EditorsGerti Kappel, Zakaria Maamar, Hamid R. Motahari-Nezhad
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Number of pages10
ISBN (Print)9783642255342
Publication statusPublished - 2011
Externally publishedYes
Event9th International Conference on Service-Oriented Computing, ICSOC 2011 - Paphos, Cyprus
Duration: 5 Dec 20118 Dec 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7084 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349


Other9th International Conference on Service-Oriented Computing, ICSOC 2011


  • BPM
  • e-Government
  • Temporal Logic
  • Variability


Dive into the research topics of 'Declarative enhancement framework for business processes'. Together they form a unique fingerprint.

Cite this