2006
Other  Open Access

SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties

Caires L, Zawbocki A, Corradini A, Mazzanti F, Loreti M, Nielson H R

Formal Specification  Verification  Analysis 

The main goal of WP3 is to coordinate the partners efforts towards the development of qualitative analysis methods for global services. In particular, this deliverable reports on the research activity carried on during the first 12 months by the SENSORIA partners in the advancement of the state of art for a wide spectrum of techniques suitable for the description and analysis of the behavioral properties of services. Twelve original contributions have emerged as result of this research activity. In the following sections of this document an overview is given of the performed activity and the results are described with a limited level of technical details . The full details of the contributions can be found in the twelve papers mentioned in the final "Relevant Sensoria Publications and Reports" Section.



Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:160939,
	title = {SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties},
	author = {Caires L and Zawbocki A and Corradini A and Mazzanti F and Loreti M and Nielson H R},
	year = {2006}
}