@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/entities/document/10.4230/DagSemProc.06291.10}, URN = {urn:nbn:de:0030-drops-8298}, doi = {10.4230/DagSemProc.06291.10}, annote = {Keywords: DecSerFlow, LTL, service flows, web services, SOA} }