Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- KonferenzbeitragModellgetriebene Entwicklung von OSEK Applikationen mit UML 2(Modellierung 2008, 2008) Schmidt, MarkusEingebettete Systeme werden zunehmend komplexer und immer häufiger in sicherheitsgerichteten Systemen eingesetzt. Die Softwareentwicklung für diese Systeme ist traditionell textbasiert, wobei hauptsächlich hardwarenahe Sprachen wie Assembler oder C verwendet werden. Bedingt durch den geringen Abstraktionsgrad solcher Sprachen, werden zunehmend auch visuelle Modelle bei der Entwicklung eingebetteter Systeme eingesetzt. Im Vergleich zu anderen Domänen gibt es für die eingebetteten Systeme keine einheitliche visuelle Sprache, sondern jedes Entwicklungswerkzeug verwendet seine eigene Sprache. Im Bereich der objektorientierten Softwareentwicklung hat sich die UML als Standard etabliert. Wir werden UML benutzen, um eingebettete Systeme zu entwickeln, die das Betriebssystem OSEK-OS verwenden. OSEK-OS ist ein standardisiertes Betriebssystem, welches besonders im Automotive Bereich eingesetzt wird. Wir zeigen eine Abbildung von bestimmten UML Modellelementen auf die wichtigsten OSEK-OS Objekte. Weiterhin wird dargestellt, wie der gesamte Entwicklungsprozess durch die Benutzung eines UML kompatiblen Werkzeugs verbessert werden kann.
- KonferenzbeitragIntegrating Content Assist into Textual Modelling Editors(Modellierung 2008, 2008) Scheidgen, MarkusIntelligent, context sensitive content assist (also known as code completion) plays an important role in the effectiveness of model editors. This is not only true for textual language notations, but also for graphical notations that often contain a significant amount of textual elements. This paper presents techniques to describe content assists for meta-model based textual model editors. We show that these techniques help to automate the development of editors with content assist, a process that requires extensive manual work otherwise.
- KonferenzbeitragEin Beitrag zur Konsolidierung der Modellierung von Unternehmensarchitekturen(Modellierung 2008, 2008) Rohloff, MichaelDer Aufsatz stellt einen Ansatz zur Modellierung von Unternehmensarchitekturen vor. Auf der Grundlage eines Architekturrahmens sowie von grundlegenden Anforderungen an eine „Architektur im Großen“ werden die wesentlichen Beschreibungstechniken vorgestellt. Drei Kategorien von Sichten ermöglichen die Beschreibung von Struktur und Zusammenhängen der Architekturbausteine. Die Komponentensicht beschreibt die logisch/funktionale Struktur der Architektur, die Kommunikationssicht die Beziehungen zwischen den Komponenten und die Verteilungssicht ihre geographische/ organisatorische Aufteilung. Mit Hilfe von Bebauungsplänen werden die Beziehungen zwischen den Teilarchitekturen, z.B. der Prozess- und Anwendungsarchitektur dargestellt. Es wird ein Überblick über die an der Architekturentwicklung Beteiligten, deren Rollen sowie Anwendung der Beschreibungstechniken gegeben. Mit dem vorgeschlagenen Ansatz wird die Vielfalt an Ansätzen zur Beschreibung von Unternehmensarchitekturen auf essentielle, aber hinreichende Architekturmodelle reduziert.
- KonferenzbeitragBusiness Objectives Compliance Architecture Framework Mechanisms for Controlling Architecture Artefacts(Modellierung 2008, 2008) Moser, Christoph; Winklhofer, Mathias; Kuplich, ChristianAt present, more and more IT organisations adopt new architectural practices to effectively deal with the increasingly heterogeneous landscape of their IT architectures. The efficient and integrated management of the various architecture artefacts and their interdependencies - described in architecture models - is a crucial success factor for these initiatives. This paper presents an approach for en- suring architecture artefacts (as the main work products of enterprise architecture management) are under appropriate control. Due to the emerging complexity of IT architectures, the huge amount of crucial information as well as the requirement to ensure conformity to regulations such as SOX and Basel II, the authors view this as a field in need of an approach in order to control and manage this complexity.
- KonferenzbeitragImproving Design Patterns by Description Logics: A Use Case with Abstract Factory and Strategy(Modellierung 2008, 2008) Silva Parreiras, Fernando; Staab, Steffen; Winter, AndreasThis paper deals with problems in common design patterns and proposes description-logics-based modeling to remedy these issues. We exploit the TwoUse approach, which integrates OWL-DL, a W3C standard for description logics on the web, and UML-based modeling, to overcome drawbacks of the Strategy Pattern, that are also extensible to the Abstract Factory Pattern in a Model Driven Approach. The result is an OWL-based pattern to be used with design patterns: the Selector Pattern.
- KonferenzbeitragModellierung und Darstellung von Prozessvarianten in Provop(Modellierung 2008, 2008) Hallerbach, Alena; Bauer, Thomas; Reichert, ManfredDie Praxis hat gezeigt, dass man es bei der Modellierung von Prozessen oftmals mit zahlreichen Varianten zu tun hat. Jede Prozessvariante stellt dabei eine Anpassung an bestimmte Rahmenbedingungen dar. Heutige Modellierungswerkzeuge ermöglichen lediglich das Ausmodellieren von Prozessvarianten in separaten Prozessmodellen, woraus ein hoher Wartungsaufwand resultiert: Werden z.B. grundlegende Prozessanpassungen erforderlich (z.B.infolge gesetzlicher Änderungen), sind meist mehrere Varianten betroffen und deshalb bei diesem Ansatz auch mehrere Prozessmodelle anzupassen. Dies wiederum führt schnell zu Inkonsistenzen oder Fehlern. Der vorliegende Beitrag greift diese Problemstellungen auf. Er stellt den Provop-Lösungsansatz zur Modellierung mehrerer Prozessvarianten in einem Prozessmodell, mit expliziter Kennzeichnung der verschiedenen Varianten, vor. Damit lassen sich die Aufwände für die Modellierung und Wartung von Prozessvarianten signifikant reduzieren sowie Inkonsistenzen bei der Anpassung von Varianten vermeiden.
- Editiertes BuchModellierung 2008(2008)
- KonferenzbeitragFully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes(Modellierung 2008, 2008) Lohmann, Niels; Kleine, JensOn the one hand, Petri net models have a successful history in the modeling, simulation, and verification of workflows and business processes. On the other hand, BPEL is the de facto standard for describing and implementing Web service-based business processes. With abstract BPEL processes, BPEL can also be used as modeling language. However, being a complicated language with many syntactic constraints, abstract BPEL processes impede a straightforward modeling. In this paper, we introduce a fully-automatic translation of Petri net models into ab- stract BPEL processes which can be easily refined to executable BPEL processes. This approach combines strengths of Petri nets in modeling and verification with the ability to execute and port BPEL processes. Furthermore, it completes the Tools4BPEL framework to synthesize BPEL processes which are correct by design.
- KonferenzbeitragDomain-Specific Languages for Wireless Sensor Networks(Modellierung 2008, 2008) Sadilek, Daniel A.Programming wireless sensor networks is difficult. Using low-level languages like C or Assembler requires detailed knowledge about the hardware and its limitations. The behavior of a sensor node has to be described in terms of memory addresses, registers, and very basic data manipulation operations. Domain-specific languages help to ease the programming. They raise the programming abstraction and, for instance, allow to describe a sensor node’s behavior in terms of current sensor values and sensor value change events. By abstracting from low-level details, a domain-specific language may even enable domain-experts to describe the behavior of a wireless sensor network. The goal of my thesis is to develop and evaluate an approach for defining domain-specific languages for wireless sensor networks and for simulating, compiling, and executing programs formulated in these domain-specific languages.
- KonferenzbeitragTransforming Message Sequence Charts for Testing – Automated Test Code Generation for Different Abstraction Layers(Modellierung 2008, 2008) Slotosch, OscarIn this paper we describe experiences gained from using Message Sequence Charts (MSCs) for the specification and execution of tests. Using a test code generator (MSC2C) allows us to verify a system under test against the specified sequences. For executing one test specification on different test stages with different interfaces we applied transformation rules that transform abstract MSCs to concrete MSCs for different test stages. The rules are also formulated as MSCs. We demonstrate the approach using aspects from the AUTOSAR network management function.
- «
- 1 (current)
- 2
- 3
- »