Semantic specification and verification of data flow diagrams

DOI10.1007/BF02943404MaRDI QIDQ2277862zbMATH OpenFDO

Authors Yanyan Li

Publication date 1991

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

verificationrequirement analysissystem specificationsemantic specificationtemporal logic language

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A formal semantics of data flow diagrams
• Algebraic Methodology and Software Technology
• Specification and verification for semi-structured data
• scientific article; zbMATH DE number 1544531
• Dataflow semantics for Petri nets
• Data flow analysis as model checking
• Semantics of multiway dataflow constraint systems

Cites work

• scientific article; zbMATH DE number 3902010 (Why is no real title available?)
• scientific article; zbMATH DE number 3903946 (Why is no real title available?)
• scientific article; zbMATH DE number 3755842 (Why is no real title available?)
• A Proof System for Communicating Sequential Processes
• Communicating sequential processes
• Proofs of Networks of Processes
• Specifying Concurrent Program Modules

Cited in

(6)

• Defining specialization for dataflow diagrams.
• A Formal Definition of Data Flow Graph Models
• Verifying integrity of decision diagrams
• Proving semantical equivalence of data specifications
• Analysis of static data flow structures
• A formal semantics of data flow diagrams

This page was built for publication: Semantic specification and verification of data flow diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2277862)