White Papers

A Formal Account of Contracts for Web Services

Overview The paper defines a formal contract language along with subcontract and compliance relations. It then extrapolates contracts out of processes, that are a recursion-free fragment of CCS. The paper finally demonstrates that a client completes its interactions with a service provided the corresponding contracts comply. The contract language may be used as a foundation of Web services technologies, such as wsdl and wscl.

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher: University of Bologna
File Format: PDF
Date Published: Nov 18, 2008
Format: White Papers
Topics: Web Services

Similiar White Papers

MSDN Webcast: ADO.NET Data Services Overview (Part 1 of 2) (Level 100)

This webcast illustrates how to take advantage of ADO.NET Data Services (formerly code-named Astoria) to easily and secu

Publisher: Microsoft | Tags: data

The Future Is Here... Advanced Meter Infrastructure (AMI): Composite Technologies to Meet New Demands in Sales and Customer Service

Regardless of the specific market requirements, however, it is clear that without sufficiently adaptive IT landscapes, u

Publisher: SAP | Tags: soa, software

OPC UA - Service-Oriented Architecture for Industrial Applications

OPC Unified Architecture (OPC UA) is the new standard of the OPC Foundation providing interoperability in process automa

Publisher: ABB | Tags: applications, enterprise applications, soa, unified

MSDN Webcast: Using a Proxy Server to Call an ASP.NET Web Service From a Silverlight Web Site (Level 100)

This webcast shows how to use a proxy to call a Microsoft ASP.NET Web service. This will be an ASP.NET AJAX Web service

Publisher: Microsoft | Tags: applications, silverlight

SOA and Workflow With Udi Dahan

Salt and Pepper, Peanut Butter and Jelly, Toast and Vegemite - these are all things that go together. But what goes with

Publisher: Microsoft | Tags: soa

University of Bologna White Papers

High Mobility in a Realistic Wireless Environment: A Mobile IP Handoff Model for NS-2

Featured white papers

The Value of Location Intelligence in the Communications Industry

Pitney Bowes

Public Services are under pressure, the challenge is to do more with less. How do you improve citizen satisfaction, increase cost efficiencies and improve service delivery? The power of location intelligence is helping many local authorities...

Download now »
Best Practices for Translating Customer Satisfaction into Revenue

Citrix Online

Today's support organisations are focused on two top-level metrics: financial results and customer satisfaction. For most, it's easy to track financial performance, but customer satisfaction is akin to speaking a foreign language...

Download now »
HP print solutions and 3M

Hewlett-Packard (HP)

The objective for 3M was to optimize office printing infrastructure at 3M locations worldwide, reduce total cost and environmental footprint. Some of the business benefits acheived by switching to HP print solutions...

Download now »