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.

Further White Paper Details
PublisherWest Virginia University File FormatPDF
Date PublishedMarch 2007
FormatWhite Papers   
Topics

Quick Sitemap Links: