Web Services White Papers
Formal Methods for Developing Adaptable, Secure, Situation-Aware Service-Oriented (AS3) Architectures
Overview In this paper, the authors are concerned with formal methods for developing agent-based, situation-aware, secure, survivable architectures for on-demand discovery and composition of web services. In particular, the authors describe the development of an adaptable, situation-aware, secure architecture that provides for proofs that guarantee the consistency of service level agreements between service providers and their clients. The architecture is based on decentralized Situation-Aware Ambients (SAAs) which are autonomous agents that process information about the current situation, and react to it by discovering and composing services syntactically to adapt to changing situations. The agents run on the Secure Infrastructure for Networked Systems (SINS) under development at the Naval Research Laboratory.
| Publisher | West Virginia University | File Format | |
|---|---|---|---|
| Date Published | March 2007 | ||
| Format | White Papers | ||
| Topics | |||


