Logo eprints

From architectural to behavioural specification of services

Bocchi, Laura and Fiadeiro, Jose Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco From architectural to behavioural specification of services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661 (2009)

PDF - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (586kB) | Preview
PDF - Accepted Version
Download (403kB) | Preview


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.

Item Type: Article
Identification Number: 10.1016/j.entcs.2009.09.025
Additional Information: Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA 2009)
Funders: This work has been supported by the EU project SENSORIA, IST-2 005-016004.
Uncontrolled Keywords: Service-Oriented Computing; Service Component Architecture; modelling languages; formal methods; process calculi
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 31 not found.
Date Deposited: 15 Jun 2011 13:40
Last Modified: 08 Oct 2014 09:40
URI: http://eprints.imtlucca.it/id/eprint/409

Actions (login required)

Edit Item Edit Item