Issue No.08 - August (2008 vol.41)
pp: 64-71
Daniel Brenner , University of Mannheim
Giovanni Falcone , University of Mannheim
Colin Atkinson , 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
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
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.