Modellezési alapismeretek

Hasonló dokumentumok
Modellezési alapismeretek

Modellezési alapismeretek

Modellezési alapismeretek

Modellezési alapismeretek

Rendszermodellezés. Modellellenőrzés. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Modell alapú tesztelés mobil környezetben

Részletes szoftver tervek ellenőrzése

A konkréttól az absztraktig és vissza -a modellvezérelt tervezés az informatikában

Szoftverminőségbiztosítás

Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Strukturális modellezés

Strukturális modellezés

Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel

A fejlesztési szabványok szerepe a szoftverellenőrzésben

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel

Valószínűségi modellellenőrzés Markov döntési folyamatokkal

Modellellenőrzés a vasút automatikai rendszerek fejlesztésében. XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő

Alapszintű formalizmusok

Modellinformációk szabványos cseréje. Papp Ágnes, Debreceni Egyetem EFK

Autóipari beágyazott rendszerek. Komponens és rendszer integráció

Sztochasztikus temporális logikák

Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben. Ráth István

Strukturális modellezés

Modell alapú tesztelés: célok és lehetőségek

Folyamatmodellezés (BPMN) és alkalmazásai

Modellezés és metamodellezés

Az UPPAAL egyes modellezési lehetőségeinek összefoglalása. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék

Automatikus tesztgenerálás modell ellenőrző segítségével

Részletes tervek ellenőrzése

Modellek fejlesztése

Modellek fejlesztése

Modellező eszközök, kódgenerálás

Formális módszerek GM_IN003_1 Bevezetés

Nagy bonyolultságú rendszerek fejlesztőeszközei

Modellezés és metamodellezés

Szoftvertechnológia ellenőrző kérdések 2005

Autóipari beágyazott rendszerek. Kockázatelemzés

Szolgáltatásintegráció (VIMIM234) tárgy bevezető

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék. Folyamatmodellezés

Programfejlesztési Modellek

Bánsághi Anna 2014 Bánsághi Anna 1 of 31

Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Informatikai technológiák szakirány Rendszertervezés ágazat

Kogníció, koncepciók, modellek

V. Félév Információs rendszerek tervezése Komplex információs rendszerek tervezése dr. Illyés László - adjunktus

Folyamatmodellezés. Budapesti Műszaki és Gazdaságtudományi Egyetem. Hibatűrő Rendszerek Kutatócsoport. Budapesti Műszaki és Gazdaságtudományi Egyetem

KOMPUTER-ALGEBRA RENDSZEREK VERIFIKÁCIÓJA

UML (Unified Modelling Language)

Elérhetőségi analízis Petri hálók dinamikus tulajdonságai

Rendszermodellezés: házi feladat bemutatás

Szolgáltatásintegráció (VIMIM234) tárgy bevezető

A BIZTONSÁGINTEGRITÁS ÉS A BIZTONSÁGORIENTÁLT ALKALMAZÁSI FELTÉTELEK TELJESÍTÉSE A VASÚTI BIZTOSÍTÓBERENDEZÉSEK TERVEZÉSE ÉS LÉTREHOZÁSA SORÁN

Modellek ellenőrzése és tesztelése

Intervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése

Elérhetőségi probléma egyszerűsítése: Állapottér és struktúra redukció Petri-háló alosztályok

Software Engineering

Informatikai rendszertervezés

Szoftver-technológia II. Szoftver újrafelhasználás. (Software reuse) Irodalom

Dr. Wührl Tibor Ph.D. MsC 04 Ea. IP kapcsolás hálózati réteg

Diszkrét állapotú rendszerek modellezése. Petri-hálók

Intelligens eszközök fejlesztése az ipari automatizálásban Evosoft Hungary kft., Evosoft Hungary Kft.

VIR alapfogalmai. Előadásvázlat. dr. Kovács László

BPEL nyelvű üzleti folyamatok modellezése és formális ellenőrzése

Informatikai rendszertervezés

Adat és folyamat modellek

II. rész: a rendszer felülvizsgálati stratégia kidolgozását támogató funkciói. Tóth László, Lenkeyné Biró Gyöngyvér, Kuczogi László

