Matches in SemOpenAlex for { <https://semopenalex.org/work/W105496906> ?p ?o ?g. }
Showing items 1 to 38 of
38
with 100 items per page.
- W105496906 abstract "Zur Verifikation eines BPMN-Modells in Bezug auf einen Bedingungsausdruck, der mit dem Modell verknupft ist, wurde im Rahmen der vorliegenden Arbeit eine dreistufige Vorgehensweise konzipiert. Nachdem in Kapitel 6 zwei Verfahren vorgestellt wurden, die ein BPMN-Modell im Zuge dieser Vorgehensweise zunachst nach Instanzen struktureller Muster durchsuchen (siehe Abschnitt 6.2 und 6.3), beschreibt dieses Kapitel, wie musterbasierte Bedingungen innerhalb eines Bedingungsausdrucks und der Ausdruck selbst auf Grundlage des Resultats der musterbasierten Suche ausgewertet werden. Bei der Auswertung musterbasierter Bedingungen wird zwischen existenziellen (siehe Abschnitt 5.3.1) und temporalen (siehe Abschnitt 5.3.2) Bedingungen unterschieden. Wahrend zur Auswertung existenzieller Bedingungen relativ einfache Algorithmen ausreichen, ist zur Auswertung temporaler Bedingungen normalerweise eine Modellprufung erforderlich, wobei im Rahmen dieser Arbeit der Modellprufer Spin verwendet wurde. Die zur Durchfuhrung einer Modellprufung benotigten Transformationsschritte werden im weiteren Verlauf ausfuhrlich beschrieben. Anhand des Prototyps wird schlieslich gezeigt, wie der gesamte Ablauf der Verifikation eines BPMN-Modells vonstattengeht." @default.
- W105496906 created "2016-06-24" @default.
- W105496906 creator A5032128275 @default.
- W105496906 date "2011-01-01" @default.
- W105496906 modified "2023-09-24" @default.
- W105496906 title "Auswertung musterbasierter Bedingungen an BPMN-Modelle" @default.
- W105496906 doi "https://doi.org/10.1007/978-3-8348-8162-5_7" @default.
- W105496906 hasPublicationYear "2011" @default.
- W105496906 type Work @default.
- W105496906 sameAs 105496906 @default.
- W105496906 citedByCount "0" @default.
- W105496906 crossrefType "book-chapter" @default.
- W105496906 hasAuthorship W105496906A5032128275 @default.
- W105496906 hasConcept C127413603 @default.
- W105496906 hasConcept C138885662 @default.
- W105496906 hasConcept C15708023 @default.
- W105496906 hasConcept C174998907 @default.
- W105496906 hasConcept C179299601 @default.
- W105496906 hasConcept C207505557 @default.
- W105496906 hasConcept C21547014 @default.
- W105496906 hasConcept C41008148 @default.
- W105496906 hasConcept C85345410 @default.
- W105496906 hasConceptScore W105496906C127413603 @default.
- W105496906 hasConceptScore W105496906C138885662 @default.
- W105496906 hasConceptScore W105496906C15708023 @default.
- W105496906 hasConceptScore W105496906C174998907 @default.
- W105496906 hasConceptScore W105496906C179299601 @default.
- W105496906 hasConceptScore W105496906C207505557 @default.
- W105496906 hasConceptScore W105496906C21547014 @default.
- W105496906 hasConceptScore W105496906C41008148 @default.
- W105496906 hasConceptScore W105496906C85345410 @default.
- W105496906 hasLocation W1054969061 @default.
- W105496906 hasOpenAccess W105496906 @default.
- W105496906 hasPrimaryLocation W1054969061 @default.
- W105496906 isParatext "false" @default.
- W105496906 isRetracted "false" @default.
- W105496906 magId "105496906" @default.
- W105496906 workType "book-chapter" @default.