relation: http://eprints.imtlucca.it/409/
title: From architectural to behavioural specification of services
creator: Bocchi, Laura
creator: Fiadeiro, Jose Luiz
creator: Lapadula, Alessandro
creator: Pugliese, Rosario
creator: Tiezzi, Francesco
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Elsevier
date: 2009
type: Article
type: PeerReviewed
format: application/pdf
language: en
rights: cc_by_nd
identifier: http://eprints.imtlucca.it/409/4/Tiezzi_etc_2009.pdf
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/409/1/fesca_2009e.pdf
identifier:   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)  
relation: http://www.sciencedirect.com/science/article/pii/S157106610900379X
relation: 10.1016/j.entcs.2009.09.025