Semantic specification and verification of data flow diagrams

DOI10.1007/BF02943404zbMATH Open0725.68070MaRDI QIDQ2277862FDOQ2277862

Authors: Yanyan Li 

Publication date: 1991

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

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

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)

Cites Work

• Communicating sequential processes
• Specifying Concurrent Program Modules
• Proofs of Networks of Processes
• A Proof System for Communicating Sequential Processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

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

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)