Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
From Architectural to Behavioural Specification of Servces
@INPROCEEDINGS{BFLPT09,
title = {{From Architectural to Behavioural Specification of Servces}},
author = {{Laura} {Bocchi} and {Jose Luiz} {Fiadeiro} and {Alessandro} {Lapadula} and {Rosario} {Pugliese} and {Francesco} {Tiezzi}},
booktitle = {Proceedings of Formal Engineering approaches to Software Components and Architectures (FESCA09)},
pages = {3-21},
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.},
publisher = {Elsevier Science Publishers},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {1},
year = {2009},
url = {http://rap.dsi.unifi.it/sensoriasite/FESCA09.pdf},
doi = {10.1016/j.entcs.2009.09.025},
main = {Y},
partner = {DSIUF, ULEICES},
status = {public},
task = {T1},
}
|
