-
A symbolic approach for the verification and the test of service choreographies
Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several... -
A chemistry-inspired middleware for flexible execution of service based appli...
With the advent of cloud computing and Software-as-a-Service, Service-Based Application (SBA) represents a new paradigm to build rapid, low-cost, interoperable and...
