From Architectural to Behavioural Specification of Services

Bocchi, Laura, Fiadeiro, José Luiz, Lapadula, Alessandro, Pugliese, Rosario, Tiezzi, Francesco (2009) From Architectural to Behavioural Specification of Services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661. (doi:10.1016/j.entcs.2009.09.025) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:59190)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL: http://doi.org/10.1016/j.entcs.2009.09.025

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.

Item Type:	Article
DOI/Identification number:	10.1016/j.entcs.2009.09.025
Uncontrolled keywords:	Service-Oriented Computing; Service Component Architecture; modelling languages; formal methods; process calculi
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User:	Laura Bocchi
Date Deposited:	28 Nov 2016 10:52 UTC
Last Modified:	05 Nov 2024 10:51 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/59190 (The current URI for this page, for reference purposes)

University of Kent Author Information

Bocchi, Laura.

Creator's ORCID:	https://orcid.org/0000-0002-7177-9395
CReDIT Contributor Roles:

Depositors only (login required):

Altmetric

Download Statistics

Total unique views for this document in KAR since July 2020. For more details click on the image.