From architectural to behavioural specification of services

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

Research output: Contribution to journalArticlepeer-review

7 Citations (Scopus)


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 languageEnglish
Pages (from-to)3-21
Number of pages19
JournalElectronic Notes in Theoretical Computer Science
Issue number1
Publication statusPublished - 6 Oct 2009


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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'From architectural to behavioural specification of services'. Together they form a unique fingerprint.

Cite this