@InProceedings{leymann_et_al:DagSemProc.06291.1,
  author =	{Leymann, Frank and Reisig, Wolfgang and Thatte, Satish R. and van der Aalst, Wil},
  title =	{{06291 Abstracts Collection – The Role of Business Processes in Service-Oriented Architectures}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--28},
  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.1},
  URN =		{urn:nbn:de:0030-drops-8324},
  doi =		{10.4230/DagSemProc.06291.1},
  annote =	{Keywords: Business Process Management, Workflow Management, Middleware, Service Oriented Architecture, Web Services, Petri-Nets, Transaction Models, Mega-Programming}
}
@InProceedings{hohpe:DagSemProc.06291.2,
  author =	{Hohpe, Gregor},
  title =	{{06291 Workshop Report:  Conversation Patterns}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--7},
  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.2},
  URN =		{urn:nbn:de:0030-drops-8288},
  doi =		{10.4230/DagSemProc.06291.2},
  annote =	{Keywords: Patterns, Conversation, Orchestration, Choreography}
}
@InProceedings{vanderaalst:DagSemProc.06291.3,
  author =	{van der Aalst, Wil},
  title =	{{06291 Workshop Report: Process Mining, Monitoring Processes and Services}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--7},
  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.3},
  URN =		{urn:nbn:de:0030-drops-8345},
  doi =		{10.4230/DagSemProc.06291.3},
  annote =	{Keywords: }
}
@InProceedings{vanderaalst_et_al:DagSemProc.06291.4,
  author =	{van der Aalst, Wil and Beisiegel, Michael and van Hee, Kees and K\"{o}nig, Dieter and Stahl, Christian},
  title =	{{A SOA-Based Architecture Framework}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--17},
  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.4},
  URN =		{urn:nbn:de:0030-drops-8277},
  doi =		{10.4230/DagSemProc.06291.4},
  annote =	{Keywords: SOA, architecture framework}
}
@InProceedings{kindler_et_al:DagSemProc.06291.5,
  author =	{Kindler, Ekkart and Axenath, Bj\"{o}rn and Rubin, Vladimir},
  title =	{{AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--26},
  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.5},
  URN =		{urn:nbn:de:0030-drops-8231},
  doi =		{10.4230/DagSemProc.06291.5},
  annote =	{Keywords: Aspect oriented modelling, Formalism independence, BPM}
}
@InProceedings{massuthe_et_al:DagSemProc.06291.6,
  author =	{Massuthe, Peter and Wolf, Karsten},
  title =	{{An Algorithm for Matching Nondeterministic Services with Operating Guidelines}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--19},
  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.6},
  URN =		{urn:nbn:de:0030-drops-8247},
  doi =		{10.4230/DagSemProc.06291.6},
  annote =	{Keywords: Services, SOA, Formal Methods, (Nondeterministic) Automata, Operating guidelines, Matching}
}
@InProceedings{cardoso:DagSemProc.06291.7,
  author =	{Cardoso, Jorge},
  title =	{{Approaches to Compute Workflow Complexity}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--15},
  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.7},
  URN =		{urn:nbn:de:0030-drops-8219},
  doi =		{10.4230/DagSemProc.06291.7},
  annote =	{Keywords: Workflow, Complexity, Business Processes, Reengineering}
}
@InProceedings{ortiz_et_al:DagSemProc.06291.8,
  author =	{Ortiz, Guadalupe and Hern\'{a}ndez, Juan},
  title =	{{Aspect-Oriented Techniques for Web Services: a Model-Driven Approach}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--14},
  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.8},
  URN =		{urn:nbn:de:0030-drops-8269},
  doi =		{10.4230/DagSemProc.06291.8},
  annote =	{Keywords: Web Service, Model Driven Development, Aspect-Oriented Techniques, Extra-Functional Property, Service Component Architecture, Ws-Policy}
}
@InProceedings{vanderaalst_et_al:DagSemProc.06291.9,
  author =	{van der Aalst, Wil and Dumas, Marlon and Ouyang, C. and Rozinat, Anne and Verbeek, H. M. W.},
  title =	{{Choreography Conformance Checking: An Approach based on BPEL and Petri Nets}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--71},
  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.9},
  URN =		{urn:nbn:de:0030-drops-8307},
  doi =		{10.4230/DagSemProc.06291.9},
  annote =	{Keywords: Process mining, SOAP messages, BPEL, Petri nets}
}
@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}
}
@InProceedings{zdun_et_al:DagSemProc.06291.11,
  author =	{Zdun, Uwe and Dustdar, Schahram},
  title =	{{Model-Driven and Pattern-Based  Integration of Process-Driven SOA Models}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--32},
  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.11},
  URN =		{urn:nbn:de:0030-drops-8205},
  doi =		{10.4230/DagSemProc.06291.11},
  annote =	{Keywords: Process-Driven SOA, Pattern, Pattern Primitives}
}
@InProceedings{gunther_et_al:DagSemProc.06291.12,
  author =	{G\"{u}nther, Oliver and Tamm, Gerrit and Leymann, Frank},
  title =	{{Pricing Web Services}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--13},
  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.12},
  URN =		{urn:nbn:de:0030-drops-8220},
  doi =		{10.4230/DagSemProc.06291.12},
  annote =	{Keywords: Composite web services, pricing}
}
@InProceedings{kuropka_et_al:DagSemProc.06291.13,
  author =	{Kuropka, Dominik and Weske, Mathias},
  title =	{{Towards a Services-Based Process Platform}},
  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.13},
  URN =		{urn:nbn:de:0030-drops-8310},
  doi =		{10.4230/DagSemProc.06291.13},
  annote =	{Keywords: Business process platform, Semantic Services, Service-oriented architectures}
}
@InProceedings{ortiz_et_al:DagSemProc.06291.14,
  author =	{Ortiz, Guadalupe and Hern\'{a}ndez, Juan},
  title =	{{Towards UML Modelling Extra-Functional Properties in Web Services and their Clients}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--16},
  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.14},
  URN =		{urn:nbn:de:0030-drops-8251},
  doi =		{10.4230/DagSemProc.06291.14},
  annote =	{Keywords: Extra-Functional property, web service, UML modeling, aspect-oriented techniques, WS-policy, service component architecture}
}