Specification and verification of declarative open interaction models a logic-based approach /
Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative...
| Main Author: | Montali, Marco. |
|---|---|
| Other Authors: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; Heidelberg :
Springer-Verlag,
©2010.
Berlin ; Heidelberg : [2010] |
| Physical Description: |
1 online resource (xxii, 411 pages). |
| Series: |
Lecture notes in business information processing ;
56. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |