Logo des Repositoriums

Auflistung nach Schlagwort "Renew"

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.
  • Workshopbeitrag
    SMT Solvers – A PromisingWay for Verifying User Interfaces?
    (Mensch und Computer 2022 - Workshopband, 2022) Bruchertseifer, Jens; Weyers, Benjamin
    Evaluating user interfaces of interactive applications in terms of correctness has always been a lengthy and error-prone task, as it would be executed by humans. This has led to this aspect of development being severely neglected, which poses a fundamental problem in terms of usability. In this work, we present a novel approach based on the creation of a formal representation from a given user interface, which is transformed into a reference net and finally converted into an SMT formula. As SMT formulae can be evaluated easily using highly efficient SMT solvers, this approach promises good efficiency in real-world scenarios.