Sequence Specification for Concurrent Object-Oriented Applications.
Yamin WangRamakrishna V. VishnuvajjalaWei-Tek TsaiPublished in: Int. J. Softw. Eng. Knowl. Eng. (1998)
Keyphrases
- object oriented
- object oriented databases
- hybrid automata
- database schema
- user defined
- databases
- input data
- conceptual model
- data warehousing
- long sequences
- relational databases
- definition language
- formal specification
- object oriented modeling
- specification languages
- object orientation
- mutual exclusion
- formal methods
- object oriented database systems
- state transition
- information systems
- high level
- learning environment
- database design
- database applications
- software engineering