From Architectural to Behavioural Specification of Services

Laura Bocchi1, José Luiz Fiadeiro1, Alessandro Lapadula2, Rosario Pugliese2, Francesco Tiezzi2.

1 University of Leicester
2 Università degli Studi di Firenze, Italy

Many efforts are currently devoted to provide software developers with methods and techniques that can endow serviceoriented 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.