Sciweavers

Share
GI
2001
Springer

Testing Distributed Component Based Systems Using UML/OCL

9 years 2 months ago
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
Achim D. Brucker, Burkhart Wolff
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where GI
Authors Achim D. Brucker, Burkhart Wolff
Comments (0)
books