Please use this identifier to cite or link to this item:
http://dx.doi.org/10.25673/132
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.referee | Zimmermann, Wolf, Prof. Dr. | - |
dc.contributor.referee | Schmidt, H. W., Prof. Dr. | - |
dc.contributor.author | Both, Andreas | - |
dc.date.accessioned | 2018-09-24T08:21:15Z | - |
dc.date.available | 2018-09-24T08:21:15Z | - |
dc.date.issued | 2010 | - |
dc.identifier.uri | https://opendata.uni-halle.de//handle/1981185920/6733 | - |
dc.identifier.uri | http://dx.doi.org/10.25673/132 | - |
dc.description.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. | - |
dc.description.statementofresponsibility | von Andreas Both | - |
dc.format.extent | Online-Ressource (XXI, 218 S. = 6,42 mb) | - |
dc.language.iso | eng | - |
dc.publisher | Universitäts- und Landesbibliothek Sachsen-Anhalt | - |
dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | - |
dc.subject | Software Engineering | - |
dc.subject | Serviceorientierte Architektur | - |
dc.subject | Online-Publikation | - |
dc.subject | Hochschulschrift | - |
dc.subject.ddc | 005.14 | - |
dc.subject.ddc | 000 | - |
dc.title | Protocol conformance checking of component-based systems and service-oriented architectures | - |
dcterms.dateAccepted | 2010-03-12 | - |
dcterms.type | Hochschulschrift | - |
dc.type | PhDThesis | - |
dc.identifier.urn | urn:nbn:de:gbv:3:4-2499 | - |
local.publisher.universityOrInstitution | Martin-Luther-Universität Halle-Wittenberg | - |
local.subject.keywords | Component Based Software Engineering; Protokollkonformität; zuverlässige Komponentenkomposition; SOA; Web Service; Modellprüfung; Process Rewrite Systems;Abstrahiertes Verhalten; statische Analyse; Validierung von Arbeitsabläufen | - |
local.subject.keywords | component-based software engineering; protocol conformance; reliable component composition; SOA; web services; model checking; process rewrite systems; abstract behavior; static analysis; workflow validation | eng |
local.openaccess | true | - |
dc.identifier.ppn | 623207192 | - |
local.accessrights.dnb | free | - |
Appears in Collections: | Computerprogrammierung, Programme, Daten |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Protocol conformance checking of component-based systems and service-oriented architectures.pdf | 6.57 MB | Adobe PDF | ![]() View/Open |