Issue No.08 - August (2008 vol.41)
Daniel Brenner , University of Mannheim
Giovanni Falcone , University of Mannheim
Colin Atkinson , University of Mannheim
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2008.308
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
Daniel Brenner, Giovanni Falcone, Colin Atkinson, "Specifying High-Assurance Services", Computer, vol.41, no. 8, pp. 64-71, August 2008, doi:10.1109/MC.2008.308