Gå direkte til innholdet
Specification and Verification of Declarative Open Interaction Models
Spar

Specification and Verification of Declarative Open Interaction Models

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.
Undertittel
A Logic-Based Approach
Forfatter
Marco Montali
ISBN
9783642145377
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
30.7.2010
Antall sider
411