Brucker, A.D. and Wolff, B. (2001) Checking OCL Constraints in Distributed Systems Using J2EE/EJB. Technical Report. Technical Report (157). Albert-Ludwigs-Universität Freiburg , Freiburg.
Abstract
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 levels of abstraction, and show that these patterns work smoothly together with our OCL constraint checking. A prototypic implementation of the code generator, supporting our design patterns with OCL support, has been integrated into a commercial software development tool.
Metadata
Item Type: | Monograph |
---|---|
Authors/Creators: |
|
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 24 Feb 2016 12:45 |
Last Modified: | 29 Mar 2016 19:33 |
Published Version: | http://tr.informatik.uni-freiburg.de/2001/Report15... |
Status: | Published |
Publisher: | Albert-Ludwigs-Universität Freiburg |
Series Name: | Technical Report |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:95547 |