S01-8 Komponens alapú szoftverfejlesztés 2

S01-7 Komponens alapú szoftverfejlesztés 1

Modellek végrehajtása, kódgenerálás

Mérés és modellezés Méréstechnika VM, GM, MM 1

Tartalom. Hálózati kapcsolatok felépítése és tesztelése. Rétegek használata az adatok továbbításának leírására. OSI modell. Az OSI modell rétegei

Szoftver újrafelhasználás

Szimuláció. Fault Tolerant Systems Research Group. Budapest University of Technology and Economics. Department of Measurement and Information Systems

TERMÉKTERVEZÉS PANDUR BÉLA TERMÉKTERVEZÉS

Verifikáció és validáció Általános bevezető

Formális módszerek GM_IN003_1 Program verifikálás, formalizmusok

30 MB INFORMATIKAI PROJEKTELLENŐR

Bokor Péter. DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

2.1.A SZOFTVERFEJLESZTÉS STRUKTÚRÁJA

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék. Folyamatmodellezés

A szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom

Méréselmélet MI BSc 1

Diszkrét állapotú rendszerek modellezése. Petri-hálók

matematikus-informatikus szemével

Kvantitatív módszerek

Strukturális modellezés

Forráskód generálás formális modellek alapján

Utolsó módosítás:

Célkitűzés Megoldandó feladatok A tesztkörnyezet komponensei V&V folyamatok Eszközintegrációs szintek. Megfelelőség tanúsítása modell alapon

BOC Information Technologies Consulting GmbH. Minőségmenedzsment

Objektumorientált paradigma és a programfejlesztés

Folyamatmodellezés. Rendszermodellezés Budapesti Műszaki és Gazdaságtudományi Egyetem. Hibatűrő Rendszerek Kutatócsoport

Metamodellezés. Simon Balázs BME IIT, 2011.

Mérés és modellezés 1

Utolsó módosítás:

Miskolci Egyetem Gépészmérnöki és Informatikai Kar Informatikai Intézet Alkalmazott Informatikai Intézeti Tanszék

DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Emerald: Integrált jogi modellező keretrendszer

Átírás:

Modellezési alapismeretek Rendszermodellezés Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék 1

Motiváció Stunts autóverseny, 1990. o Distinctive Games/Brøderbund Software o https://en.wikipedia.org/wiki/stunts_(video_game) Versenyzés + pályaszerkesztés (!) o Tkp. egy szakterület specifikus modell 2

Motiváció : mire jó egy modell? Végig lehet-e menni egy pályán? Ha igen, melyik kocsival? Egyértelmű-e a pálya meghatározása? Járható-e egy pálya fordított irányban is? Milyen elemek kombinálhatóak? Milyen pályák állíthatóak elő? Valósághű -e egy pálya? Alkalmas-e versenyzésre? Szeretnék új típusú pályaelemet, mi kell ehhez? Kép: http://www.abandonia.com/games/73/stunts.htm 3

Tartalom Modell és modellezés Mire használunk modelleket? Alapfogalmak 4

Modellezés alapfogalmai Modell és modellezés Mire használunk modelleket? Alapfogalmak 5

Mi a modell? "The sciences o do not try to explain, o they hardly even try to interpret, o they mainly make models. By a model is meant o a mathematical construct which, o with the addition of certain verbal interpretations, o describes observed phenomena. The justification of such a mathematical construct is solely and precisely that it is expected to work. Neumann János

Mi a modell? Egy valós vagy hipotetikus világ (a rendszer ) o egy részének o egyszerűsített képe, amely o a rendszert helyettesíti bizonyos megfontolásokban Döntések: o A világ mely része? o Mit hanyagol el? o Hogy feleltethető meg a világnak? Haszna o kisebb (véges) o áttekinthetőbb 8 Mikor lehet és érdemes felhasználni?

Mi NEM a modell? A modell nem a valóság! A modell nem a diagram. o az csak egy nézet 9

Modell vs. valóság 10

