eprintid: 409
rev_number: 12
eprint_status: archive
userid: 31
dir: disk0/00/00/04/09
datestamp: 2011-06-15 13:40:09
lastmod: 2014-10-08 09:40:50
status_changed: 2011-06-15 13:40:09
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Bocchi, Laura
creators_name: Fiadeiro, Jose Luiz
creators_name: Lapadula, Alessandro
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: From architectural to behavioural specification of services
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Service-Oriented Computing; Service Component Architecture; modelling languages; formal methods; process calculi
note: Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA 2009)
abstract: 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.
date: 2009
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 253
number: 1
publisher: Elsevier
pagerange: 3-21
id_number: 10.1016/j.entcs.2009.09.025
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/pii/S157106610900379X
funders: This work has been supported by the EU project SENSORIA, IST-2 005-016004.
citation:   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)  
document_url: http://eprints.imtlucca.it/409/4/Tiezzi_etc_2009.pdf
document_url: http://eprints.imtlucca.it/409/1/fesca_2009e.pdf