From Architectural to Behavioural Specification of Services☆
Under a Creative Commons license
open access
Keywords
Service-Oriented Computing
Service Component Architecture
modelling languages
formal methods
process calculi
Cited by (0)
- ☆
This work has been supported by the EU project SENSORIA, IST-2 005-016004.
Copyright © 2009 Elsevier B.V.