Towards a formalization of UML class structures in Z

@article{Shroff1997TowardsAF,
  title={Towards a formalization of UML class structures in Z},
  author={M. Shroff and R. France},
  journal={Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97)},
  year={1997},
  pages={646-651}
}
  • M. Shroff, R. France
  • Published 1997
  • Computer Science
  • Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97)
  • 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
    102 Citations

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Towards a formalization of UML Class Structure in PVS
    • 7
    On Formalizing the UML Object Constraint Language OCL
    • 206
    SPECIFYING CLASS HIERARCHIES IN Z
    Formal Semantics for a UML Fragment Using UML/OCL Metamodeling
    • 7
    • PDF
    A general framework for formalizing UML with formal languages
    • William E. McUmber, B. Cheng
    • Computer Science
    • Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001
    • 2001
    • 206
    • PDF
    A Framework for Semantics of UML Sequence Diagrams in PVS
    • D. Aredo
    • Computer Science
    • J. Univers. Comput. Sci.
    • 2002
    • 36
    • PDF
    Expressing UML Class Diagrams Properties with OCL
    • 98
    Formalizing UML Class Diagrams in PVS
    • 4
    UML formalization is a traceability problem
    • 7
    • PDF
    Transformation Rules for UML Class Diagrams
    • 47

    References

    SHOWING 1-10 OF 22 REFERENCES
    Specifying and Interpreting Class Hierarchies in Z
    • A. Hall
    • Mathematics, Computer Science
    • Z User Workshop
    • 1994
    • 56
    Formalizing Fusion Object-Oriented Analysis Models
    • 17
    • PDF
    Object-Oriented Modeling and Design
    • 6,056
    • PDF
    An approach to animating Z specifications
    • X. Jia
    • Computer Science
    • Proceedings Nineteenth Annual International Computer Software and Applications Conference (COMPSAC'95)
    • 1995
    • 51
    • PDF
    Object-oriented development: the fusion method
    • 712
    • PDF
    The Z notation - a reference manual
    • J. Spivey
    • Computer Science
    • Prentice Hall International Series in Computer Science
    • 1989
    • 4,034
    • PDF
    S
    • 259,603
    • Highly Influential
    • PDF