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 
Startseite    Anmelden     
Sommer 2024    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node1  Trennstrich  Switch to english language

Publikation: Dissertationsschrift

Correctness of services and their composition


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 Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

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 Link zur UB Rostock Link zum GBV-Katalog

Einrichtung

Fakultät für Informatik und Elektrotechnik (IEF)