Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Service-oriented modeling employs collaborations to capture the coordination of multiple roles in form of service contracts. In case of dynamic collaborations the roles may join and leave the collaboration at runtime and therefore complex structural dynamics can result, which makes it very hard to e...
| Main Authors: | , , , |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Universität Potsdam
2009
|
| Subjects: | |
| Online Access: | http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30473 http://opus.kobv.de/ubp/volltexte/2009/3047/ |