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 HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |