Please use this identifier to cite or link to this item: http://dx.doi.org/10.25673/32211
Full metadata record
DC FieldValueLanguage
dc.contributor.refereeZimmermann, Wolf-
dc.contributor.refereeLöwe, Welf-
dc.contributor.authorWeißbach, Mandy-
dc.date.accessioned2020-01-21T12:41:52Z-
dc.date.available2020-01-21T12:41:52Z-
dc.date.issued2019-
dc.identifier.urihttps://opendata.uni-halle.de//handle/1981185920/32374-
dc.identifier.urihttp://dx.doi.org/10.25673/32211-
dc.description.abstractDer Fokus der Arbeit liegt auf der Deadlockanalyse Service-orientierter Softwaresysteme mit unbeschränkter Nebenläufigkeit und Rekursion sowie Synchronisation. Der aktuelle Forschungsstand im Bereich der Deadlockanalyse scheint es nicht möglich zu machen, diesen spezifischen Anforderungen gerecht zu werden. Daher werden bekannte Abstraktionsmethoden hinsichtlich der spezifischen Anforderungen Service-orientierter Softwaresysteme untersucht. Es wird gezeigt, dass Petri-Netz-basierte Ansätze zu falsch positiven Ergebnissen führen können. Ansätze, die auf Prozessersetzungssystemen (PRS) basieren, bewahren den Aufrufkontext und falsch positive Ergebnisse können für die Klasse der einfach asynchronen Service-orientierten Softwaresysteme ausgeschlossen werden. Das vorgeschlagene Verfahren zur Deadlockanalyse wird den spezifischen Anforderungen Service-orientierter Softwaresysteme gerecht und falsch positive Ergebnisse können für einfach asynchrone Systeme ausgeschlossen werden.ger
dc.description.abstractThe thesis focuses on deadlock analysis of service-oriented software systems containing unbound concurrency and recursion as well as synchronization. The current state of the art in deadlock analysis seems to make it impossible to meet these specific requirements. Therefore, well-known abstraction methods with respect to the specific requirements will be investigated. We show that Petri-net-based approaches can lead to false positives. Approaches, based on process rewrite systems (PRS) preserve the calling context and avoid the appearance of false positive results for simple asynchronous service-oriented software-systems. The proposed verification process meets the specific requirements of service-oriented software systems and false positive results for simple asynchronous systems can be excluded.eng
dc.format.extent1 Online-Ressource (173 Seiten)-
dc.language.isoger-
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/-
dc.subject.ddc004-
dc.titleDeadlockanalyse Service-orientierter Softwaresystemeger
dcterms.dateAccepted2019-12-12-
dcterms.typeHochschulschrift-
dc.typePhDThesis-
dc.identifier.urnurn:nbn:de:gbv:3:4-1981185920-323745-
local.versionTypepublishedVersion-
local.publisher.universityOrInstitutionMartin-Luther-Universität Halle-Wittenberg-
local.subject.keywordsPetri-Netz, Kaktuskeller, Process Rewrite System, Modellierung, Abstraktion, abstraktions-basiert, Deadlockanalyse, unbeschränkte Rekursion, unbeschränkte Nebenläufigkeit, Synchronisation-
local.subject.keywordspetri net, cactus stack, process rewrite system, modeling, abstraction-based, deadlock analysis, unbound recursion, unbound concurrency, synchronization-
local.openaccesstrue-
dc.identifier.ppn1687963282-
local.publication.countryXA-DE-
cbs.sru.importDate2020-01-21T12:40:48Z-
local.accessrights.dnbfree-
Appears in Collections:Interne-Einreichungen

Files in This Item:
File Description SizeFormat 
dissertation_online.pdf1.85 MBAdobe PDFThumbnail
View/Open