Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations.
Yujun ZhengJinyun XueWeibo LiuPublished in: TAMC (2006)
Keyphrases
- object oriented
- specification language
- programming language
- relational databases
- database design
- object oriented databases
- database applications
- data model
- office information systems
- object oriented programs
- conceptual model
- conceptual models
- programming interface
- web services composition
- definition language
- formal specification
- high level
- software engineering
- web service composition
- object oriented database systems
- reverse engineering
- object categories
- data warehousing
- xml documents
- query refinement
- object oriented concepts
- provably correct
- constraint language
- conceptual modeling
- composite services
- formal verification
- query language
- model checking
- object oriented programming
- text classification
- user defined