A formal approach to specifying and testing the interoperation between components

ABSTRACT

Component-based development (CBD) has gained in popularity in recent years due to its promise of building applications from reusable and plug-and-playable software components. An ultimate goal of CBD is making plug-and-playable software development not only feasible, but also easy. In order to achieve this goal, techniques for clearly specifying functionality of components and for determining the degree to which two components can interoperate are needed. In this paper, we briefly review the ICM (Interoperable Component Model), and enhance the model by adding a formalism and providing a testing framework based on the formal specification. Each component is accompanied with an interface that describes the component's type and behavior. The component interactions are specified in message protocols. With the specification model, we will define the behavior type conformance rules on components.

References

1. Andrew Black, Norman Hutchinson, Eric Jul, and Henry Levy. Object structure in the emerald system. In OOPSLA, pages 78--86, 1986.
2. Luca Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138--164, 1988.
3. Il-Hyung Cho and John D. McGregor. Component specification and testing interoperation of components. In Proc. of the IASTED Int'l Conf., Software Engineering and Applications, pages 27--31, 1999.
4. Il-Hyung Cho, John D. McGregor, and Lee Krause. A protocol based approach to specifying interoperability between objects. In TOOLS 26, USA, pages 84--96, 1998.
5. Tsun S. Chow. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, 4(3):178--187, May 1978.
6. Desmond F. D'Souza and Alan C. Wills. Objects, Components, and Frameworks with UML: The CATALYSIS Approach. Addison-Wesley, 1999.
7. Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. The MIT Press, 1994.
8. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
9. Barbara H. Liskov and Jeannette M. Wing. A behavioral notion of subtyping. In ACM Transactions on Programming Languages and Systems, Nov 1994.
10. Metamata, www.metamata.com/JavaCC/docs/index.html. JavaCC documentation, 1999.
11. Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley, 1998.
12. Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1999.
13. Amy Moormann Zaremski and Jeannette M. Wing. Specification matching of software components. In Proc. ACM SIGSOFT Symp. on the Foundations of Software Engineering, Oct 1995.