Comparing and evaluating Petri net semantics for BPEL
| Data(s) |
2009
|
|---|---|
| Identificador | |
| Publicador |
Inderscience Publishers |
| Relação |
DOI:10.1504/IJBPIM.2009.026986 Lohmann, Niels, Verbeek, Eric, Ouyang, Chun, & Stahl, Christian (2009) Comparing and evaluating Petri net semantics for BPEL. International Journal of Business Process Integration and Management, 4(1), pp. 60-73. |
| Fonte |
Faculty of Science and Technology; School of Information Systems |
| Palavras-Chave | #080699 Information Systems not elsewhere classified #business process modelling and execution, business process execution language, Petri nets, semantics, formal methods, verification, BPEL, web services, WS-BPEL. |
| Tipo |
Journal Article |
