Extending interface automata with z notation

Authors:
Zining Cao;Hui Wang
Affiliations:
National Key Lab. of Sci. and Techn., on Avionics System Integration, Shanghai, P.R. China and Dept. of Computer Science and Techn., Nanjing Univ. of Aero. & Astro., Nanjing, P.R. China and Pr ...;National Key Laboratory of Science and Technology, on Avionics System Integration, Shanghai, P.R. China
Venue:
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Year:
2011

Citing 5
Cited 0

The Z notation: a reference manual

The Z notation: a reference manual
CSP-OZ: a combination of object-Z and CSP

FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Viewpoint Consistency in Z and LOTOS: A Case Study

FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Refinement in Circus

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

Quantified Score

Hi-index	0.00

Visualization

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.