Specifying High-Assurance Services

Authors:
Colin Atkinson;Daniel Brenner;Giovanni Falcone;Monika Juhasz
Affiliations:
University of Mannheim;University of Mannheim;University of Mannheim;University of Mannheim
Venue:
Computer
Year:
2008

Citing 0
Cited 2

Software service engineering: Tenets and challenges

PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Automating property-based testing of evolving web services

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Quantified Score

Hi-index	4.10

Visualization

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.