|
|||||
|
|
Specifying High-Assurance Services |
|
| Authors: | Atkinson Colin Brenner Daniel Falcone Giovanni Juhasz Monika |
| Affiliation: | University of 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: | |