Matematikai modell vs. valóság Minden modell: zárt világ o Hatások, faktorok o Paraméterek o Érvényesség A modell bizonytalan működésű ezen a világon kívül Nem minden fejezhető ki előre o Emberi döntés o Generált modellek Megoldás validációja Normál működés o Peremfeltételek: Van elég anyag Minden rendelés határidőre o Célfüggvény: Költségminimum Rendkívüli eset o Peremfeltétel Anyaghiány o Célfüggvény: 1. Minél több rendelés határidőre 2. Költségminimum 11

Matematikai modell vs. valóság Minden modell: zárt világ o Hatások, faktorok o Paraméterek o Érvényesség A modell bizonytalan működésű ezen a világon kívül Nem minden fejezhető ki előre o Emberi döntés o Generált modellek Megoldás validációja Normál működés o Peremfeltételek: Van elég anyag Minden rendelés határidőre o Célfüggvény: Költségminimum Rendkívüli eset o Peremfeltétel Anyaghiány o Célfüggvény: 1. Minél több rendelés határidőre 2. Költségminimum 12

Példa: biztonságkritikus SW Repülőgép fékezése: kerékfék + sugárfordító 13

1993 Varsó: Lufthansa 2904 (SW) védelem: Kerék a levegőben (mindkét főfutó terhelt) OR Kerék csúszik (egy kerék gyorsan forog) (gép a leszállópályán) (PILÓTA FÉKEZHET) 14

Modell minősége A valóság: nyílt világ A modell: zárt világ Valósághűség: o Valószínű + kritikus esetek 15

Modell minősége A valóság: nyílt világ A modell: zárt világ Valósághűség: o Valószínű + kritikus esetek 16

Páncélozás? Wald Abraham 17

Páncélozás? Wald Abraham 18

Tartalom Modell és modellezés Mire használunk modelleket? Alapfogalmak Illusztratív példák 19

Modellezés a gyakorlati életben? Pl.: [svéd cég] webes konyhatervezője 20

Modellezés a gyakorlati életben? Pl.: [svéd cég] webes konyhatervezője 21

Ez is modellezési nyelv! Verilog szakterület specifikus, hardver leíró 22

Ez is modellezési nyelv! Verilog szakterület specifikus, hardver leíró 23

Mi értelme van modellezni? Én szoftvert készítek. Kell-e modelleznem is? o Már így is ezt teszed! (A szoftver forráskódja is egyfajta modell ) Ami fontosabb: mentális modellek Mikor kell kifejezetten lejegyezni a modelleket? o Szerepe: kommunikáció Ember ember Ember gép Gép gép Ember saját maga, kicsivel később Pl. évekkel később emlékezni kéne mérnöki döntések indokaira 24

A cél a kommunikáció Modellezési nyelvek o Modell megértése szükséges o Modellezési nyelvek Szintaxis: hogyan írom le a modellt? pl. SystemC o Matematikai struktúra : absztrakt szintaxis o Jelölés: konkrét szintaxis rajzjelek / szöveges formátum Szemantika: mit jelent a modell? i++ Kényszerfeltételek, korlátozások o Szintaktikai helyesség, jólformáltság o Tervezési konvenciók (csapatonként változhat) 25

A modell modellje 26

Alapfogalmak - Metamodellezés Modellezési nyelv: milyen típusú elemei vannak? o és milyen kapcsolatban állhatnak ezek az elemek? o és ezeknek a típusoknak mik a viszonya egymáshoz? Metamodell = egy modellezési nyelv modellje Illusztrációk, amelyeket mindenki ismer o Egyed-kapcsolat (ER) modell o UML objektum diagram osztálydiagram o Adatbázis tábla relációs adatbázisséma o XML dokumentum XML séma (vagy DTD) o 27

Modell és modellezés Mire használunk modelleket? Alapfogalmak 28

Rendszertervezési folyamat Menedzsment Beszerzés, ellátás Tervezés, vezetés, értékelés ANSI/EIA 632 szabványból Rendszer tervezés Követelmények definiálása Megoldás definiálása Mérnöki feladatok Termék Elkészítése Implementáció Használhatóság Ezeket tipikus modellekkel támogatni Kiértékelés Rendszer analízis Követelmény validáció Rendszer verifikáció Végtermék validáció

