Testing Distributed Component Based Systems Using UML/OCL

We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, code for runtime checking of components in J2EE/EJB is automatically generated. Thus, a UML–model for a component can be used in a black–box test for the component. Further we introduce different design patterns for EJBs, which are motivated by different f abstraction, and show that these patterns work smoothly together with our OCL constraint checking. A prototypic implementation of the code generator, supporting our patterns with OCL support, has been inte

• Type: Conference
• Year: 2001
• Where: GI
• Authors: Achim D. Brucker, Burkhart Wolff
• Keywords: Component Based Systems, GI 2001, Ocl Constraint, Theoretical Computer Science, UML Class Diagrams