TY  - JOUR
IS  - 1
PB  - Elsevier
JF  - Electronic Notes in Theoretical Computer Science
N2  - Many efforts are currently devoted to provide software developers with methods and techniques that can endow service-oriented computing with systematic and accountable engineering practices. To this purpose, a number of languages and calculi have been proposed within the Sensoria project that address different levels of abstraction of the software engineering process. Here, we report on two such languages and the way they can be formally related within an integrated approach that can lead to verifiable development of service components from more abstract architectural models of business activities.
ID  - eprints409
EP  - 21
SN  - 1571-0661
KW  - Service-Oriented Computing; Service Component Architecture; modelling languages; formal methods; process calculi
VL  - 253
A1  - Bocchi, Laura
A1  - Fiadeiro, Jose Luiz
A1  - Lapadula, Alessandro
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
UR  - http://www.sciencedirect.com/science/article/pii/S157106610900379X
Y1  - 2009///
SP  - 3
TI  - From architectural to behavioural specification of services
AV  - public
N1  - Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA 2009)
ER  -