Here, you may access the artifacts related to negotiation protocol work as conducted (partially) under the SLA-SOI project. In addition, a Promela model for the Spin model checker is also provided.
A business-ready service-oriented infrastructure empowering the service economy in a flexible and dependable way. Visit our main web site to download papers and more information on the project to understand the technology.
A set of tools about the management of BPEL services to be used particularly in conjunction with the SLA@SOI framework but also as independent modules.