A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A centralized and a decentralized method to automatically derive choreography-conforming web service systems |
scientific article |
Statements
A centralized and a decentralized method to automatically derive choreography-conforming web service systems (English)
0 references
13 March 2012
0 references
automatic web service composition
0 references
formal specification
0 references
web service choreography
0 references
