In dit vak zul je leren hoe je het belang van formele methoden kunt beargumenteren. Daarbij is het belangrijk dat je de syntax en semantiek van informatiemodellen zodanig leert begrijpen, dat je complexe domeinen kunt modelleren. Vervolgens leer je om te redeneren over correctheid en consistentie van informatiemodellen. Als er fouten in het model blijven zitten, zal het resulterende systeem niet aan de verwachtingen voldoen! Ook compleetheid van de modellen is belangrijk. Incomplete modellen hebben namelijk tot gevolg dat bepaalde aspecten nog niet gemodelleerd zijn, waardoor we helemaal niet meer weten hoe het uiteindelijke systeem zich zal gaan gedragen. |
|
Dit vak behandelt informatiemodellering, een essentieel onderdeel van systeemanalyse. Centraal staat de vraag hoe we op een nette en formele manier de syntax en de semantiek van informatiemodellen kunnen vastleggen. We gaan daarbij uit van de volgende eigenschappen.
Het model heeft een formele onderbouwing, is op een conceptueel nivo, heeft een ruime expressieve kracht, is executeerbaar, leidt tot begrijpelijke en communiceerbare modellen, en is geschikt voor het modelleren van gegevensintensieve domeinen. Communiceerbaarheid is een belangrijke eis, omdat conceptuele modellen een cruciale rol spelen in de communicatie met domeinexperts.
|
|