Bosch-malli. Kolme vaihetta. Termistöä. Ohjelm!toarkkitehtuu"n

Transkriptio

1 Bosch-malli Ohjelm!toarkkitehtuu"n suunni#elu 2$6 Quality Attribute-oriented Software Architecture Design method Toiminnallisista vaatimuksista laadittu arkkitehtuurimalli kehitetään arvioimalla sitä laadullisten vaatimusten täyttymisten mahdollisuuksien suhteen Kolme vaihetta Termistöä Toiminnalliset vaatimukset Toiminnallisuuden perusteella suunnittelu Arkkitehtuurin arviointi Arkkitehtuurin muokkaus Laatuvaatimukset Kehitys Operatiiviset Profiilit Käyttöprofiili, käyttöskenaariot

2 Metodin yleiskuva Toiminnasta arkkitehtuuriin Laadun varmistus yleensä projektin lopussa, eli liian myöhään Attribuutteja ei voida mitata kuin valmiista järjestelmästä Valmiin järjestelmän muuttaminen kallista Tosin: Alansa spesialistit, tacit knowledge Yksittäiseen laatuatribuuttiin erikoistuminen Toiminnallisista vaatimuksista luodaan ensimmäinen arkkitehtuurimalli Mallin elementit eivät ole sovellusalueen käsitteitä! Top-down, eikä bottom-up, kuten olioilla Arviointi Muokkaus Arvioidaan, voidaanko laatuatribuutit saavuttaa Mallit: Skenaarioperustainen Simulaatio Matemaattinen mallinnus Kokemus Pyritään mahdollistamaan laatuatribuutin täyttyminen Vaihtoehdot: Sovitetaan arkkitehtuurityyli Sovitetaan arkkitehtuurimalli (ortog, aspek.) Sovitetaan suunnittelumalli Muunnetaan vaatimukset toiminnallisuudeksi Hajautetaan vaatimukset

3 Asiakkaat Markkinointi Dilbertit Vaatimusmäärittely QASAR (iteratiivinen) Quality Attribute-Oriented Software Architecture Iteratiivinen tuotteen kehitys Yksityiskohtainen suunnittelu Toteutus Testaus (Puolivalmis) tuote Tuotteen käyttö Tuote Tuote valmis? Tuoteversio Iteratiivinen tuotteen kehitys Jakelu Vaatimuksen valinta Toiminnallisuuteen perustuva arkkitehtuuriratkaisu FR (Osittainen) vaatimusmäärittely Toiminnallisuuteen perustuva arkkitehtuuriratkaisu FR Vaatimusmäärittely Sovellusarkkitehtuuri QR Sovellusarkkitehtuuri Arkkitehtuurin muunnos Ei OK Arvioi laatuatribuuti OK Arkkitehtuurin muunnos Ei OK Arvioi laatuatribuuti QR QA-optimointi ratkaisut Lisää vaatimuksia? Kyllä QA-optimointi ratkaisut OK QASAR (iteratiivinen)

4 Arkkitehtuurin suunnittelu Esimalli toiminnallisin perustein Bosch: Valitaan käsiteltävät vaatimukset Luodaan toiminnallisten vaatimusten perusteella esimalli arkkitehtuurille Arvioidaan laatuatribuuttien täyttyminen Muokataan arkkitehtuuria Jatketaan, kunnes kaikki vaatimukset täyttyvät Määrittele järjestelmän konteksti Määrittele rajapinnat ja yhdistä nämä vaatimuksiin (toim. ja ei toim.) Tunnista arkkityypit, järjestelmän ydinabstraktiot Tunnista ehdokkaat ja valitse ehdokkaista pieni ja kestävä joukko; poista ehdokkaita jos tarpeen, mieluummin yhdistä Tunnista ja valitse suhteet arkkityyppien välillä Esimalli toiminnallisin perustein Arkkitehtuurin varmennus Jaa arkkitehtuuri komponentteihin Tunnista komponentit Komponentti muodostuu yhdestä tai useammasta arkkityypistä Tunnista komponenttien väliset suhteet Komponenttien väliset suhteet määräytyvät ja löytyvät myös arkkityyppien välisistä suhteista Luo pari esimerkkiä instantioiduista arkkitehtuureista Täyttyvätkö laadulliset vaatimukset? Profiilit Suorituskyky, ylläpidettävyys, luotettavuus, turvallisuus, varmuus Varmennus Skenaariot, simulaatio ja prototyyppi, matemaattinen mallinnus, kokemus

