This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Specifying High-Assurance Services
August 2008 (vol. 41 no. 8)
pp. 64-71
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.

1. B. Beckert, R. Hähnle, and P.H. Schmitt, eds., Verification of Object-Oriented Software: The KeY Approach, Springer, 2007.
2. C. Atkinson et al., "Modeling Components and Component-Based Systems in KobrA," A. Rausch et al., eds., The Common Component Modeling Example: Comparing Software Component Models, LNCS 5153, Springer, 2008, pp. 54–84.
3. J. Rumbaugh et al., Object-Oriented Modeling and Design, Prentice-Hall Int'l, 1991.
4. J.Ø. Aagedal and E.F. Ecklund Jr.,"Modelling QoS: Towards a UML Profile," Proc. 5th Int'l UMLConf—The Unified Modeling Language, LNCS 2460, Springer, 2002, pp. 275–289.
5. B.H. Liskov and J.M. Wing, "A Behavioral Notion of Subtyping," ACM Trans. Programming Languages and Systems, Nov. 1994, pp. 1811–1841.
6. L.C. Briand, Y. Labiche, and M.M. Sówka, "Automated, Contract-Based User Testing of Commercial-Off-the-Shelf Components," Proc. Int'l Conf. Software Engineering, ACM Press, 2006, pp. 92–101.
7. S. Beydeda and V. Gruhn, Testing COTS Components and Systems, Springer, 2005.
8. B. Boehm, "Verifying and Validating Software Requirements and Design Specifications," IEEE Software, vol. 1, no. 1, 1984, pp. 75–88.
9. D. Brenner et al., "Reducing Verification Effort in Component-Based Software Engineering through Built-In Testing," Information Systems Frontiers, Springer, 2007, pp. 151–162.
10. H-G. Gross, Component-Based Software Testing with UML, Springer, 2005.
11. R. Mugridge and W. Cunningham, FIT for Developing Software: Framework for Integrated Tests, Robert C. Martin Series, 2005.
12. K.J. Turner, Using Formal Description Techniques—An Introduction to Estelle, LOTOS and SDL, John Wiley and Sons, 1993.
13. W. Ehrenberger, Software-Verifikation, Verfahren für den Zuverlässigkeitsnachweis von Software, Hanser Fachbuch, 2002.

Index Terms:
information technology and systems, software engineering, service specification
Citation:
Colin Atkinson, Daniel Brenner, Giovanni Falcone, Monika Juhasz, "Specifying High-Assurance Services," Computer, vol. 41, no. 8, pp. 64-71, Aug. 2008, doi:10.1109/MC.2008.308
Usage of this product signifies your acceptance of the Terms of Use.