License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06291.10
URN: urn:nbn:de:0030-drops-8298
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/829/
Go to the corresponding Portal

van der Aalst, Wil ; Pesic, Maja

DecSerFlow: Towards a Truly Declarative Service Flow Language

pdf-format:
06291.vanderAalstWil.Paper.829.pdf (0.3 MB)

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

BibTeX - Entry

@InProceedings{vanderaalst_et_al:DagSemProc.06291.10,
  author =	{van der Aalst, Wil and Pesic, Maja},
  title =	{{DecSerFlow: Towards a Truly Declarative Service Flow Language}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--23},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6291},
  editor =	{Frank Leymann and Wolfgang Reisig and Satish R. Thatte and Wil van der Aalst},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2006/829},
  URN =		{urn:nbn:de:0030-drops-8298},
  doi =		{10.4230/DagSemProc.06291.10},
  annote =	{Keywords: DecSerFlow, LTL, service flows, web services, SOA}
}

Keywords: DecSerFlow, LTL, service flows, web services, SOA
Collection: 06291 - The Role of Business Processes in Service Oriented Architectures
Issue Date: 2006
Date of publication: 27.11.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI