Cargando…
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen /
Die Leistungsanalyse in den frühen Stadien der Systementwicklung enthält ein großes Potenzial zur Vermeidung von Kosten- und Zeitplanüberschreitungen: Nicht anforderungskonforme Lösungen können frühzeitig ausgeschlossen und dadurch Fehlimplementierungen vermieden werden. Die vorliegende Arbeit...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Alemán |
| Publicado: |
München [Germany] :
Oldenbourg Wissenschaftsverlag,
2013.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn880458897 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 140507t20132013gw a ob 000 0 ger d | ||
| 040 | |a E7B |b eng |e rda |e pn |c E7B |d N$T |d YDXCP |d EBLCP |d DEBSZ |d BTCTA |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d OCL |d OCLCQ |d OCLCO | ||
| 019 | |a 875818961 |a 902944807 | ||
| 020 | |a 9783486730777 |q (electronic bk.) | ||
| 020 | |a 3486730770 |q (electronic bk.) | ||
| 020 | |z 9783486715262 | ||
| 024 | 7 | |a 10.1524/9783486730777 |2 doi | |
| 029 | 1 | |a DEBBG |b BV043028696 | |
| 029 | 1 | |a DEBSZ |b 397213395 | |
| 029 | 1 | |a DEBSZ |b 431631077 | |
| 029 | 1 | |a DEBSZ |b 446457787 | |
| 035 | |a (OCoLC)880458897 |z (OCoLC)875818961 |z (OCoLC)902944807 | ||
| 050 | 4 | |a TK7895.E42 |b .K693 2013eb | |
| 072 | 7 | |a COM |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 006.22 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Koycheva, Evelina, |e author. | |
| 245 | 1 | 0 | |a Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen / |c von Dr.-Ing. Evelina Koycheva. |
| 264 | 1 | |a München [Germany] : |b Oldenbourg Wissenschaftsverlag, |c 2013. | |
| 264 | 4 | |c ©2013 | |
| 300 | |a 1 online resource (324 pages) : |b illustrations (some color) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Online resource; title from PDF title page (ebrary, viewed May 2, 2014). | |
| 505 | 0 | |a I. EINLEITUNG; 1 Motivation; 2 Grundsätze der frühen Leistungsanalyse; 2.1 Methoden der Entwurfsmodellierung; 2.2 Methoden der Leistungsanalysemodellierung; 9 Modellierung von Automatisierungssystemen; 2.3 Methoden der Transformation; 2.4 Methoden der Auswertung; 2.5 Methoden der Rückführung; 3 Vorangegangene Arbeiten; 3.1 Warteschlangenmodelle; 3.2 Ansätze, basierend auf Stochastischen Prozessalgebren; 3.3 Petri Netz basierte Ansätze; 3.4 Simulationsbasierte Ansätze; 3.5 Nutzung von Intermediären Formaten; 3.6 Literaturempfehlung; 4 Evaluation des Ist Zustandes und Zielsetzung. | |
| 505 | 8 | |a 4.1 Anforderungen an Verfahren zur frühen Leistungsanalyse4.2 Evaluation des Standes der Technik; 4.3 Ziele der Arbeit und eigene Beiträge; 4.4 Aufbau der Arbeit; II. THEORETISCHE GRUNDLAGEN; 5 Meta Object Facility (MOF); 6 Verwandte Spezifikationen im MOF Kontext; 6.1 Query / View / Transformation (QVT); 6.2 XML Metadata Interchange (XMI); 6.3 Object Constraint Language (OCL); 7 Unified Modeling Language (UML); 7.1 Infrastruktur; 7.2 Superstruktur; 7.3 Der UML Profilmechanismus; 8 Das MARTE Profil; 8.1 Kontext bezogene Elemente; 8.2 Workload bezogene Elemente; 8.3 Ressourcen; 8.4 Schritte. | |
| 505 | 8 | |a 10 Generalisierte Netze10.1 Historische Entwicklung der Petri Netze; 10.2 Generalisierte Netze vs. andere Klassen von Petri Netzen; 10.3 Grundbegriffe und Funktionsweise der Generalisierten Netze; 10.4 Formale Definition der Generalisierten Netze; III. TRANSFORMATIONSREGELN; 11 MOF Struktur der Generalisierten Netze; 11.1 Übergeordnete Container Elemente; 11.2 Strukturelemente; 11.3 Dynamische Elemente; 11.4 Aufzählungstypen; 12 Transformationsregeln für MARTE Elemente; 12.1 Transformationsregeln für Kontext bezogene Elemente; 12.2 Transformationsregeln für Workload bezogene Elemente. | |
| 505 | 8 | |a 12.3 Transformationsregeln für Ressourcen12.4 Transformationsregeln für Schritte; 13 Transformationsregeln für UML Elemente; 13.1 Verteilungsdiagramm; 13.2 Das UML Diagramm als Element; 13.3 Das Wurzel Element eines UML Diagramms (Workload Generierung); 13.4 Aktivitätsdiagramm; 13.5 Sequenzdiagramm; 13.6 Zustandsdiagramm; 14 Rückführung von Analyseergebnissen in das UML Modell; IV. SOFTWARETECHNISCHE REALISIERUNG; 15 Historie und Klassifikation der entstandenen Lösungen; 16 Allgemeiner Überblick über das Framework; 16.1 Anwender; 16.2 Modellierungswerkzeug; 16.3 Transformationsumgebung. | |
| 505 | 8 | |a 16.4 Simulationswerkzeug17 Arbeitsfluss; 17.1 Festlegung des Analyseziels; 17.2 Referenzdatengewinnung; 17.3 Modellierung; 17.4 Modellexport und import; 17.5 Präprozess (Transformationsvorbereitung); 17.6 Modelltransformation; 17.7 Postprozess; 17.8 Simulation; 17.9 Datenrückführung; 17.10 Datenauswertung; 18 Die Transformationssoftware; 18.1 Modularer Aufbau; 18.2 Implementierung der Transformationsregeln; 18.3 Grafische Darstellung des generierten Generalisierten Netzes; V. FALLSTUDIEN; 19 Beispiel Teleautomation; 19.1 Systembeschreibung und Analyseziel. | |
| 520 | |a Die Leistungsanalyse in den frühen Stadien der Systementwicklung enthält ein großes Potenzial zur Vermeidung von Kosten- und Zeitplanüberschreitungen: Nicht anforderungskonforme Lösungen können frühzeitig ausgeschlossen und dadurch Fehlimplementierungen vermieden werden. Die vorliegende Arbeit stellt einen Ansatz zur Leistungsbewertung auf Modellebene vor, der die Verifikation von Systemeigenschaften bereits während der Design-Phase ermöglicht. Er zeichnet sich durch Systematik und einen hohen Grad der Automatisierung der Methoden aus. Zudem unterstützt er verschiedene Modellierungssichten und. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Embedded computer systems |x Computer simulation. | |
| 650 | 0 | |a Electronic digital computers |x Evaluation. | |
| 650 | 0 | |a Digital computer simulation. | |
| 650 | 0 | |a UML (Computer science) | |
| 650 | 0 | |a Computer simulation. | |
| 650 | 6 | |a Systèmes enfouis (Informatique) |x Simulation par ordinateur. | |
| 650 | 6 | |a Ordinateurs |x Évaluation. | |
| 650 | 6 | |a Simulation par ordinateur. | |
| 650 | 6 | |a UML (Informatique) | |
| 650 | 7 | |a simulation. |2 aat | |
| 650 | 7 | |a COMPUTERS |x General. |2 bisacsh | |
| 650 | 7 | |a Computer simulation |2 fast | |
| 650 | 7 | |a Digital computer simulation |2 fast | |
| 650 | 7 | |a Electronic digital computers |x Evaluation |2 fast | |
| 650 | 7 | |a UML (Computer science) |2 fast | |
| 776 | 0 | 8 | |i Print version: |z 9783486730777 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=754001 |z Texto completo |
| 938 | |a Baker and Taylor |b BTCP |n BK0018090347 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1634451 | ||
| 938 | |a ebrary |b EBRY |n ebr10861249 | ||
| 938 | |a EBSCOhost |b EBSC |n 754001 | ||
| 938 | |a YBP Library Services |b YANK |n 10915448 | ||
| 994 | |a 92 |b IZTAP | ||