5 Arkkitehtuurin muokkaus Arkkitehtuurin muokkaus Vaiheet Tunnista ongelmalliset atribuutit Tunnista ongelmalliset kohteet Valitse muokkaustapa Muokkaa arkkitehtuuria Muokkaustavat Sovita arkkitehtuurityyli (Shaw & Garlan, Buschmann) Sovita arkkitehtuurimalli (aspektuaalinen) Samanaikaisuus, pysyväisyys, hajautus, graafinen käyttöliittymä Sovita suunnittelumalli Muunna laadullinen vaatimus toiminnallisuudeksi Itsemonitorointi, joustavuus Arkkitehtuurin muuntaminen Laatuatribuuttien arviointi Kun mikään muu ei onnistu Hajota ja hallitse! Susi on tapettava pentuna! Mittaaminen mahdotonta, joten arvioimme potentiaalia kvalitatiivinen vertaileva boolean tulos kvantitatiivinen 'absoluuttinen numeerinen tulos ei raja-arvoja, optimia

6 Laatuattribuuttien arviointi Profiilit teoreettisen maksimin arviointi optimi? teollisuus erotus opt-x auttaa arvioimaan laatua kvant. mahdollista, mutta usein kallista kvalit. usein riittävää Nykykäytännöt laatuattribuutit heikosti tai ylimalkaisesti spesifioitu "Ylläpidettävyyden oltava mahdollisimman hyvä." "Suorituskyvyn oltava riittävä keskivertokäyttäjälle." Profiilit Profiilit tutkijat keskittyneet omaan alaan teknologiat raskaita, kalliita, hankalia tarvitaan tietoa, jota ei ole arkk. suunnittelun aikana olemassa teollisuus ei ole ottanut menetelmiä käyttöön Määritelmä joukko skenaarioita näiden välinen tärkeys arvioituna

7 Skenaariot profiileihin Skenaariot profiileihin Kaikki skenaariot mukaan, tai valitaan osa skenaarioista: Hätäiseen tehtynä ajautuu vain GUIliitännäisiin skenaarioihin. Menetelmä hieman kattavampaan valintaan: Määrittele kategoriat Valitaan skenaariot per kategoria Skenaariot profiileihin Arviointitavat Lasketaan painot, suhteeliset tai absoluuttiset, skenaarioille Toimintatavat Yksin, ryhmässä, ensin yksin valmistellen, sitten ryhmässä tuotokset yhdistäen (Boschin suositus) Skenaarioperustainen Simulaatioperustainen Matemaattinen mallintaminen Kokemusperustainen

8 Skenaarioperustainen arviointi Simulaatioperustainen arviointi Kuten olioille mutta laatuatribuuteille muitakin skenaarioita kuin käyttöskenaario käyttötapaukset ovat optiomoiduille arkkitehtuureille, eivät sovi tähän touhuun Vaiheet vaikutusanalyysi laatuatrib. ennustaminen Hyvä vertailuun Vaiheet Määrittele ja toteuta konteksti Toteuta arkkitehtuurikomponentit Toteuta profiili Simuloi järjestelmää ja käynnistä profiili(t) Analysoi kerätty data ja ennusta laatuatribuutit Toimii myös toiminnallisille vaatimuksille Prototyypitys Matemaattinen mallintaminen Toteuta prototyyppi Älä näytä sitä asiakkaalle tai tee siitä ainakin ruma :) Aja sitä oikeassa ympäristössä Analysoi, ennusta Vaiheet Valitse ja sovita yleinen malli Esitä arkkitehtuuri mallin käsitteillä (sov. arkkit. malliin) Arvioi syöttö Ennusta laatuatribuutit tuloksista Metriikat, ajoitukset, resurssit Malleja ei olemassa kaikille laatuatribuuteille Simulaation kanssa vaihtoehtoinen

9 Kokemusperustainen arviointi Arvioinnin vaiheet Hyvä vs. huono suunnitelma...feel in my guts... Kerran Valitse tarvitut laatuatribuutit ja niiden tarvittu taso. Määrittele profiili jokaiselle atribuutille. Valitse arviointitapa jokaiselle laatuatribuutille. Arvioinnin vaiheet jatkuu Arkkitehtuurin muuntaminen Toistuvasti Tee arviointi sen hetkiselle arkkitehtuurille. Kerää tulokset ja tee päätökset: Jatketaan Uudelleenneuvottelu Lopetetaan Yleistä muuntamisesta Muuntamisen vaiheet Muuntamisen vaihtoehdot

