Title :
Specifying High-Assurance Services
Author :
Atkinson, Colin ; Brenner, Daniel ; Falcone, Giovanni ; Juhasz, Monika
Author_Institution :
Software Eng. Group, Univ. of Mannheim, Mannheim
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;
DOI :
10.1109/MC.2008.308
