From architectural to behavioural specification of services

Laura Bocchi; José Luiz Fiadeiro; Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi

doi:10.1016/j.entcs.2009.09.025

From architectural to behavioural specification of services

Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Science and Engineering Office

Research output: Contribution to journal › Article › peer-review

7 Citations (Scopus)

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.

Original language	English
Pages (from-to)	3-21
Number of pages	19
Journal	Electronic Notes in Theoretical Computer Science
Volume	253
Issue number	1
DOIs	https://doi.org/10.1016/j.entcs.2009.09.025
Publication status	Published - 6 Oct 2009

Keywords

formal methods
modelling languages
process calculi
Service Component Architecture
Service-Oriented Computing

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1016/j.entcs.2009.09.025

Cite this

@article{bdae8d39561e4e759c5d6365db26dee5,

title = "From architectural to behavioural specification of services",

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.",

keywords = "formal methods, modelling languages, process calculi, Service Component Architecture, Service-Oriented Computing",

author = "Laura Bocchi and Fiadeiro, {Jos{\'e} Luiz} and Alessandro Lapadula and Rosario Pugliese and Francesco Tiezzi",

year = "2009",

month = oct,

day = "6",

doi = "10.1016/j.entcs.2009.09.025",

language = "English",

volume = "253",

pages = "3--21",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - From architectural to behavioural specification of services

AU - Bocchi, Laura

AU - Fiadeiro, José Luiz

AU - Lapadula, Alessandro

AU - Pugliese, Rosario

AU - Tiezzi, Francesco

PY - 2009/10/6

Y1 - 2009/10/6

N2 - 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.

AB - 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.

KW - formal methods

KW - modelling languages

KW - process calculi

KW - Service Component Architecture

KW - Service-Oriented Computing

UR - http://www.scopus.com/inward/record.url?scp=70349326319&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2009.09.025

DO - 10.1016/j.entcs.2009.09.025

M3 - Article

AN - SCOPUS:70349326319

SN - 1571-0661

VL - 253

SP - 3

EP - 21

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 1

ER -

From architectural to behavioural specification of services

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this