Rendszertervezési folyamat - Analógia Menedzsment Rendszer tervezés Mérnöki feladatok Termék Elkészítése Validáció: megfelel-e a követelményeknek Kiértékelés

Felhasználás Dokumentáció A modell egyszerűbb o könnyebben elmondható, mint a teljes valóság o fokozatosan finomítható (ld. később) Kommunikáció, szemléltetés o demonstráció (ld. később) o érthető szöveges nyelv o szemléletes diagram Gondolkodás, tervezés támogatása o hasonlóak a szempontok o kommunikáció magunkkal

Felhasználás Dokumentáció A modell egyszerűbb o könnyebben elmondható, mint a teljes valóság o fokozatosan finomítható (ld. később) Kommunikáció, szemléltetés o demonstráció (ld. később) o érthető szöveges nyelv o szemléletes diagram Gondolkodás, tervezés támogatása o hasonlóak a szempontok o kommunikáció magunkkal

Felhasználás - Analízis Emberi erővel vagy (részben) automatizáltan Módszer o Felületes, statikus elemzés o Dinamikus állapottér bejárással modellellenőrzés o Formális állítások bizonyításával Cél o Ellenőrzés, hibák keresése (best effort) o Szolgáltatásbiztonsági kritériumok igazolása (erősebb!) o Jellemzők számítása, tervezése (pl. ütemezés)

Felhasználás - Analízis Emberi erővel vagy (részben) automatizáltan Módszer o Felületes, statikus elemzés o Dinamikus állapottér bejárással modellellenőrzés o Formális állítások bizonyításával Cél o Ellenőrzés, hibák keresése (best effort) o Szolgáltatásbiztonsági kritériumok igazolása (erősebb!) o Jellemzők számítása, tervezése (pl. ütemezés)

Felhasználás - Származtatás Emberi erővel vagy (részben) automatizáltan Eredmény o programkód, analizálható nyelv, stb. generálása o másik modell finomítás, következő tervezési fázis részaspektus modellek integrációja Lehet tulajdonságmegőrző

Felhasználás - Származtatás Emberi erővel vagy (részben) automatizáltan Eredmény o programkód, analizálható nyelv, stb. generálása o másik modell finomítás, következő tervezési fázis részaspektus modellek integrációja Lehet tulajdonságmegőrző

Web alkalmazás fejlesztése

Okostelefon alkalmazás fejlesztése

Validáció Felhasználás - Szimuláció o Jót építettem fel? Demonstráció o A kommunikáció eszközeként Kísérlet o Tulajdonságok elemzésére o Mérések o A valóságban költségesen kipróbálható o Elméleti úton előre meg nem határozható

Vasúti szoftverek fejlesztése Megoldandó probléma: SIL-4 vasúti alkalmazás fejlesztési lépéseinek és ezek Üzemeltetés, eredményeinek ellenőrzése karbantartás Kihívások: Követelmények elemzése Rsz. validáció tervezés Rendszer validáció Szisztematikus felülvizsgálat Modellezés és formális verifikáció Rendszer specifikálás Architektúra tervezés Modul tervezés Rendszerteszt tervezés Integrációs teszt tervezés Modul teszt tervezés Rendszer verifikáció Rendszer integrálás Modul verifikáció Modul implementáció Folyamat modell minőségbiztosítás 40

Vasúti szoftverek fejlesztése Megoldandó probléma: SIL-4 vasúti alkalmazás fejlesztési lépéseinek és ezek Üzemeltetés, eredményeinek ellenőrzése karbantartás Kihívások: Követelmények elemzése Rsz. validáció tervezés Rendszer validáció Szisztematikus felülvizsgálat Modellezés és formális verifikáció Rendszer specifikálás Architektúra tervezés Modul tervezés Rendszerteszt tervezés Integrációs teszt tervezés Modul teszt tervezés Rendszer verifikáció Rendszer integrálás Modul verifikáció Modul implementáció Folyamat modell minőségbiztosítás 41

Yakindu - Állapot diagram

Yakindu - Állapot diagram

Modell és modellezés Mire használunk modelleket? Alapfogalmak

Alapfogalmak rendszer és külvilág Nem modellezzük Külvilág Rendszer Kölcsönhatás Fekete doboz Fehér doboz Interfész Specifikáció az több?

