A formal approach to the semantic specification of data flow diagrams.
Tong LiuC. S. TangRui ZhangPublished in: COMPSAC (1991)
Keyphrases
- data flow
- control flow
- reactive systems
- database machine
- formal specification
- high level
- formal language
- object oriented software
- formal methods
- systolic array
- digital signal processing
- specification languages
- semantic annotation
- semantic web
- requirements specification
- semantic information
- workflow model
- natural language
- specification language
- data transfer
- object oriented
- formal ontologies