DecSerFlow : towards a truly declarative service flow language

W.M.P. Aalst, van der, M. Pesic

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

226 Citations (Scopus)

Abstract

The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions and proposing standards such as BPEL, while researchers have been advocating the use of formal methods such as Petri nets and p-calculus. The languages developed for service flows, i.e., process specification languages for web services, have adopted many concepts from classical workflow management systems. As a result, these languages are rather procedural and this does not fit well with the autonomous nature of services. Therefore, we propose DecSerFlow as a Declarative Service Flow Language. DecSerFlow can be used to specify, enact, and monitor service flows. The language is extendible (i.e., constructs can be added without changing the engine or semantical basis) and can be used to enforce or to check the conformance of service flows. Although the language has an appealing graphical representation, it is grounded in temporal logic.
Original languageEnglish
Title of host publicationWeb Services and Formal Methods (Proceedings Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006)
EditorsM. Bravetti, M. Núñez, G. Zavattaro
Place of PublicationBerlin
PublisherSpringer
Pages1-23
ISBN (Print)3-540-38862-1
DOIs
Publication statusPublished - 2006

Publication series

NameLecture Notes in Computer Science
Volume4184
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'DecSerFlow : towards a truly declarative service flow language'. Together they form a unique fingerprint.

Cite this