Skip navigation
Please use this identifier to cite or link to this item: http://dx.doi.org/10.25673/132
Title: Protocol conformance checking of component-based systems and service-oriented architectures
Author(s): Both, Andreas
Advisor(s): Zimmermann, Wolf, Prof. Dr.Look up in the Integrated Authority File of the German National Library
Schmidt, H. W., Prof. Dr.
Granting Institution: Martin-Luther-Universität Halle-Wittenberg
Issue Date: 2010
Extent: Online-Ressource (XXI, 218 S. = 6,42 mb)
Type: HochschulschriftLook up in the Integrated Authority File of the German National Library
Exam Date: 12.03.2010
Language: English
Publisher: Universitäts- und Landesbibliothek Sachsen-Anhalt
URN: urn:nbn:de:gbv:3:4-2499
Subjects: Software Engineering
Serviceorientierte Architektur
Online-Publikation
Hochschulschrift
Abstract: Im Rahmen dieser Arbeit wurde ein Verfahren entwickelt, das die vollautomatische Verifikation von Komponenten-Protokollen (z. B. Geschäftsprozessen) von Komponenten-Software (insbesondere auch SOA) erlaubt. In den Protokollen wird festgelegt, welche Aufrufe (z. B. Reihenfolge, Wiederholungen) der angebotenen Komponenten-Schnittstellen erlaubt sind. Zur Protokollprüfung werden die Komponenten-Abstraktionen herangezogen. Hierbei ist es erstmals gelungen, eine Repräsentation zu nutzen, die unbeschränkte Parallelität und unbeschränkte Rekursion darstellen kann. Zur Verifikation wurde ein automatisches Verfahren definiert. Dieses stellt die Anwendbarkeit während der Softwareentwicklung sicher, u. a. bleibt auch bei der Verifikation der Komponenten-Charakter erhalten. Außerdem ist sichergestellt, dass das Verhalten der Software konservativ erfasst wird. Folglich kann jede vorhandene Protokollverletzung gefunden werden. Es wurde ein wichtiger Beitrag zur Überprüfung von Software zur Erstellungszeit geleistet, sodass diese bereits vor der Auslieferung auf Fehler geprüft werden kann.
URI: https://opendata.uni-halle.de//handle/1981185920/6733
http://dx.doi.org/10.25673/132
Open access: Open access publication
Appears in Collections:Computerprogrammierung, Programme, Daten

Files in This Item:
File Description SizeFormat 
Protocol conformance checking of component-based systems and service-oriented architectures.pdf6.57 MBAdobe PDFThumbnail
View/Open
Show full item record BibTeX EndNote


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.