Alapfogalmak rendszer és külvilág Komponens Külvilág Komponens Kölcsönhatás Komponens

Alapfogalmak Finomítás/Absztrakció Finomítás: a modell gazdagítása részletekkel hogy az eredeti modell absztrakció maradjon Inverze: (vertikális) absztrakció Az előbbi dián egy hierarchikus finomítás volt o dobozok kibontása Finomítható más is... o Pl. Halmazfinomítás: változók értékkészlete Jó / rossz helyett Gyors / átlagos / lassú / hiányos / veszélyes

Alapfogalmak - Finomítás

Alapfogalmak - Finomítás

Halmazfinomítás Diszjunkt részhalmazok hozzárendelése elemekhez a 1 a 2 B 1 a 3 B 3 B 2 a i, A, R(a i ) B úgy, hogy R(a i ) R(a j )= i, j

Alapfogalmak - Metamodellezés Modellezési nyelv: milyen típusú elemei vannak? o és milyen kapcsolatban állhatnak ezek az elemek? o és ezeknek a típusoknak mik a viszonya egymáshoz? Metamodell = egy modellezési nyelv modellje Illusztrációk, amelyeket mindenki ismer o Egyed-kapcsolat (ER) modell o UML objektum diagram osztálydiagram o Adatbázis tábla relációs adatbázisséma o XML dokumentum XML séma (vagy DTD) o

Alapfogalmak - Metamodellezés Modellezési nyelv: milyen típusú elemei vannak? Neptun-kód o és milyen kapcsolatban állhatnak ezek az elemek? o és ezeknek a típusoknak mik a viszonya egymáshoz? Diák Átlag hallgat Terem Kurzus Metamodell = egy modellezési nyelv modellje Illusztrációk, amelyeket mindenki ismer o Egyed-kapcsolat (ER) modell o UML objektum diagram osztálydiagram o Adatbázis tábla relációs adatbázisséma o XML dokumentum XML séma (vagy DTD) o Kód

Modell és modellezés Mire használunk modelleket? Alapfogalmak Modellek osztályozása Illusztratív példák A modellezés alkalmazása MODELLEK OSZTÁLYOZÁSA

Osztályozási szempontok Felépítési vs. viselkedési modellek Matematikai-formális vs. informális Folytonos vs. diszkrét változók és idő szerint Végrehajtható vs. deklaratív

Felépítési és viselkedési modellezés Felépítési (structural) o Statikus o Rész és egész, összetevők o Kapcsolatok, összeköttetések Viselkedési (behavioral) o Dinamikus o Időbeli lefolyás o Állapot, folyamat o Reakciók a külvilágra Az autóban van kamera és kormányvezérlő A kamera jeleket küld a sáv elhagyásáról (mennyit? mikor?) A sávtartó rendszerben a kamera jeleit fogadva a kormányvezérlő beavatkozik (mikor/hogyan?) Nem fed le mindent, nem válik élesen szét

Osztályozás: formális vs. informális Mennyi matematikai állítást tartalmaz? o Mennyire tereli mederbe a modellezett rendszert? Folytonos skála, nem válik élesen szét o Differenciálegyenletekkel leírt közegáramlás o Állapotgép o Szekvencia diagram Nem biztos, hogy mindig a szigorúbb a jó o Néha nehéz beletenni azokat a matematikai állításokat o Szemléletesség

Osztályozás: formális vs. informális Mennyi matematikai állítást tartalmaz? o Mennyire tereli mederbe a modellezett rendszert? Folytonos skála, nem válik élesen szét o Differenciálegyenletekkel leírt S közegáramlás o Állapotgép o Szekvencia diagram Nem biztos, hogy mindig a szigorúbb a jó o Néha nehéz beletenni azokat a matematikai Mi 30? állításokat o Szemléletesség A B Jancsi Juliska Mennyi? 30! Mi mennyi?

Osztályozás: két további szempont Folytonos vs. diszkrét o Időben o Értékben Viselkedési modell végrehajtható? o Teljes eseménysor determinisztikusan rekonstruálható o Eseménysor sztochasztikusan definiált o Nemdeterminisztikusan végrehajtható o Részben korlátozza a lehetséges eseményteret Pl. csak ellenőrizhető kritériumok o Nem is viselkedési modell

