Auflistung P001 - Modellierung 2001 nach Autor:in "Engels, Gregor"
1 - 10 von 18
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragApplicability of the Object Constraint Language (OCL) in commercial software development for vehicle routing and scheduling software(Modellierung 2001, 2001) Wendorff, PeterModels are important artefacts that support human understan- ding and communication. Often software development involves specialists from a variety of fields, e.g. mathematicians, engineers, economists, software designers, and programmers. This may result in different models, and communication accross discipline boundaries requires to establish links between these models. In this paper we investigate this issue in the case of software development for vehicle routing and scheduling software. We concentrate on three artefacts: a mathematical specification of requirements, an object-oriented software design, and program code written in Java. Obviously these artefacts do not exist in isolation during software development. We demonstrate how the Object Constraint Language can be used to establish links between these three artefacts.
- KonferenzbeitragAutomatische Prozessmodellgenerierung mit SpearmintTM/EPG basierend auf dem Referenzmodell des ISO/IEC TR 15504 Standards(Modellierung 2001, 2001) Hamann, Dirk; Becker-Kornstaedt, UlrikeWesentliche Komponenten bei Prozessverbesserungspro- grammen sind Prozessmodelle. Obwohl Assessments (beispielsweise gemäß dem Referenzmodell des ISO/IEC TR 15504) oft der Auslöser für Prozessverbesserungsprogramme sind, geht die in den Assessments gesammelte Information verloren und steht nicht mehr zur Erstellung von Prozessmodellen zur Verfügung. Dies hat im wesentlichen zwei Gründe: Zum einen gibt es generell kaum Werkzeugunterstützung bei der Durchführung von Assessments. Zum anderen fehlt die Möglichkeit, diejenigen Informationen die für die Assessments bereits erfasst wurden, konsistent zur Erstellung von Prozessmodellen zu verwenden. Der vorliegende Beitrag stellt einen integrierten Ansatz vor, der zum einen die Durchführung von Assessments unterstützt und zum anderen ermöglicht, die Ergebnisse des Assessment weiterhin zur Erstellung von Prozessmodellen mittels Prozessmodellierungswerkzeug zu nutzen.
- KonferenzbeitragCOSIMAC – Ein Referenzmodell zur Gefechtssimulation(Modellierung 2001, 2001) Hofmann, MarkoReferenzmodelle werden als Hilfsmittel bei der Modellbildung für Simulationssysteme immer wichtiger. Sie verheißen eine schnellere und kostengünstigere Modellherstellung. Mit dem Gefechtssimulationssystem (GSS) COSIMAC (Combat Simulation System with Automated Control) wurde der Versuch gemacht, Vorgaben für militärische Simulationssysteme zu entwickeln. Im Mittelpunkt dieser Vorgaben steht ein Schichtenkonzept für die Modellierung konkreter Objekte (Waffensysteme), des Geländes und der militärischen Führungsstrukturen. Die Vorgaben beruhen im Wesentlichen auf der Trennung der Modellierung technischer Aspekte eines Gefechtes und seiner Führung (Steuerung). Im COSIMAC-Projekt wird die Entwicklung von Modellen angestrebt, die zur Untersuchung der brisanten Frage dienen, inwieweit menschliche militärische Führer zukünftig durch Automaten ersetzt werden können. In diesem Beitrag wird der statische An- teil des COSIMAC-Referenzmodells vorgestellt.
- KonferenzbeitragDependency charts as a means to model inter-scenario dependencies – Depicting and managing dependencies between scenarios(Modellierung 2001, 2001) Ryser, Johannes; Glinz, MartinScenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many software engineering approaches, most notably the UML (Unified Modeling Language [RJB99]), use some notion of scenario to support requirements elicitation and to provide a means for improved communication between software engineers, customers and users, and for enhanced user integration in the software development process. Yet prominent and renowned approaches like the UML lack a concept for modeling dependencies and relations between scenarios and offer only little support for the description and management of scenarios and of inter-scenario relationships. However, dependencies between scenarios are common, in fact dependencies between scenarios occur in any software development project of reasonable size. The existence of dependencies among scenarios needs to be perceived, acknowledged and accepted, they have to be captured and modeled to fully specify and better understand the system, and their impact on system modeling, on design, implementation and on testing needs to be recognized. In this paper we argue that dependencies among scenarios play too important a role in the software development process to omit them from system models and not to consciously consider them in analysis, design and testing. Therefore, we introduce a new kind of chart and a notation to model dependencies among scenarios. We discuss briefly the reasons why a new kind of chart is needed. An example of a dependency chart is presented.
- KonferenzbeitragDomänenmodellierung und Information-Brokering(Modellierung 2001, 2001) Nick, AchimDie Informationsschwemme im WWW und die steigende Bedeutung von Information als Produktionsfaktor motivieren die Notwendigkeit für Information-Brokering. Information- Broker vermitteln zwischen Informationsanbietern und Informationskonsumenten. Broker’s Lounge ist eine Umgebung die den gesamten Information-Brokeringprozeß unterstützt. Zentraler Qualitätsfaktor für Information-Brokering ist ein Domänenmodell. Das Domänenmodell beschreibt die Inhalte, mit denen der Broker handelt und ist unterteilt in Typen- und Inhaltsebene. Dies erlaubt die Anpassung des Domänenmodells an verschiedene Domänen. Das Domänenmodell kann durch die Einführung von Kategorien und Kategoriesystemen weiter strukturiert werden. Kategorien klassifizieren Konzepte. Konzepte sind die Informationen, an denen die Informationskonsumenten interessiert sind und mit denen der Broker handelt. Die Kategorisierung (von Konzepten) erleichtert die Abbildung konkreter Kundeninteressen auf das Domänenmodell. Die Verantwortlichkeiten für das Domänenmodell können in die Administration der Typenebene, die Administration der Kategorien und die Kategorisierung und Erstellung von Konzepten aufgeteilt werden.
- KonferenzbeitragExtreme Programming – Back to Basics?(Modellierung 2001, 2001) Rumpe, BernhardDie Suche nach einer optimalen Vorgehensweise bei der Softwareentwicklung bringt öfter neue Vorschläge für Vorgehensmodelle hervor. Extreme Programming ist eine radikale, aus der Praxis motivierte Variante, die versucht „best practices“ der Software-Entwicklung in möglichst schlanker Weise zu kombinieren und soweit wie möglich auf organisatorischen Ballast zu verzichten. Aufgrund der hohen Praxisrelevanz von XP scheint eine wissenschaftliche und kritische Aufarbeitung der Thematik geboten. Dieser Beitrag exploriert einige der Themenfelder von XP und stellt somit einen Baustein dieser Aufarbeitung dar.
- KonferenzbeitragFlexible Modellierung mit Algebraischen Higher Order Netzen(Modellierung 2001, 2001) Hoffmann, KathrinIn diesem Papier wird die Flexibilisierung innerhalb der Prozeßmodellierung durch Algebraische Higher Order Netze vorgestellt. Durch die Erweiterung um Higher Order Konzepte wird die konkrete Ausführung von Aktivitäten vom Prozeßmodell getrennt. Damit wird ein dynamischer Austausch von Informationen mit der Umgebung unterstützt, so daß eine Modifikation der Ausführung von Aktivitäten zur Laufzeit ermöglicht wird. Die Vorteile, die sich durch den Einsatz von Algebraischen Higher order Netze ergeben, werden anhand des Geschäftsprozesses Vertriebslogistik untersucht.
- KonferenzbeitragModeling and implementation of multirate control applications with TargetLink(Modellierung 2001, 2001) Homburg, CarstenThe software development for embedded systems is increasingly being done with the help of simulation tools and block diagram specifications. MATLAB, Simulink, and Stateflow are well accepted products in this area [Ma00]. Production code generators like TargetLink [Ds00] are used to turn such graphical specifications of real-time control algorithms into a highly efficient, readable and reliable C code that fits into an Electronic Control Unit (ECU). When this technique was first introduced, users started with pilot projects to gain experience with automatic code generation. The model covered only relatively small parts (features) of the whole control system, for example, the idle speed control of an engine. Typically, there was only a single sample rate, and the code was generated for each operating system task separately. The users had to integrate the auto-generated code into the existing real-time kernel on their ECUs manually. This contribution presents the TargetLink approach to the modeling and implementation of multirate Simulink models [KST01]: The function developer creates a Simulink/Stateflow model containing all the features that have to be implemented. This model concentrates on the control algorithms; implementation aspects are not taken into ac- count. In the next step the control algorithms have to be implemented. The functional model is automatically converted into a TargetLink implementation model. This conversion process is bidirectional. TargetLink provides a special block set for the specification of implementation aspects. The software engineer can make all the settings for the implementation within the blocks. Finally, production-ready code including the RTOS configuration for the OSEK [Os00] real-time operating system family is automatically generated out of the TargetLink implementation model. The presented approach is based on quasi-standards in the automotive industry (i.e., Simulink, OSEK, C). The Simulink block diagram as the modeling basis holds all the necessary information from top-level function development down to the ECU implementation, providing a system specification that is executable in all development phases. Task separation and inter-task communication can be specified with the help of special blocks for operating system support. This allows full integration of the OSEK configuration tools and the Simu link/TargetLink model.
- KonferenzbeitragModeling design knowledge on structure(Modellierung 2001, 2001) Stein, Benno; Schulz, AndréThis paper is on the modeling of design knowledge. It introduces the concept of design graph grammars, which is an advancement of classical graph grammar approaches. Design graph grammars, as proposed here, provide an efficient concept to create and to manipulate structure models of technical systems. This is interesting from two points of view. Firstly, within many existing tools for design support structural dependencies are represented and processed in a proprietary way. Here, design graph grammars possess the flexibility to model even very specific kinds of domain knowledge while still providing a broadly understood semantics. Secondly, structure models are close to the mental model level of human designers. Design graph grammars concentrate on this level, excluding involved underlying behavioral aspects. This may entail the risk of an oversimplification, but gives design graph grammars the potential to be used within the creative parts of the human design process.
- KonferenzbeitragModellbestandteile: Modellierungsbegriffe und Abstraktionskonzepte(Modellierung 2001, 2001) Kaschek, RolandBeim Modellieren in der Angewandten Informatik werden zwei Begriffsarten verwendet: Modellierungsbegriff und Abstraktionskonzept. Methoden zur Software Produktion bieten beide Begriffsarten an. Manche Methoden versuchen diese Begriffe zu definieren. Ein generisches Verständnis des Begriffs Abstrakti- onskonzept fehlt. Dies kann dazu beitragen, dass in Modellierungsvorgängen ungeeignete Abstraktionen verwendet werden. Generali- sation, Aggregation, Klassifikation und Assoziation können als Spezialisierungen des hier definierten generischen Begriffs Abstraktionskonzept aufgefasst werden.