Logo des Repositoriums

Auflistung nach Autor:in "Seifert, Lukas"

1 - 2 von 2
  • Konferenzbeitrag
    Interface Nets Tool: Modellierung von Netzkompositionen
    (Modellierung 2024 Satellite Events, 2024) Ihlenfeldt, Karl; Moldt, Daniel; Seifert, Lukas; Clasen, Laif-Oke
    Die systematische Konstruktion von Systemen beinhaltet häufig die Erstellung eines Modells. Die Größe und Komplexität des Modells skaliert allerdings mit dem zu modellierenden System, was schnell zu unübersichtlichen und schwer wartbaren Modellen führen kann. Große oder komplexe Modelle werden deshalb häufig modularisiert. Die einzelnen Module werden dann zu dem Gesamtsystem zusammengeführt. Um diese Komposition des Gesamtsystems einheitlich und klar zu gestalten, hat Reisig das Konzept der Interface-Netze entwickelt, welches einen assoziativen Kompositionsoperator beinhaltet. Interface-Netze sind eine spezielle Form von Petrinetzen. Obwohl es viele Werkzeuge gibt, welche die Modellierung mit Petrinetzen unterstützen, gibt es bislang noch kein Werkzeug, dass die Modellierung mit Interface-Netzen ermöglicht. Um hierfür ein Werkzeug zu schaffen, wurde Renew, ein existierendes Werkzeug für die Modellie- rung mit Petrinetzen, erweitert. Renews Plugin-Architektur unterstützt, neue Funktionalitäten zu implementieren und dabei auf bestehende Konzepten zurückzugreifen. Das in diesem Beitrag vorgestellte Werkzeug, das Interface Nets Tool, ist eine Erweiterung Renews. Mit diesem Werkzeug ist es möglich, Interface-Netze zu modellieren und zu komponieren. Es wird auf die Funktionsweise des Werkzeuges eingegangen, sowie auf die Nutzung im wissenschaft- lichen Kontext. Das Interface Nets Tool unterstützt verschiedene Anwendungsmöglichkeiten. Neben der Kom- position großer Systeme wird auch die Abstraktion von der Implementation ermöglicht, sodass die Schnittstellen der modellierten Module im Fokus stehen. Dies lässt sich auf die Modellierung von Multiagentensystemen und Web-Service basierten Systemen übertragen.
  • Konferenzbeitrag
    Modellierung von komplexen Abläufen im Paose Kontext mit dem Diagram Tool
    (Modellierung 2024 Satellite Events, 2024) Seifert, Lukas; Ihlenfeldt, Karl; Moldt, Daniel; Clasen, Laif-Oke; Hansson, Marcel 
    Modellierung von Multiagentensystemen mit komplexen Abläufen ist häufig eine Heraus- forderung. Zur Modellierung gehören das Verständnis von grundlegenden Phänomenen, die in dem Kontext des Einsatzes von Agentensystemen auftreten, Abstraktionen zur konstruktiven Diskussion und Analyse, sowie gleichermaßen die konkrete Umsetzung in Form von Modellen inklusive der Implementation. Um ein System und dessen Abläufe zu verstehen oder zu analysieren, ist es häufig hilfreich oder nötig, diese aus verschiedenen Perspektiven zu betrachten und zu modellieren. In diesem Beitrag wird eine Überarbeitung des Diagram Tools vorgestellt. Es ermöglicht eine Übersetzung von Interaktionsdiagrammen in andere Modellierungstechniken auf Basis von Petrinetzen. Neu sind hierbei Übersetzungen in Interface- und Workflow-Netze, wodurch andere Perspektiven beleuchtet werden. Die Semantik bleibt in allen Modellformen gleich. Außerdem werden die existierenden Elemente der Interaktionsdiagramme um synchrone Nachrichten erweitert. Mit diesen Neuerungen kann ein System in Form eines Interaktionsdiagrammes spezifiziert werden und dank der Übersetzung in die anderen Modelle kann die Spezifikation aus verschiedenen Abstrak- tionslevel und Perspektiven betrachtet und weiterentwickelt werden. Außerdem wird die Anwendung anderer Analysetechniken so ermöglicht.