Visual Language Semantics Specification in the VisPro System.
Ke-Bing ZhangMehmet A. OrgunKang ZhangPublished in: VIP (2002)
Keyphrases
- specification language
- operational semantics
- specification languages
- formal specification
- logic programming
- formal language
- conceptual model
- action language
- conceptual schema
- process algebra
- semantic information
- information systems
- formal methods
- default logic
- control flow
- description language
- data sets
- integrity constraints
- model checking
- data integration
- relational databases
- multi agent systems
- neural network