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...
| Publicado en: | Computer (00189162) Vol. 41; no. 8; pp. 64 - 72 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
IEEE
Aug2008
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=34035347&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 34035347 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Aug2008 vid: 41 iid: 8 pid: 13605 pub: IEEE artinfo: ui: 34035347 10.1109/MC.2008.308 ppf: 64 ppct: 8 formats: tig: atl: Specifying High-Assurance Services. aug: au: Atkinson, Cohn Brenner, Daniel Falcone, Giovanni Juhasz, Monika affil: Software Engineering Group, University of Mannheim. Research assistant, Software Engineering Group, University of Mannheim. su: Adaptive computing systems Quality assurance Semantic integration (Computer systems) Integrated software Application software Computer architecture Computer networks Computer programming Information technology software sug: subj: Adaptive computing systems Quality assurance Semantic integration (Computer systems) Integrated software Application software Computer architecture Computer networks Computer programming Information technology software ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2008 holdings: @attributes: islocal: N |
|---|