Linking CSP-OZ with UML and Java: A Case Study

@inproceedings{Mller2004LinkingCW,
  title={Linking CSP-OZ with UML and Java: A Case Study},
  author={Michael M{\"o}ller and Ernst-R{\"u}diger Olderog and Holger Rasch and Heike Wehrheim},
  booktitle={IFM},
  year={2004}
}
We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engineering languages, viz. UML and Java. Our aim is to generate a significant part of the CSP-OZ specification from an initially developed UML model using a UML profile for CSP-OZ, and afterwards transform the formal specification into assertions written in the Java Modelling Language JML complemented by CSPjassda . The intermediate… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 40 references

Using UML for Modeling Complex Real-Time Systems

LCTES • 1998
View 7 Excerpts
Highly Influenced

Rasch and H . Wehrheim . Checking Consistency in UML Diagrams : Classes and State Machines

C. Choppy
Formal Methods for Open Object - Based Distributed Systems ( FMOODS ’ 03 ) , volume 2884 of LNCS • 2003

Translating UML state machines into CSP

H. Rasch
Technical report, Universität Oldenburg, • 2003
View 1 Excerpt

Dynamic Event Generation for Runtime Checking using the JDI

Electr. Notes Theor. Comput. Sci. • 2002
View 3 Excerpts

Similar Papers

Loading similar papers…