Object-Oriented Action Semantics Specifications.
Cláudio CarvilheMartin A. MusicantePublished in: J. Univers. Comput. Sci. (2003)
Keyphrases
- object oriented
- specification language
- programming language
- operational semantics
- transition systems
- action descriptions
- definition language
- control flow
- conceptual model
- relational databases
- data model
- conceptual models
- formal language
- formal specification
- formal semantics
- multiple inheritance
- logic programming
- database design
- attribute grammars
- high level
- data flow
- object oriented databases
- database applications
- programming interface
- fluent calculus
- semantic information
- action language
- constraint language
- query language
- object oriented database systems
- database schema
- object oriented data models
- concurrent systems
- delay insensitive
- atomic actions
- action theories
- speech acts
- test cases