Tomsovi

  • Increase font size
  • Default font size
  • Decrease font size
Domů Honza School 5. ročník Diplomová práce - Automatizované modelování - 4.1 Úloha modelování v běžném životě - pokračování

Diplomová práce - Automatizované modelování - 4.1 Úloha modelování v běžném životě - pokračování

E-mail Print PDF
Article Index
Diplomová práce - Automatizované modelování
Obsah
1 Úvod
1.2 Typografické konvence
Tabulka 1: Slovník zkratek
2 Cíl práce
3 Metodika
4 Přehled vlastností modelovacích nástrojů
4.1 Úloha modelování v běžném životě
4.1 Úloha modelování v běžném životě - pokračování
4.1.1 Vhodnost použití objektových nástrojů pro modelování a transformace
4.2 Architektura řízená modelem - Model Driven Architecture
4.2.1 The Object Management Group
4.2.2 Základní cíle a přístupy MDA
4.2.3 Platforma
4.2.4 Hierarchie modelů dle MDA
4.2.5 Model nezávislý na počítačovém zpracování
4.2.6 Model nezávislý na platformě
4.2.7 Mapování a značkování
4.2.8 Model specifický ke konkrétní platformě
4.2.9 Zdrojový kód aplikace
4.3 MDA a Oracle Designer
4.4 Vlastní zkušenost
4.5 Vlastnosti modelovacích nástrojů
4.6 Craft.CASE
4.7 Eclipse Modeling Framework
4.8 Omondo EclipseUML2
4.9 Enterprise Architect
5 Transformační modelovací jazyky
5.2 Eclipse Modelling Framework
5.4 XSLT
Část II - Projekt
6 Vlastní projekt
7 Požadavky na informační systém
8 Analýza
8.1 Model případů užití
8.2 Doménový objektový model
9 Design informačního systému
10 Aplikace Architektury řízené modelem (MDA)
11 Vývoj generátoru
12 Generování kódu z modelu
13 Závěr
Literatura
Přílohy
A Případy užití
A.1 Hlavní případy užití
A.2 Správa skupin parametrů
A.3 Správa parametrů
A.4 Správa modelů
B Sada šablon EA pro generování kódu v jazyku Smalltalk
C Vygenerované zdrojové kódy FSM v jazyku Smalltalk
D UML profil systému DecisionMaker
E Podpůrné třídy metamodelu UML
F Generátor entit aplikace DecisionMaker
G Zdrojový kód aplikace DecisionMaker
All Pages
Příklad:
Předpokládejme, že se chystáme např. přestěhovat větší skříň z jedné místnosti
do jiné přes několik různě širokých a vysokých dveří.
Můžeme postupovat tak, že jednoduše začneme se stěhováním a uvidíme, zda
projdeme. Jestliže u jedněch z dveří zjistíme, že jimi skříň neprojde a že se musí
rozebrat, pak nám může stát, že zrovna v daném místě pro rozebrání není místo a
musíme se vracet. Naivní přístup se tedy příliš neosvědčil.
Nebo můžeme změřit rozměry skříně svinovacím metrem a s jeho pomocí
pak ověřit prostupnost úzkých míst na cestě. Problém odhalíme s daleko větší
pravděpodobností a budeme ho tak moci vyřešit efektivněji - tj. skříň rozebrat např.
již před započetím stěhování. V tomto případě byl vlastně vytvořen model skříně
reprezentovaný jejími rozměry a na tomto modelu byl simulován průchod úzkými
místy. V konkrétním místě byl výsledek simulace neuspokojivý a na základě toho
bylo učiněno rozhodnutí o změně postupu { rozebrání skříně. Pochopitelně by mělo
následovat vytvoření nového modelu a opakování simulace, ale je možné, že nově
vzniklá situace bude triviální a
"model" a "simulaci" zvládne stěhovák provést na
mentální úrovni své představivosti.
Výše uvedený model byl velmi jednoduchý, nebo» takový byl i problém, pro
který byl vytvořen. Pro složitější situace je třeba vytvářet složitější modely s vyšší
mírou formalizace. Vzhledem k omezeným možnostem lidské představivosti a paměti
se při modelování velmi složitých problémů neobejdeme bez použití výpočetní techniky.

Modelování je jakousi myšlenkovou imitací, abstrakcí,
reprodukcí reálně existujícího systému pomocí speciálně
konstruovaných modelů - analogů. Modelování je tedy
jednou z forem poznání, zvláštním prostředkem repro-
dukce reality.
[Polák,Merunka,Carda, 2003]

Vrátíme-li se k příkladu použití tabulkového procesoru z úvodu kapitoly, pak
model domácího rozpočtu obsahoval toto pravidlo: Uspora = ∑prijem - ∑vydaj
Jednotlivé položky příjmů a výdajů jsou pak vstupní data tohoto modelu. Jestliže
informace je význam přiřazený datům, pak tím, co vstupním datům (čísla 30000,
1000, 6000, 4000, 12000, 1500, 2000) přiřadilo význam, byl právě onen model podpo
řený automatizací v podobě tabulkového procesoru Microsoft Excel.