White Papers

Contracts and Middleware for Safe SOA Applications

Overview This position paper concerns formal methods for developing safe Service-Oriented Architectures (SOAs) with support for resource management. The paper seeks an approach to building such SOAs based on the specification of service requirements as declarative contracts, and the enforcement of these contracts at the level of the middleware. Using hierarchical containers that provide the necessary middleware services, one expects to guarantee certain safety properties by construction and raise the level of model abstraction for verifying other necessary properties.

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

Publisher: Michigan State University
File Format: PDF
Date Published: Jan 16, 2009
Format: White Papers
Topics: Service-Oriented Architecture, Middleware, Web Services

Similiar White Papers

IBM WebSphere Portal White Paper by Strategic Focus Market Research

This Strategic Focus Market Research document introduces the reader to the concept of Enterprise Portals as a means of c

Publisher: IBM | Tags: applications, soa

eBook: Exploring IBM SOA Technology & Practice

How to plan, build, and manage a Service Oriented Architecture in the real world: An IBM SOA insider shows the path to b

Publisher: IBM | Tags: applications, developers, infrastructure, soa, software

SOA Governance: Framework and Best Practices

This white paper outlines best practices and a six step process to achieve successful SOA governance. Based on analysis

Publisher: Oracle | Tags: html, ipod, soa

Develop and Deploy Multitenant Web-Delivered Solutions Using IBM Middleware, Part 1: Challenges and Architectural Patterns

Web-delivered solutions that follow a Software as a Service (SaaS) delivery model - where customers subscribe to softwar

Publisher: IBM | Tags: developers, saas, soa, software

Next-Generation SOA Infrastructure

As SOA becomes the mainstream for enterprise, application developers are faced with a bewildering array of technologies

Publisher: Oracle | Tags: applications, developers, html, ipod, soa

Michigan State University White Papers

An Autonomous Robotic Fish for Mobile Sensing

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 »