10 Ymmärrys sovellusalueesta Ominaisuudet ja laatuattribuutit Tarve ymmärtää sovellusalue sovellusaluemallinnus arkkitehtuuri yhteiset käsitteet, määritelmät, yhteinen kuva järjestelmästä helpottavat keskustelua muutokset tekijäryhmässä vaikuttavat vähemmän Mikä estää arkkitehtuurin vaaditun ominaisuuden täyttymisen? laatuattribuutin arviointi laatuattribuutin konteksti, alijärjestelmä Laatuattribuutin parannus muokkaamalla kontekstia muokkaamalla arkkitehtuuria Muuntamisen vaikutukset Hyviä ja huonoja vaikutuksia, usein yhtäaikaisesti. Laajoja vaikutuksia läpi arkkitehtuurin, tai lokaaleja vaikutuksia. Muunnokset voivat viedä arkkitehtuurin kauemmas sovellusalueen käsitteistä, ja lisätä elementtien määrää huomattavasti. Muistettava pitää asiat selkeinä ja yksinkertaisina.

11 Muunnosvaihtoehdot Muuntamisen vaiheet 1 2 / 4 Arkkitehtuurityylin sovitus Arkkitehtuurimallin sovitus Suunnittelumallin sovitus Laatuvaatimusten muuntaminen toiminnallisiksi 1. Tunnista täyttymättömät laatuattribuutit nykyiset ja toivotut tasot enintään viisi käsittelyyn kerrallaan 2. Selvitetään mihin elementtiin kukin laatuattribuutti vaikuttaa Muuntamisen vaiheet 3 4 / 4 Arkkitehtuurin muuntaminen 3. Valitaan kullekin soveliain muunnos Valitaan muunnostapa vaihtoehdoista tai hajautetaan useaksi eri vaatimukseksi Varmistetaan attribuutin tason täyttyminen taso saa laskea, kunhan se pysyy hyväksyttynä 4. Muunnetaan arkkitehtuuri ja päivitetään kuvaukset Arkkitehtuurityylin sovitus Arkkitehtuurimallin sovitus Suunnittelumallin sovitus Laatuvaatimusten muuntaminen toiminnallisiksi Laatuvaatimusten hajauttaminen

12 Arkkitehtuurityylin sovitus Arkkitehtuurimallin sovitus Kuvastot: Shaw & Garlan Buschmann et al. Siemens-kirja Heidän mallit ovat muiden tyylejä. Vaikutusalue koko arkkitehtuuri. Ei monia yht'aikaisia tyylejä. Vaikuttaa koko arkkitehtuuriin, voi olla useita yht'aikaisia Voi laajentaa tai muuttaa komponenttien (elementtien) toimintaa Voi lisätä muutaman elementin Vaikutus tietotekniikka-alueessa, ei sovellusalueessa Arkkitehtuurimalleja Rinnakkaisuus Rinnakkaisuus Pysyväisyys Hajautus GUI Käyttöjärjestelmän prosessit Käyttöjärjestelmän säikeet Yhteistyömoniajo (non-preemptive threads) Sovellustasoinen moniajo

13 Pysyväisyys Hajautus Tietokantahallintajärjestelmät Sovellustasoinen pysyväisyys ja transaktiot Välittäjät (brokers) Etämetodikutsu Suunnittelumallin sovitus Ensin yksinkertaisesti monimutkaisuuteen tulee kasvaa.??? Kartoitettuja malleja suunnittelun ongelmiin. Kuvastoja: GoF; Siemens; Anti-mallit; Martin: Agile Software Development; PLOP-sarja; Vaikuttavat pieneen osaan arkkitehtuuria. Useita kerrallaan, muttei kaikkia.

14 Laatuvaatimukset toiminnallisiksi Laatuvaatimusten hajauttaminen Poikkeukset Itsemonitorointi Moninkertaiset järjestelmät Hajautetaan vaatimus usean elementin vastuulle Vikasietoisuuden jako: vikasietoisuuden laskenta vikasietoisuuden kommunikointi