Modell és modellezés Mire használunk modelleket? Alapfogalmak Modellek osztályozása Illusztratív példák A modellezés alkalmazása ILLUSZTRATÍV PÉLDÁK

Illusztráció Felépítési modellek

Illusztráció Felépítési modellek Keretszerkezet 0 1 2 3 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ Version IHL Type of Service Total Length +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ Identification Flags Fragment Offset +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ Time to Live Protocol Header Checksum +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ Source Address +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ Destination Address +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ Options Padding +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

Illusztráció Felépítési modellek Tartalmazási hierarchia / o bin/ o home/ o lib/ o usr/ share/ lib/ o var/ log/ tmp/

Felépítési modellek: struktúra

Illusztráció Felépítési modellek Szervezeti felépítés (ld. tartalmazási hierarchia) BME VIK EMK SZIT MIT GTT

Illusztráció Felépítési modellek Architektúra modell (blokkdiagram) Application NET FS DBMS WS RAID

Illusztráció Felépítési modellek Taxonómia jellegű Egyházi birtok Emberi építmények Temetőkert Evangélikus Épület Híd Függőhíd Evangélikus templom Templom Ház Kábelhíd

Ontológia Illusztráció Felépítési modellek o Fogalmak és kapcsolatok taxonómiája o Fogalmi- és viszonyállítások összekapcsolódnak Férfiak és nők között definiált a házasság Anya: az a nő, akinek van legalább egy gyermeke A halott férfi élő házastársa: özvegyasszony ez persze a konkrét formalizmustól függ o Példák WordNet Dublin Core Orvosi, gyógyszeripari, bioinformatikai ontológiák

Fastruktúra bennfoglaló ábrázolás KDE Konqueror Plusz információ: méret

Példa: (céges) hálózat Router Internet Firewall Smartphone Switch Server Workstation Wifi Laptop Smartphone Workstation Workstation Printer

Összevonhatóak-e funkciók? Példa: (céges) hálózat Van-e egyszeres hibapont a rendszerben? Router Internet Server Firewall Switch Milyen hosszú úton, milyen típusú elemeket érintve lehet elérni az internetet? Túlterhelt a wifi, hány gép van rajta? Workstation Wifi Smartphone Egy elem hibája meddig terjedhet? Laptop Elérhető-e az internet? Printer Workstation Workstation Smartphone Milyen elemekből áll a rendszer, milyen kapcsolatok lehetségesek?

( átlát a káoszon?) http://www.mikethearchitect.com/2012/10/challenge-the-status-quo-and-advance-business-through-cloud-computing.html

Illusztráció Viselkedési modellek Klasszikus rendszerelméleti automata-modell RENDSZER Input Állapot F(Input, Állapot) Output Állapotváltozás G(Input, Állapot)

Példa: szekvencia diagram

Példa: activity diagram

Illusztráció Viselkedési formalizmusok Állapottérkép o Automaták szinkron és aszinkron kompozíciója o Címkézett állapotok, átmenetek Vezérlési folyam o Kiterjesztés : konkurencia o Kiterjesztés: erőforrásmodell Adatfolyamháló (Dataflow Network, DFN) o Nagyon általános formalizmus o Megvalósítható vele az előző kettő

Illusztráció Viselkedési formalizmusok Petri-háló o Erőforráskorlátok o Kompozíció, szinkronizáció, konkurencia, deadlock o Potenciálisan végtelen állapottér o Erős matematikai háttér o Kiterjesztés: színes PN, hasonlít a DFN-re És még o Processz-algebrák o Gráfnyelvtanok o

Illusztráció Viselkedési formalizmusok Sztochasztikus (Markov-) modellek o Sok viselkedési modell kiegészíthető valószínűségekkel o Matematikai háttér, származtatható jellemzők o Diszkrét idő: átmeneti valószínűségek o Folytonos idő: átmeneti ráták Exponenciális eloszlás 0.8 0.2 μ τ A 0.7 B 0.3 η 0.9 C 0.1 λ