Logo of Humboldt-Universität zu BerlinLogo of Humboldt-Universität zu Berlin
edoc-Server
Open-Access-Publikationsserver der Humboldt-Universität
de|en
Header image: facade of Humboldt-Universität zu Berlin
View Item 
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
StatisticsView Usage Statistics
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
StatisticsView Usage Statistics
View Item 
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
2006-10-06Konferenzveröffentlichung DOI: 10.1007/11841760_3
Analyzing Interacting BPEL Processes
Lohmann, Niels
Massuthe, Peter
Stahl, Christian
Weinberg, Daniela
Mathematisch-Naturwissenschaftliche Fakultät II
This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly interacting partner processes). A case study demonstrates the value of this technology chain.
Files in this item
Thumbnail
23JZStHR1OVqI.pdf — Adobe PDF — 346.4 Kb
MD5: 7b9cab0f68c39cd724ed6e109b479f74
Cite
BibTeX
EndNote
RIS
InCopyright
Details
DINI-Zertifikat 2019OpenAIRE validatedORCID Consortium
Imprint Policy Contact Data Privacy Statement
A service of University Library and Computer and Media Service
© Humboldt-Universität zu Berlin
 
DOI
10.1007/11841760_3
Permanent URL
https://doi.org/10.1007/11841760_3
HTML
<a href="https://doi.org/10.1007/11841760_3">https://doi.org/10.1007/11841760_3</a>