DocumentCode
831428
Title
Specifying High-Assurance Services
Author
Atkinson, Colin ; Brenner, Daniel ; Falcone, Giovanni ; Juhasz, Monika
Author_Institution
Software Eng. Group, Univ. of Mannheim, Mannheim
Volume
41
Issue
8
fYear
2008
Firstpage
64
Lastpage
71
Abstract
An enhanced approach to service specification strikes a better balance between machine processibility and human readability, and emphasizes testing- as well as reasoning-based assurance techniques. Built-in tests check the compatibility of interacting services at runtime and automatically pinpoint contract mismatches.
Keywords
formal specification; program testing; reasoning about programs; software architecture; built-in testing; high-assurance services specification; human readability; interacting services; machine processibility; reasoning-based assurance techniques; service-oriented architecture; Assembly; Contracts; Control systems; Humans; Ontologies; Quality assurance; Service oriented architecture; Software testing; System testing; Unified modeling language; information technology and systems; service specification; software engineering;
fLanguage
English
Journal_Title
Computer
Publisher
ieee
ISSN
0018-9162
Type
jour
DOI
10.1109/MC.2008.308
Filename
4597141
Link To Document