The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (2008 vol.41)
pp: 64-71
Colin Atkinson , University of Mannheim
Daniel Brenner , University of Mannheim
Giovanni Falcone , University of Mannheim
Monika Juhasz , University of Mannheim
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.
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, August 2008, doi:10.1109/MC.2008.308
REFERENCES
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.
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool