Formal Analysis in Model Management: Exploiting the Power of CZT

  • James R. Williams
  • Fiona A. C. Polack
  • Richard F. Paige
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5977)

Abstract

Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be under specified to a degree that does not allow useful properties to be checked.

References

  1. 1.
    Amálio, N.: Generative frameworks for rigorous model-driven development. PhD thesis, Computer Science, York, UK (2007)Google Scholar
  2. 2.
    Utting, M., et al.: ZML: XML Support for Standard Z. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol. 2651, pp. 437–456. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  3. 3.
    Williams, J., Polack, F.: Automated formalisation for verification of diagrammatic models. In: FACS 2009. ENTCS (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • James R. Williams
    • 1
  • Fiona A. C. Polack
    • 1
  • Richard F. Paige
    • 1
  1. 1.Department of Computer ScienceUniversity of YorkUK

Personalised recommendations