Specifying and monitoring service flows : making web services process-aware

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

22 Citations (Scopus)


BPEL has emerged as the de-facto standard for implementing processes based on web services while formal languages like Petri nets have been proposed as an "academic response" allowing for all kinds of analysis. Although languages such as BPEL and Petri nets can be used to describe service flows, they both tend to "overspecify" the process and this does not fit well with the autonomous nature of services. Therefore, we propose DecSerFlow as a Declarative Service Flow Language. By using a more declarative style, there is no need to overspecify service flows. The declarative style also makes DecSerFlow an ideal language for monitoring web services, i.e., using process mining techniques it is possible to check the conformance of service flows by comparing the DecSerFlow specification with reality. This can be used to expose services that do not follow the rules of the game. This is highly relevant given the autonomous nature of services.
Original languageEnglish
Title of host publicationTest and analysis of web services
EditorsL. Baresi, E. Di Nitto
Place of PublicationBerlin
Number of pages478
ISBN (Print)978-3-540-72911-2
Publication statusPublished - 2007


Dive into the research topics of 'Specifying and monitoring service flows : making web services process-aware'. Together they form a unique fingerprint.

Cite this