Contracts and Middleware for Safe SOA Applications

Authors:
Beata Sarna-Starosta;R. E. K. Stirewalt;Laura K. Dillon
Affiliations:
Michigan State University, USA;Michigan State University, USA;Michigan State University, USA
Venue:
SDSOA '07 Proceedings of the International Workshop on Systems Development in SOA Environments
Year:
2007

Citing 11
Cited 1

Concurrency control and recovery in database systems

Concurrency control and recovery in database systems
JPernLite: an extensible transaction server for the World Wide Web

Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
The universe model: an approach for improving the modularity and reliability of concurrent programs

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Overview of multidatabase transaction management

The VLDB Journal — The International Journal on Very Large Data Bases
A compositional formalization of connector wrappers

Proceedings of the 25th International Conference on Software Engineering
Precise Service Level Agreements

Proceedings of the 26th International Conference on Software Engineering
Decentralized coordination of transactional processes in peer-to-peer environments

Proceedings of the 14th ACM international conference on Information and knowledge management
An aspect-based process container for BPEL

AOMD '05 Proceedings of the 1st workshop on Aspect oriented middleware development
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems

SEW '05 Proceedings of the 29th Annual IEEE/NASA on Software Engineering Workshop
Transactional patterns for reliable web services compositions

ICWE '06 Proceedings of the 6th international conference on Web engineering
A feature-oriented alternative to implementing reliability connector wrappers

Architecting Dependable Systems III

An evaluation model for dependability of Internet-scale software on basis of Bayesian Networks and trustworthiness

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

This position paper concerns formal methods for developing safe service-oriented architectures (SOAs) with support for resource management. We seek 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, we expect to guarantee certain safety properties by construction and raise the level of model abstraction for verifying other necessary properties.