gebruik gemaakt van interactief bandelen om het UML-
model om te zetten naar XSD's, databasetabellen, views en
generalisatiebewerkingen. Het is dan ook nog niet duidelijk
in hoeverre de UML/OCL-benadering voldoende formeel is
om al deze stappen automatisch(er) te maken. Uit de tests
bleek in ieder geval dat het voor het automatiseren uiterst
belangrijk is om het formele model te vullen met expliciete
én impliciete kennis, maar ook dat dit veel tijd vergt en niet
altijd eenvoudig is, bijvoorbeeld het formeel maken van de
generalisatievoorwaarde 'het karakter van terrein moet be
houden blijven'.
Tot slot
De volgende stap voor IMTOP is de beslissing hoe de vast
gestelde modelleerprincipes en het prototype het beste
kunnen worden uitgewerkt tot een volledig IMTOP alsook
een grondige analyse van product- en generalisatiespecifi
caties van het Kadaster teneinde IMTOP daadwerkelijk te
vullen met formele generalisatiekennis. Hierbij moeten
wellicht de traditionele producten van het Kadaster met
enige flexibiliteit worden bezien. De huidige producten
bevatten immers historisch gegroeide inhoudsverschillen
tussen de schalen waarvoor heden ten dage nauwelijks
nog goede argumenten te vinden zijn. Bovendien bemoei
lijken deze verschillen voor een deel de automatische
generalisatie, die overigens nooit hetzelfde resultaat zal
Fig. 5. Resultaat van
IMTOP-prototype,
uitgewerkt, voor
wegdelen, gebouwen
en tcrreinvlakken
voor drie schalen
(TOFIONL, TOP50NL
en TOPIOONL)
opleveren als interactieve generali
satie. Er zal vervolgens empirisch
moeten worden vastgesteld, door het
uitvoeren van automatische genera
lisatietests, hoe deze producten tot
stand kunnen komen met behulp
van (semi-)automatische generalisa
tie. Op basis hiervan kunnen formele
specificaties voor automatische gene
ralisatie worden vastgesteld. Als deze
stappen zijn doorlopen, dan kan IM
TOP volledig gevuld worden om het
automatische generalisatieproces
van het Kadaster optimaal te onder
steunen.
Literatuur
Kadaster, Specificaties TOPxxvector,
Topografische Dienst, Emmen,
2002.
Kadaster, Generalisatievoorschriften
TOPStlvectorTopografische Dienst,
Emmen, 2005.
Van Smaalen, J. en J.E. Stoter, Au
tomatische generalisatie van TOFIONL
class Multiscalo wagon gebouwen terreinen
»afgeleidVanTop10'1 1..'
hoofdVetteersGebruik HoofdVetteereGebruikSQ fG,.t}
type Infra structuur: r y pe Infra structuurWegdeat 50
fyslekVoortomen FysiekVoorkDn-ietnTerrem50
*i tunnelnaam: char to,.1]
typeLandgebruik: TypetandgebruifcSQ 10.-1}
typeLandqebruik: TypeLand^ebmiklOO r0..1l
CEO-INFO 2008-10