Cover Image
QR Code

Specifying High-Assurance Services.

The article discusses service-oriented architecture (SOA), examining the use of semantic service composition as a means to address the issue of quality assurance as configuration changes occur. As a system executes, the authors indicate, the interconnectivity of components may change dynamically. To...

Full description

Published in:Computer (00189162) Vol. 41; no. 8; pp. 64 - 72
Main Authors: Atkinson, Cohn, Brenner, Daniel, Falcone, Giovanni, Juhasz, Monika
Format: Article
Published: IEEE Aug2008
Subjects:
Adaptive computing systems
Quality assurance
Semantic integration (Computer systems)
Integrated software
Application software
Computer architecture
Computer networks
Computer programming
Information technology software
Online Access:View this record in EBSCOhost
Summary:The article discusses service-oriented architecture (SOA), examining the use of semantic service composition as a means to address the issue of quality assurance as configuration changes occur. As a system executes, the authors indicate, the interconnectivity of components may change dynamically. Topics include the verification of SOA's, tests performed at development and deployment, and the configuration of systems in runtime environments. Also discussed are semantic service composition and reasoning-based assurance.