Issue No. 08 - August (2008 vol. 41)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2008.308
Colin Atkinson , University of Mannheim
Daniel Brenner , University of Mannheim
Giovanni Falcone , University of Mannheim
Monika Juhasz , University of Mannheim
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.
information technology and systems, software engineering, service specification
G. Falcone, M. Juhasz, D. Brenner and C. Atkinson, "Specifying High-Assurance Services," in Computer, vol. 41, no. , pp. 64-71, 2008.