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. 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA2009)

From Architectural to Behavioural Specification of Services / L. Bocchi; J.L. Fiadeiro; A. Lapadula; R. Pugliese; F. Tiezzi. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 253(1):(2009), pp. 3-21. [10.1016/j.entcs.2009.09.025]

From Architectural to Behavioural Specification of Services

PUGLIESE, ROSARIO;F. Tiezzi
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. 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA2009)
2009
253(1)
3
21
L. Bocchi; J.L. Fiadeiro; A. Lapadula; R. Pugliese; F. Tiezzi
File in questo prodotto:
File Dimensione Formato  
09FESCA-From Architectural to Behavioural Specification of Services.pdf

Accesso chiuso

Tipologia: Altro
Licenza: Tutti i diritti riservati
Dimensione 590.34 kB
Formato Adobe PDF
590.34 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/370382
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact