HYBRID ZIA AND ITS APPROXIMATED REFINEMENT RELATION

Zining Cao, Hui Wang

Abstract

In this paper, we propose a specification model combining interface automata, hybrid automata and Z language, named HZIA. This model can be used to describe temporal properties, hybrid properties, and data properties of hybrid software/hardware components. We also study the approximated refinement relation on HZIAs.

References

  1. Bowen, J. (2003). Formal Specification and Documentation using Z: A Case Study Approach. Thomson Publishing.
  2. Cao, Z. (2010). Refinement checking for interface automata with z notation. Proceeding of Software Engineering and Knowledge Engineering, pages 399-404.
  3. Fischer, C. (1996). Combining CSP and Z. Technical report, TRCF-97-1, University of Oldenburg.
  4. Fischer, C. (1997). Csp-oz: A combination of object-z and csp. Proceedings of FMODDS'97, pages 423-438.
  5. Fischer, C. (1998). How to combine z with a process algebra. Proceedings of ZUM'98, pages 5-23.
  6. Henzinger, T. A. (1996). The theory of hybrid automata. Proceedings of LICS 96, pages 278-292.
  7. Hoare, C. A. R. (1985). Communicating Sequential Processes. Prentice-Hall.
  8. Luca de Alfaro, T. A. H. (2001). Interface automata. Proceedings of FSE2001, pages 109-120.
  9. Spivey, J. M. (1998). The Z Notation: A Reference Manual. Sencond Edition. Prentice Hall International.
  10. Woodcock, J. and Davies, J. (1996). Using Z - Specification, Refinement, and Proof. Prentice-Hall.
Download


Paper Citation


in Harvard Style

Cao Z. and Wang H. (2011). HYBRID ZIA AND ITS APPROXIMATED REFINEMENT RELATION . In Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8425-57-7, pages 260-265. DOI: 10.5220/0003504002600265


in Bibtex Style

@conference{enase11,
author={Zining Cao and Hui Wang},
title={HYBRID ZIA AND ITS APPROXIMATED REFINEMENT RELATION},
booktitle={Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2011},
pages={260-265},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003504002600265},
isbn={978-989-8425-57-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - HYBRID ZIA AND ITS APPROXIMATED REFINEMENT RELATION
SN - 978-989-8425-57-7
AU - Cao Z.
AU - Wang H.
PY - 2011
SP - 260
EP - 265
DO - 10.5220/0003504002600265