Towards a formalization of UML class structures in Z

@article{Shroff1997TowardsAF,
  title={Towards a formalization of UML class structures in Z},
  author={Malcolm Shroff and Robert B. France},
  journal={Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97)},
  year={1997},
  pages={646-651}
}
There is much interest in developing a firm semantic base for object-oriented modeling concepts. By providing precise characterizations of object-oriented (OO) modeling concepts one gains the ability to build a precise OO model of behavior and structure that can be rigorously analyzed. We present the current results of our ongoing formalization of the Unified Modeling Language (UML). UML is a proposed common OO modeling language, thus it is important that it has a formally defined semantic base… CONTINUE READING

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 62 CITATIONS

Formalizing UML Software Models of Safety Critical Systems

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Delegation mechanisms for agent architectural design

  • IEEE/WIC/ACM International Conference on Intelligent Agent Technology
  • 2005
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1997
2019

CITATION STATISTICS

  • 4 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-5 OF 5 REFERENCES

Paradigm Plus - Release 2 . 0 . Protosoft

W. Premerlani, F. Eddy, W. Lorensen
  • ZTC : A Z Type Checker , User ’ s Guide , version 2 . 01
  • 1991

Object-Oriented Modeling and Design

James E. Rumbaugh, Michael R. Blaha, William James Premerlani, Frederick Eddy, William E. Lorensen
  • TOOLS
  • 1990

A Tool for Rigorous Analysis of Object . Models

B. Chintapally
  • Z User Workshop , Cqmbridge 1994 , Workshops in Computing