Advertisement

Extending Interface Automata with Z Notation

  • Zining Cao
  • Hui Wang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7141)

Abstract

In this paper, we propose a specification approach combining interface automata and Z language. This approach can be used to describe behavioural properties and data properties of software components. We also study the composition and refinement relation on ZIAs.

Keywords

Data Property Internal Action Behavioural Property Input Action Operation Schema 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    de Alfaro, L., Henzinger, T.A.: Interface Automata. In: The Proceedings of the 9th Annual ACM Symposium on Foundations of Software Engineering (2001)Google Scholar
  2. 2.
    Derrick, J., Boiten, E., Bowman, H., Steen, M.: Viewpoint Consistency in Z and LOTOS: A case study. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol. 1313, pp. 644–664. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  3. 3.
    Fischer, C.: CSP-OZ: A combination of Object-Z and CSP. In: FMODDS 1997 (1997)Google Scholar
  4. 4.
    Sampaio, A., Woodcock, J., Cavalcanti, A.: Refinement in Circus. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 451–470. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  5. 5.
    Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International (UK) Ltd. (1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Zining Cao
    • 1
    • 2
    • 3
  • Hui Wang
    • 1
  1. 1.National Key Laboratory of Science and Technology, on Avionics System IntegrationShanghaiP.R. China
  2. 2.Department of Computer Science and TechnologyNanjing University of Aero. & Astro.NanjingP.R. China
  3. 3.Provincial Key Laboratory for Computer Information Processing TechnologySoochow UniversitySuzhouP.R. China

Personalised recommendations