Tutkimuksessa "Conceptual modelling languages" tarkastellaan käsitteellisessa mallintamisessa käytettäviä ns. mallinnuskieliä, niiden ilmaisuvoimaa ja soveltuvuutta mallinnustehtäviin.

Käsitteellinen mallintaminen tarkoittaa kohdealueen kuvaamista ja esittämistä käsitekaaviona. Standardijärjestö ISOn työryhmän suosituksen mukaisesti käsitekaaviossa tulisi olla vain kohteen käsitteellisesti relevantti sisältö ilman tekniseen tiedon esittämiseen liittyviä seikkoja. Käsitekaavio tulee kuitenkin ilmaista jollain (formaalilla) kielellä, jotta sen perusteella voidaan esim. laatia tietokoneohjelmisto tai tietokanta. Tällaista ns. ulkoistettua käsitekaaviota tarkasteltaessa on oleellista että formalismin semantiikka, ts. siinä käytettävien symbolien merkitys, on tarkkaan kiinnitetty. Muussa tapauksessa on vaikeaa sanoa onko kuvaamisessa tai implementaatiossa tapahtunut virheitä.

Jotkut formalismit, intensionaaliset mallintamiskielet, ovat suuntautuneet erityisesti kohdealueen käsitteiden ja niiden välisten suhteiden esittämiseen. Toinen, perinteisempi lähestymistapa (ekstensionaaliset kielet) käyttää kuvaamiseen enemmän logiikkaa ja joukko-oppia. Tutkimuksessa vertaillaan molemmille lähestymistavoille perustuvia kieliä ja osoitetaan niiden etuja ja rajoituksia. Esitämme myös joitakin menetelmiä erään intensionaalisen mallintamiskielen kaavioiden kääntämiseksi tunnetulle IFO-formalismille.

Tutkimuksen pääasialliset tulokset ja hyödynnettävyys liittyvät käsitekielten evaluointiin ja esitettyihin parannuksiin, jotka tarkentavat kielten semantiikkaa.