Show simple item record

AuthorHeinlein, Christiandc.contributor.author
Date of accession2016-03-14T13:38:50Zdc.date.accessioned
Available in OPARU since2016-03-14T13:38:50Zdc.date.available
Year of creation2000dc.date.created
AbstractHeutige Workflow-Management-Systeme - egal ob kommerzielle Produkte oder Forschungsprototypen - betrachten einzelne Workflows im wesentlichen als separate, in sich abgeschlossene Prozesse, die unabhängig voneinander ausgeführt werden. In der Regel werden weder Beschreibungsmittel zur Spezifikation noch Laufzeitmechanismen zur Überwachung von workflowübergreifenden Synchronisationsbedingungen angeboten, obwohl derartige Bedingungen in vielen Anwendungsbereichen eine wichtige Rolle spielen. Ziel der vorliegenden Arbeit ist daher die Konzeption und Realisierung eines Formalismus, mit dessen Hilfe derartige Inter-Workflow-Abhängigkeiten sinnvoll beschrieben werden können. Im Rahmen der Arbeit werden Interaktionsausdrücke und -graphen als deskriptiver Formalismus zur kompakten, übersichtlichen und modularen Spezifikation sowie zur effizienten Implementierung von Synchronisationsbedingungen unterschiedlichster Art konzipiert, theoretisch untersucht, praktisch implementiert und prototypisch eingesetzt. Ausgehend von einer ausführlichen, anwendungsorientierten und anschaulichen Beschreibung des Formalismus, werden sukzessive eine präzise formale Semantik, eine äquivalente operationale Semantik sowie eine effiziente Implementierung entwickelt. Aufbauend auf der formalen bzw. operationalen Semantik werden zahlreiche formale Eigenschaften sowie Aussagen zur Ausdrucksmächtigkeit und Komplexität des Formalismus bewiesen. Darüber hinaus wird aufgezeigt, wie Interaktionsausdrücke unter anderem zur Spezifikation von Inter-Workflow-Abhängigkeiten eingesetzt werden können und wie die spezifizierten Bedingungen mit Hilfe eines oder mehrerer Interaktionsmanager in eine Workflow-Ausführungsumgebung integriert werden können. Um die Erstellung von Interaktionsgraphen und ihre Transformation in äquivalente Interaktionsausdrücke zu erleichtern, wurde außerdem ein syntaxgesteuerter graphischer Editor entwickelt.dc.description.abstract
Languagededc.language.iso
PublisherUniversität Ulmdc.publisher
LicenseStandard (Fassung vom 03.05.2003)dc.rights
Link to license texthttps://oparu.uni-ulm.de/xmlui/license_v1dc.rights.uri
Dewey Decimal GroupDDC 004 / Data processing & computer sciencedc.subject.ddc
LCSHSynchronization. Data processingdc.subject.lcsh
LCSHWorkflow management systemsdc.subject.lcsh
TitleWorkflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphendc.title
Resource typeDissertationdc.type
DOIhttp://dx.doi.org/10.18725/OPARU-383dc.identifier.doi
PPNdc.identifier.ppn
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-vts-59768dc.identifier.urn
GNDFormale Sprachedc.subject.gnd
GNDGraphische Notationdc.subject.gnd
GNDOperationale Semantikdc.subject.gnd
GNDProzessmanagementdc.subject.gnd
GNDSynchronisierungdc.subject.gnd
FacultyFakultät für Informatikuulm.affiliationGeneral
Date of activation2007-08-01T22:32:52Zuulm.freischaltungVTS
Peer reviewneinuulm.peerReview
Shelfmark print versionO: J-H 5.449 ; W: W-H 6.883uulm.shelfmark
DCMI TypeTextuulm.typeDCMI
VTS-ID5976uulm.vtsID
CategoryPublikationenuulm.category


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record