Logo des Repositoriums

Auflistung nach Autor:in "Steimann, Friedrich"

1 - 10 von 33
  • Konferenzbeitrag
    Animiertes UML als Medium für die Didaktik der objektorientierten Programmierung
    (Modellierung 2002, Modellierung in der Praxis – Modellierung für die Praxis, 2002) Steimann, Friedrich; Thaden, Uwe; Siberski, Wolf; Nejdl, Wolfgang
    Das objektorientierte Paradigma hat die Konzepte des Programmierens näher an die der Realität gerückt. Zugleich ist damit aber der Abstand von Programmen zu der Maschine, die die Programme ausführen soll, größer geworden. Die alten anschaulichen Modelle vom Programmablauf auf einer Registermaschine sind somit zu didaktischen Zwecken kaum noch einsetzbar. Statt dessen schlagen wir eine auf der grafischen Modellierungssprache UML basierende animierte Visualisierung vor, die die Metaphern der objektorientierten Programmierung nutzt und dadurch eine intuitive Vorstellung von den Abläufen eines Programms ermöglichen sollte. Animiertes UML kann im Unterricht in Form von vorproduzierten Lehrfilmen oder interaktiv in Programmierübungen eingesetzt werden.
  • Konferenzbeitrag
    Ansatz zur Metamodellierung mit Verhalten und dessen Anwendungen
    (Modellierung 2008, 2008) Soden, Michael; Eichler, Hajo
    Metamodellierung bietet ein adäquates Mittel für die Definition verschiedenster Artefakte in Softwareentwicklungsprojekten. Um eine vollsta ̈ndige, ausfu ̈hrbare Spezifikation von Softwaresystemen und Plattformen zu erhalten, bedarf es Metamo- dellen mit Verhaltensbeschreibungen. Im Rahmen dieses Forschungsvorhaben werden verschiedene Erweiterungen der Meta Object Facility (MOF) der Object Management Group (OMG) erarbeitet und auf unterschiedliche Phasen im Softwareentwicklungs- zyklus angewendet. Das dabei entstehende Metamodellierungsframework mit Verhal- tensbeschreibung, Instanziierungskonzept, Szenarien- und Datenaufnahme, etc. zielt auf Verbesserungen bei der Anforderungsanalyse, fru ̈hst mo ̈glicher Validierung durch Simulation und der nahtlosen Integration des Testens ab.
  • Konferenzbeitrag
    Avoiding infinite recursion with stratified aspects
    (NODe 2006 – GSEM 2006, 2006) Bodden, Eric; Forster, Florian; Steimann, Friedrich
    Infinite recursion is a known problem of aspect-oriented programming with AspectJ: if no special precautions are taken, aspects advising aspects can easily and unintentionally advise themselves. We present a compiler for an extension of the AspectJ programming language that avoids self reference by associating aspects with levels, and by automatically restricting the scope of pointcuts used by an aspect to join points of lower levels. We report on a case study using our language extension, and provide numbers of the changes necessary for migrating existing applications to it. Our results suggest that we can make programming with AspectJ simpler and safer, without restricting its expressive power unduly.
  • Konferenzbeitrag
    Ein Beitrag zur Konsolidierung der Modellierung von Unternehmensarchitekturen
    (Modellierung 2008, 2008) Rohloff, Michael
    Der 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.
  • Konferenzbeitrag
    Business Objectives Compliance Architecture Framework Mechanisms for Controlling Architecture Artefacts
    (Modellierung 2008, 2008) Moser, Christoph; Winklhofer, Mathias; Kuplich, Christian
    At 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.
  • Konferenzbeitrag
    Domain-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.
  • Konferenzbeitrag
    Durchgängige Modularität in der modellgetriebenen Entwicklung domänenspezifischer Modellierungssprachen mit Hilfe aspektorientierter Programmierung
    (Modellierung 2008, 2008) Mosconi, Marco
    Das hier vorgestellte Promotionsvorhaben hat zum Ziel, eine durchgehend modulare Entwicklung von domänenspezifischen Modellierungssprachen und deren Implementierung in Werkzeugen zu ermöglichen. Dazu werden Modularisierungskonzepte auf Metamodell-Ebene analysiert, erweitert und mit Hilfe aspektorientierter Mechanismen in die Implementierung übertragen. Das Ergebnis soll ein Framework für die Entwicklung von Modellierungssprachen im UML 2 Umfeld sein, welches insbesondere die Erweiterbarkeit von Werkzeugen und deren Integrationsfähigkeit verbessert. Der Ansatz wird schließlich am konkreten Beispiel einer Modellierungssprache für Object Teams angewendet und evaluiert.
  • Konferenzbeitrag
    Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes
    (Modellierung 2008, 2008) Lohmann, Niels; Kleine, Jens
    On 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.
  • Konferenzbeitrag
    iMOL: Ein experimentelles Werkzeug zur interaktiven Validierung von Softwaremodellen
    (Modellierung 2004, 2004) Thaden, Uwe; Buchloh, Tobias; Steimann, Friedrich
    Ein potentieller Verwendungszweck von Softwaremodellen ist die Va- lidierung der darin festgehaltenen Anforderungen. Wir stellen einen experimentel- len Ansatz vor, mit Hilfe dessen sich ein Modell per interaktiver Animation aus- führen und auf diese Weise durch den Benutzer validieren läßt.
  • Konferenzbeitrag
    Improving Design Patterns by Description Logics: A Use Case with Abstract Factory and Strategy
    (Modellierung 2008, 2008) Silva Parreiras, Fernando; Staab, Steffen; Winter, Andreas
    This 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.