Logo des Repositoriums

Auflistung nach Schlagwort "Petrinetze"

1 - 5 von 5
  • Zeitschriftenartikel
    Automatisierte Compliance-Zertifizierung Cloud-basierter Geschäftsprozesse
    (Wirtschaftsinformatik: Vol. 53, No. 3, 2011) Accorsi, Rafael; Lowis, Lutz; Sato, Yoshinori
    Die in wachsendem Ausmaß geforderte Compliance von Geschäftsprozessen kann beim Cloud-Computing bisher – wenn überhaupt – nur mit großem, manuellem Aufwand nachgewiesen werden. Ohne entsprechende Zertifizierung werden aber viele Interessenten keine Cloud-basierten Geschäftsprozesse einsetzen. Der Beitrag stellt ein neues Verfahren zur automatisierten Compliance-Prüfung von Prozessen vor, bei dem Prozesse und Regeln als Petrinetze formalisiert werden. Außerdem wird eine Klassifikation von Compliance-Anforderungen aufgestellt, aus der Muster für die Prüfung abgeleitet werden. Anhand der Muster werden Evidenzen bezüglich der Regeleinhaltung automatisiert erzeugt.AbstractA key problem in the deployment of large-scale, reliable cloud computing concerns the difficulty to certify the compliance of business processes operating in the cloud. Standard audit procedures such as SAS-70 and SAS-117 are hard to conduct for cloud-based processes. The paper proposes a novel approach to certify the compliance of business processes with regulatory requirements. The approach translates process models into their corresponding Petri net representations and checks them against requirements also expressed in this formalism. Being based on Petri nets, the approach provides well-founded evidence on adherence and, in case of noncompliance, indicates the possible vulnerabilities.
  • Zeitschriftenartikel
    Automatisiertes Testen von verteilten Systemen über Petrinetze
    (Softwaretechnik-Trends Band 37, Heft 1, 2017) Ruß, Tim; Magnus, Stephan; Krause, Jan
    Dieser Beitrag stellt eine Methode vor, um mittels modellbasierter Tests ein verteiltes System über seine Netzwerk-Kommunikation zu validieren. Diese wird kontextabhängig gegen ein Sollverhalten geprüft und ggf. manipuliert. Die Beschreibung des Sollverhaltens erfolgt hierbei durch eine sequenzbasierte Notation. Dadurch ist es einfach und intuitiv möglich, Testszenarien zu implementieren und automatisiert durchzuführen. Zur Laufzeit wird das Netzwerkverhalten über ein Petrinetz effizient validiert. Außerdem ist es möglich, ein entsprechendes Gerät in ein Netzwerk zu integrieren und den Datenverkehr auf vielfältige Weise zu manipulieren.
  • Konferenzbeitrag
    Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten
    (Modellierung 2024 Satellite Events, 2024) Bergenthum, Robin; Kovář, Jakub; Lueg, Nico
    Petrinetze haben eine formale Semantik und eine einfache graphische Repräsentation. Mit Petrinetzen können wir Abhängigkeiten und Nebenläufigkeiten zwischen Aufgaben innerhalb von realen Systemen problemadäquat modellieren. Trotzdem ist das Modellieren verteilter Systeme eine schwierige und fehleranfällige Aufgabe. Das Blindenhund-Werkzeug ist ein Prototyp, der einen Ansatz für die Autokorrektur von Petrinetzen implementiert. Um ein Petrinetz zu reparieren, benötigen wir neben dem Modell eine Spezifikation des gewünschten Verhaltens. Das Blindenhund-Werkzeug kann die gewünschte Sprache in Form eines Event Logs oder als Spezifikation aus halbgeordneteten Beispielabläufen importieren. Modellieren wir gegen solch eine Spezifikation und ist das Modell nicht in der Lage die Spezifikation auszuführen, bekommen wir durch unser Blindenhund-Werkzeug einen Hinweis auf den Fehler und eine Liste von möglichen Reparaturvorschlägen. Damit kann das Blindenhund-Werkzeug Petrinetze reparieren, angehenden Modellierern die Semantik der Petrinetze interaktiv näherbringen und dabei verschiedene Reparaturvorschläge bewerten. Das Blindenhund-Werkzeug und einen zugehörigen Screencast gibt es auf der Internetseite www.fernuni-hagen.de/ilovepetrinets/guidedog.
  • Konferenzbeitrag
    Konzeptuelle Modellierung web-basierter Prozesse und ihre Ausführungin Multiagentensystemen
    (Modellierung 2004, 2004) Moldt, Daniel; Ortmann, Jan
    Web Services stellen einen über das Web zur Verfügung gestellten Dienst dar. Während der Aufruf von Web Services standardisiert ist, ist das Auffinden und das Zusammenfügen von ihnen noch Gegenstand intensiver Forschung. Die Prozess-Ontologie DAML-S versucht diese Lücke zu schließen. Im Folgenden wird ein Ansatz vorgestellt, Beschreibungen von Web Services in DAML-S durch ein Werkzeug einzulesen und dann als Petrinetz darzustellen. Dieses Petrinetz kann dann direkt ausgeführt werden oder innerhalb eines ebenfalls auf Petrinetzen basierenden Multiagentensystems durch einen Agenten ausgeführt werden.
  • 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.