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.

Download White Paper

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

Publisher
West Virginia University
File Format
PDF
Date Published
Mar 15, 2007
Format
White Papers
Topics
Service-Oriented Architecture, Web Services

Similiar White Papers

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

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 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

SOA and Workflow With Udi Dahan

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

Architecture of and Migration to SOA's Presentation Layer

Architecture of and Migration to SOA's Presentation Layer

Service-Oriented Architectures (SOA) enables enterprises too quickly respond to changing business requirements. Since th

Publisher: University of Karlsruhe  |  Tags: crm, data, soa

IBM WebSphere Portal White Paper by Strategic Focus Market Research

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

West Virginia University White Papers

The Economics of Computer Hacking

The Economics of Computer Hacking

This paper considers various classes of computer hackers, with a special emphasis on fame-driven versus profit-driven ha

Publisher: West Virginia University  |  Tags: cyber security, hackers

Formal Methods for Developing Adaptable, Secure, Situation-Aware Service-Oriented (AS3) Architectures

Formal Methods for Developing Adaptable, Secure, Situation-Aware Service-Oriented (AS3) Architectures

In this paper, the authors are concerned with formal methods for developing agent-based, situation-aware, secure, surviv

Publisher: West Virginia University  |  Tags: web services