Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
S
tartseite
A
nmelden
Sommer 2024
Hilfe
Sitemap
Impressum
Datenschutz
node1
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Publikation: Dissertationsschrift
Correctness of services and their composition
Grunddaten
Abstract
Autoren
Einrichtung
Grunddaten
Titel
Correctness of services and their composition
Erscheinungsjahr
2010
Publikationsform
Elektronische Ressource
Publikationsart
Dissertationsschrift
Sprache
Englisch
Letzte Änderung
19.03.2013 10:55:10
Bearbeitungsstatus
durch UB Rostock abschließend validiert
Dauerhafte URL
http://purl.uni-rostock.de/fodb/pub/39039
Links zu Katalogen
Abstract
We study correctness of services and their composition and investigate how the design of correct service compositions can be systematically supported. We thereby focus on the communication protocol of the service and approach these questions using formal methods and make contributions to three scenarios of SOC.
Autor
Lohmann, Niels
Einrichtung
Fakultät für Informatik und Elektrotechnik (IEF)