ETL Workflows: From Formal Specification to Optimization.
Timos K. SellisAlkis SimitsisPublished in: ADBIS (2007)
Keyphrases
- formal specification
- grid workflow
- object oriented design
- model checking
- specification languages
- specification language
- process algebra
- reverse engineering
- formal methods
- data warehouse
- data warehousing
- concurrent systems
- database systems
- software components
- design methodologies
- data abstraction
- real world
- formal specification language