Spelling suggestions: "subject:"beta model"" "subject:"beta godel""
71 |
Ein komponentenbasiertes Meta-Modell kontextabhängiger Adaptionsgraphen für mobile und ubiquitäre AnwendungenSpringer, Thomas 28 June 2004 (has links)
Gegenwärtige Infrastrukturen für verteilte Dienste und Anwendungen, insbesondere das Internet, entwickeln sich zunehmend zu mobilen verteilten Systemen. Durch die Integration drahtloser Netze, mobiler bzw. dedizierter Endgeräte und nicht zuletzt durch die Mobilität der Benutzer steigt die Heterogenität und Dynamik der Systeme hinsichtlich der eingesetzten Endgeräte, Kommunikationstechnologien sowie Benutzeranforderungen und Anwendungssituationen. Diese Eigenschaften sind mobilen Systemen inhärent und bleiben trotz der fortschreitenden Entwicklung der Technologien bestehen. Daraus resultieren spezifische Anforderungen an Anwendungen und Dienste, denen insbesondere die Softwareentwicklung Rechnung tragen muss. In der vorliegenden Arbeit wird die Adaptivität von Softwaresystemen als wesentlicher Lösungsansatz für mobile verteilte Infrastrukturen thematisiert. Dazu werden wesentliche Mechanismen zur Adaption sowie der Überschneidungsbereich von Adaptionsmechanismen, "Context-Awareness" und Softwareentwicklung untersucht. Ziel ist es, Erkenntnisse über Basismechanismen und Grundprinzipien der Adaption zu gewinnen und diese zur systematischen Entwicklung adaptiver Anwendungen auszunutzen. Aus der Analyse des State-of-the-Art werden als erstes wichtiges Ergebnis der Arbeit wesentliche Basismechanismen zur Adaption identifiziert, umfassend klassifiziert und hinsichtlich eines Einsatzes in mobilen verteilten Infrastrukturen bewertet. Auf dieser Grundlage wird ein Meta-Modell zur systematischen Entwicklung adaptiver Anwendungen erarbeitet. Dieses erlaubt die Beschreibung adaptiver Anwendungen durch die Komposition von Basismechanismen zur Struktur- und Parameteradaption. Die Steuerung der Adaption durch Kontext und Meta-Informationen kann explizit beschrieben werden. Das Meta-Modell kann Entwickler beim Entwurf adaptiver Anwendungen unterstützen, stellt aber auch einen Ausgangspunkt für deren Analyse und Validierung sowie zur Kodegenerierung dar. Durch die explizite Beschreibung der verwendeten Adaptionsmechanismen und deren Abhängigkeiten von Kontext können Anwendungsmodelle außerdem zur Dokumentation verwendet werden. Im Rahmen der Validierung konnte die Integrierbarkeit der Basismechanismen und die flexible Anwendbarkeit des Modells zur systematischen Entwicklung adaptiver Anwendungen nachgewiesen werden.
|
72 |
Model-Based Early Validation and Verification of Design Decisions for Cross-Disciplinary StakeholdersStenlund, Alexander January 2024 (has links)
Systems engineering becomes more challenging as system engineers must tackle increasingly growing and complex systems while balancing stakeholder needs, dependability, costs, and much more. Engineering decisions at early stages become important as their impact can affect the product's entire life cycle. Model-Based System Engineering (MBSE) is a way to capture this system complexity and explore how different engineering decisions affect a system. With this in mind, this thesis will explore how MBSE can capture engineering decisions and their impact at early stages of development and what insight can be gained into a system. This is done by exploratively creating a concept, using it on a toy example to get direct feedback on its performance, and refining the concept before evaluating it in a case study. The case study evaluates the concept in an industrial context through a focus group and receives direct industry feedback. The modelling concept is implemented in Papyrus Eclipse as a Unified Modeling Language (UML) profile to capture concept-specific details and an Eclipse plugin. This implementation is to retrieve and process data from the modelled system. This is used to answer impact questions of choices, such as: "How much does this parameter change if component X is exchanged for another?".The evaluation of the concept was generally positive and gave valuable feedback and possible future directions of the concept. This includes the opinion that a spread sheet gives a better overview of the system and ways to expand the tool though parameterised relations and other suggestions. The thesis in the end presents, one way that MBSE can be used to support the analysis of early cross-disciplinary models, and two major insights which could be gained, namely risk and constraints.
|
Page generated in 0.0647 seconds