Domeinmodellering/1 Organisatie/Onderwerpen
Uit Werkplaats
Onderwerpen
De cursus is georganiseerd in 2 blokken:
1. Modeleren en Redeneren:
- UoD (Universe of Discourse); gecontroleerde taal
- conceptueel schema; ORM (Object Role Modeling)
- ORC (voor formuleren eigenschappen en operaties en bewijzen van eigenschappen)
- formele versus informele wereld
2. Transformeren en Implementeren:
- SQL: syntax, semantiek, opstellen queries via verfijningen
- transformatie tussen ORC en SQL
- ‘relational transformation'; ‘optimized schema', bewaking beperkingsregels
- Object-Life model; proces gerichte benadering
- UML (Unified Modeling Language)