Sisällys 9. Unified Modeling Language (UML) Perustuu Kai Koskimiehen Oliokirjaan ja aikaisempaan luentomateriaaliin. Johdanto. Luokkakaavio: Luokkasymboli, attribuutit ja metodit. Suhteet: Assosiaatiot: tavallinen assosiaatio, assosiaatio ajonaikana, refleksiivinen assosiaatio koosteassosiaatio ja aito kooste. Riippuvuussuhde. Periytymissuhde ja rajapinta. 9. 9.2 Johdanto Unified Modeling Language (UML) on mallinnuskieli eli täsmällinen menetelmä reaalimaailman abstrahoimiseen. Boochin, Rumbaugin ja Jacobsonin mallinnuskielien synteesi. Nykyisin Object Management Groupin (OMG) kehittämä standardi, joka kokoaa yhteen useita graafisia mallinnuskieliä, joita kutsutaan kaaviotyypeiksi. Johdanto UML:ia ei ole sidottu mihinkään tiettyyn ohjelmiston suunnittelumenetelmään. Omimmillaan kuitenkin olioperustaisen ohjelmistonkehityksen apuvälineenä. Kattaa hyvin moninaisia tarpeita, mutta toisaalta laajuutensa vuoksi UML on monimutkainen ja raskas menetelmä. 9.3 9.4
Johdanto Järjestelmän toimintaa voidaan kuvata korkealla tasolla käyttötapauskaavioilla. Useita kaavioita järjestelmän rakenteen ja käyttäytymisen mallintamiseen. Kaikkien kaaviotyyppien esittely ei ole kurssin puitteissa mahdollista. Tarkastellaan lähemmin vain luokkakaaviota, joka on rakennekaavioista keskeisin. Esimerkkinä muun muassa ajoneuvojen vuokrausjärjestelmä. Johdanto Kaaviot koostuvat peruselementeistä ja niiden välisistä suhteista. Elementit ovat geometrisia kuvioita. Elementeillä usein myös sisäinen rakenne (esimerkiksi luokan attribuutit ja metodit). Suhteet ovat elementtejä yhdistäviä viivoja. Suhteisiin voidaan liittää tarkempaa informaatiota (esimerkiksi nimi, kertautuminen, roolit). 9.5 9.6 Johdanto UML:n graafinen ulkoasu ei ole tarkasti määrätty. Kaavioita piirretään myös vaihtelevalla tarkkuudella. Olioperustaisen ohjelmistonkehityksen analyysivaiheessa käytetään paljon yleisempää esitystä kuin suunnitteluvaiheessa. Yksityiskohdat sivuutetaan nyt, koska tavoitteena on vain tutustua luokkakaavioihin karkealla tasolla. Huomaa, että harjoitustyöhön liittyy hieman tarkempi attribuuttien ja metodien esittely. Luokkakaavio Luokat substantiivilla esitettäviä käsitteitä. Ominaisuudet attribuutteja. Toiminnot metodeja. Vain keskeisimmät käsitteet mallinnetaan luokiksi. Samoja piirteitä sisältäville luokille tehdään yliluokka, jonne yhteiset piirteet siirretään. Luokalla tulee olla yksikäsitteinen vastuu: Esimerkiksi Lista-luokka säilöö tietoja ja Käyttöliittymä huolehtii ihmisen ja koneen vuorovaikutuksesta. Jos vastuita useampia, niin luokka jaetaan osiin. Tarpeettomia yhteyksiä luokkien välillä vältettävä. 9.7 9.8
Luokkakaavio Luokkakaavio (class diagram, static structure diagram) kuvaa järjestelmään kuuluvia luokkia ja niiden välisiä suhteita. Tärkein järjestelmän rakenteen mallinnusväline. Luokat esitetään luokkasymbolin avulla. Luokkasymboli koostuu luokan nimestä sekä mahdollisten attribuuttien ja metodien esittelyistä. Luokka ja piirteet nimetään kuten Javassa. LuokanNimi attribuutit metodit LuokanNimi Attribuutit Esittely yleisesti (mukana tärkeimmät määreet): {näkyvyysmääre} nimi {[kertautuminen]} {: tyyppi} {= alkuarvo} {lisätietomäärelista} missä aaltosulkeet tarkoittavat valinnaista osaa ja hakasulkeet mahdollisesti toistuvaa osaa. Näkyvyys: public (+), protected (#), private (-). Kertautumisella määritellään esimerkiksi taulukko. Määre annetaan kuten assosiaatioiden yhteydessä. Esimerkki: - luvut [0..] : Integer 9.9 9.0 Attribuutit Metodit (operaatiot) Tyypillisesti alkeistyyppejä, jotka annetaan usein isoilla alkukirjaimilla: Integer, Double, Boolean jne. Luokkatyyppisistä attribuuteista luokkasymbolissa esitetään vain kaavioon kuulumattomat (apu)luokat. Kaaviossa esiintyvien luokkien väliset suhteet esitetään attribuuttien asemasta assosiaatioina. Luokka-attribuutit alleviivataan. Lisätiedot kirjoitetaan aaltosulkeisiin. Esimerkki: + PII : Double = 3.4 { const } 9. Esittely yleisesti (mukana tärkeimmät määreet): {näkyvyysmääre} nimi( {parametrilista} ) {: tyyppi} {lisätietomäärelista} missä aaltosulkeet tarkoittavat valinnaista osaa Parametreista voidaan antaa vain tyyppi. Tosinaan annetaan myös nimi. Tiedonvälityksen suunta (in, out, inout) määritellään harvoin. Esimerkki: + sayntimes(msg: String, n: Integer) sayntimes(string, Integer) 9.2
Metodit (operaatiot) Esimerkkejä Tyyppi annetaan kuten attribuuteille. Paluuarvottomalle metodille ei anneta tyyppiä. Abstrakti metodi kirjoitetaan kursiivilla tai esitellään lisätiedolla {abstract}. Esimerkki: + laskeetaisyys(k: Piste) : Double Luokkametodi alleviivataan. Esimerkki: - alusta(taulukko [][]: Character) ULM:ssa operaatio määritellään abstraktiksi esittelyksi ja metodi operaation toteutukseksi. Auto rekisterinumero huolla(int km) palauta() Kissa - kissoja: int = 0 - hanta: String + kehraa() Talleta huoltoinformaatio (palauta kutsuu) Luokka-attribuutti, jolla lasketaan luotujen kissojen lkm String-tyyppinen attribuutti voidaan esitellä, koska String ei ole kaavion luokka. 9.3 9.4 Suhteet Yhdistävät luokkakaavion elementtejä. Piirretään erilaisina viivoina. Assosiaatioilla (association) kuvataan luokkien väliset suhteet, joilla on tietty pysyvyys. Hetkelliset suhteet, jotka kestävät esimerkiksi vain metodin suoritusajan, kuvataan riippuvuussuhteina. Koosteassosiaatio ja aito kooste mallintavat onosa -tyyppiset suhteet. Periytymissuhde ja rajapinnan toteutus ovat tuttuja. Assosiaatiot Tavallinen assosiaatio ilmaistaan piirtämällä viiva luokka-symbolien välille. Binääriset, kahden luokan väliset yleisimpiä. Assosiaatiolla on usein nimi. (Asiayhteydestään selviä assosiaatioita ei tarvitse nimetä.) Assosiaatiolla ei ole varsinaista suuntaa. Nimen yhteyteen voidaan merkitä nuolisymboli, joka kuvaa lukusuunnan. Sama assosiaatio voidaan lukea myös toisinpäin, jos nimi vaihdetaan kuvaamaan käänteistä tilannetta. palvelee asioi 9.5 9.6
Assosiaatiot Assosiaation päätä kutsutaan rooliksi (role), joka voidaan myös nimetä. Nimi kuvaa assosiaation merkityksen vastakkaisessa päässä olevan luokan kannalta. Esim. näkee henkilön palveltavana asiakkaana ja henkilö pankin palvelua tarjoavana yrityksenä. yritys palvelee asiakas Kissalle hiiri on saalis ja hiirelle kissa on peto. Kissa metsästää peto saalis Hiiri Assosiaatiot Rooli ilmaisee myös assosiaation kertautumisen (multiplicity), jolla ilmaistaan montako assosiaation vastakkaisen pään luokan oliota liittyy tarkasteltavana olevan pään luokan yksittäiseen olioon. tarkoittaa mielivaltaisen monta ( == 0..). 0.. tarkoittaa kertautumista yksi tai ei yhtään. Jos kertautumista ei ole merkitty, se on määrittelemätön (eikä siis esimerkiksi ). Moninkertaisessa assosiaatiossa kertautuminen >. Esim. palvelee nollaa tai useampaa asiakasta ja henkilö asioi 0, tai 2 pankissa. palvelee 0..2 yritys asiakas 9.7 9.8 Esimerkkejä Kurssi Yritys 0.. omistaa Auto.. Opettaja 0.. työnantaja työntekijä Assosiaatiot ajonaikana Assosiaation ajoaikainen ilmentymä on linkki (link), joka vallitsee assosiaation olioiden välillä. Määritellään olioiden tupliksi: binäärisissä assosiaatioissa linkit ovat järjestettyjä oliopareja. Monikertaisissa assosiaatioissa linkkejä voi olla kaksi tai useampia. Oliokaavio esittää luokkakaavion mahdollista ajonaikaista ilmentymää. Kaaviossa viiva vastaa linkkiä. X: Oili: Onni: Ossi: 9.9 9.20
Assosiaatiot ajonaikana Assosiaatiot toteutetaan pääosin luokkatyyppisinä attribuutteina (viitteinä) assosiaation lähtöluokassa. Luokkakaavio: käytössä 0.. 0.. Parkkipaikka Toteutus Java-kielellä: public class Henkilo { private Parkkipaikka ppaikka; } Assosiaatiot ajonaikana Monikertainen assosiaatio voidaan toteuttaa luokkakaavion kuulumattoman säiliöluokan avulla. Luokkakaavio: palvelee 0..3 yritys asiakas Eräs toteutus Java-kielellä: public class { private Vector<Henkilo> asiakkaat; } 9.2 9.22 Refleksiivinen assosiaatio Refleksiivinen (unaarinen) assosiaatio päättyy lähtöluokkaansa. Näin esitetty assosiaatio on hankala ymmärtää ilman nimeä. Roolien käyttö on myös suotavaa. Solmu 0.. Oletetaan, että solmua seuraava käytetään linkitetyn listan toteuttamiseen. public class Solmu { // Solmun sisältämä tieto. } private Object alkio; // Viite seuraavaan solmuun. private Solmu seuraava; 9.23 Assosiaation yksilöinti Jos assosiaatioon liittyy tieto, joka määrää assosiaation toisessa päässä olevien olioiden joukon, niin tämä tieto voidaan esittää niin kutsuttuna yksilöintinä (qualification). Yksilöinti liittyy aina moninkertaiseen assosiaatioon. Tavallisesti yksilöinti muuttaa kertautuvan pään kertautumisen "":ksi (tai "0..":ksi). Tällöin yksilöinti määrää linkin toisessa päässä olevan olion yksiselitteisesti. 9.24
Assosiaation yksilöinti Yksilöinti merkitään luokkasymboliin liittyvänä pienenä laatikkona, jonka sisään kirjoitetaan linkin yksilöivä tieto, joka tarkentaa olion linkin vastakkaisessa päässä. Usein yksilöivä tieto on vastakkaisella puolella olevan luokan attribuutti. Huomaa, että yksilöinti ei muuta sen pään kertautumista, johon se piirretään. Kirjasto kokoelma sijainti lainaaja nro lainaa nimi osoite Koosteassosiaatio Kooste (aggregation) on erityinen assosiaatiolaji, joka esittää suhteen on-osa (HasA) tai kuuluu luokkien (ilmentymien) välillä. Oma symboli: pieni vinoneliö sisältävässä päässä (siis suhteen "A on-osa B:tä" B-päässä). Tämä symboli korvaa tavallisesti assosiaation ja roolien nimet. Koosteeseen voidaan soveltaa normaaliin tapaan kertautumista ja yksilöintiä. Valinta tavallisen ja koosteassosiaation välillä on toisinaan enemmänkin makuasia. 9.25 9.26 Aito kooste Esimerkkejä Aito kooste (composition) tarkoittaa koostesuhdetta, jossa osaolio riippuu isäntäoliostaan kahdella tavalla: osa ei voi olemassa ilman isäntäänsä ja osa voi olla vain yhden isännän osa. Isännän tulee yleensä huolehtia osan luonnista ja hävittämisestä. Aito kooste merkitään kuten kooste, mutta vinoneliö on musta. Kertautuminen sisältävässä päässä tai 0... Monikulmio pinta-ala Ministeri Hakemisto Huone 3.. {ordered}.... 0.... Piste x-koord y-koord Valtioneuvosto Tiedosto Seinä Jos olioliitoksilla on mallin kannalta olennainen järjestys, voidaan rajoite {ordered} liittää rooliin. 9.27 9.28
Riippuvuussuhde Riippuvuussuhteella (dependency) kuvataan luokkien väliset hetkelliset suhteet. Muun muassa olion luominen ja metodin kutsuminen. Esitetään väkäpäisellä nuolella, jonka varsi piirretään katkoviivalla. Nuoli piirretään kohti luokkaa, jonka palveluja käytetään. Esimerkki: ihminen käynnistää ja sammuttaa tietokoneen. Ihminen Tietokone Periytymissuhde Periytyminen (inheritance) kuvaa erikoistumis- tai yleistyssuhteen yli- ja aliluokan välillä. Suhde piirretään kolmiokärkisenä yliluokkaan osoittavana nuolena. Jos luokalla on useita aliluokkia, nuolet voidaan piirtää joko erikseen tai yhdistettynä samaan kärkeen. Auto Ajoneuvo 9.29 9.30 Periytymissuhde Perittyjä attribuutteja ei tavallisesti piirretä näkyviin jälkeläisiin. Abstraktin metodin (UML:n operaatio) toteuttava metodi (UML:n metodi) voidaan esitellä toteuttavassa luokassa. Metodin korvaaminen voidaan tarvittaessa ilmaista jälkeläisessä. Nisakas + syo() Villikissa + syo() Kotikissa Rajapinta Rajapinta esitetään joko stereotyypillä <<interface>> varustetulla luokkasymbolilla tai pyöreällä rajapintasymbolilla. Jos luokka toteuttaa rajapinnan, piirretään edellisessä tapauksessa toteutussuhdetta kuvaava nuoli (kuten periytyminen, mutta katkoviivalla) luokasta rajapintaan. Jälkimmäisessä tapauksessa rajapintaympyrä yhdistetään yksinkertaisella viivalla luokkasymboliin. 9.3 9.32
Rajapinta Ajoneuvonvarausjärjestelmä Luokkasymbolin käyttäminen rajapinnan kuvaukseen on hyödyllistä silloin, kun halutaan näkyville rajapinnan tarjoamat metodit. Kohde Ohjain Tällöin metodi esitellään sekä rajapinnassa että sen toteuttavassa luokassa. Auto Auto <<interface>> Ajoneuvo Ajoneuvo Rajapinta pyritään piirtämään kurssimateriaalissa näin. palauta() varaa() otakäyttöön() Auto rekisterinumero huolla(int km) palauta() hallinnoi Talleta huoltoinformaatio (palauta kutsuu) KohdeHallinto palautakohde(kohde, Varasto) varaakohde(kohde) otakäyttöönkohde(kohde) <<interface>> Varasto ParkkiAlue 9.33 9.34