Hyppää sisältöön
    • Suomeksi
    • In English
Trepo
  • Suomeksi
  • In English
  • Kirjaudu
Näytä viite 
  •   Etusivu
  • Trepo
  • Väitöskirjat
  • Näytä viite
  •   Etusivu
  • Trepo
  • Väitöskirjat
  • Näytä viite
JavaScript is disabled for your browser. Some features of this site may not work without it.

Conceptual Modelling Languages

Niinimäki, Markopekka (2004)

 
Avaa tiedosto
951-44-5910-5.pdf (1.042Mt)
Lataukset: 



Niinimäki, Markopekka
Tampere University Press Tampereen yliopisto
2004

Tietojenkäsittelyoppi - Computer Science
Informaatiotieteiden tiedekunta - Faculty of Information Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Väitöspäivä
2004-03-22
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/urn:isbn:951-44-5910-5
Tiivistelmä
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.
 
Kokoelmat
  • Väitöskirjat [4334]
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Yhteydenotto | Tietosuoja | Saavutettavuusseloste
 

 

Selaa kokoelmaa

TekijätNimekkeetTiedekunta (2019 -)Tiedekunta (- 2018)Tutkinto-ohjelmat ja opintosuunnatAvainsanatJulkaisuajatKokoelmat

Omat tiedot

Kirjaudu sisäänRekisteröidy
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Yhteydenotto | Tietosuoja | Saavutettavuusseloste