The core of the SOZL(structured methodology + object-oriented methodology + Z language) is Predicate Data Flow Diagram. In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams are necessary. In this paper we use Z notation to define an abstract syntax and the related structural constraints for the predicate data flow diagram notation, and provide it with an axiomatic semantics based on the concept of data availability. Necessary proofs are given to establish important properties on the axiomatic semantics. © Springer-Verlag 2004.
CITATION STYLE
Gao, X., Miao, H., Liu, S., & Liu, L. (2004). The availability semantics of predicate data flow diagram. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3033, 970–977. https://doi.org/10.1007/978-3-540-24680-0_152
Mendeley helps you to discover research relevant for your work.