Correctness of services and their composition
Lohmann, Niels
1981-
aut
text
theses
Text
Hochschulschrift
gw
2010
monographic
XA-DE
2010
eng
text/html
application/pdf
application/pdf
Online-Ressource graph. Darst.
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.
door Niels Lohmann
Rostock, Univ., Diss., 2010
Zugl.: Eindhoven, Technische Universiteit, Proefschrift, 2010
Online-Ausg.:
[Online-Ausg.]
Reproduktion 2010 [Online-Ausg.] Online-Ausg.: |2010||||||||||
Langzeitarchivierung gewährleistet pdager
004.24
004
004
ST 230
ST 233
85.20
54.71
http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2010-0138-3
http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2010-0138-3&pdf
http://nbn-resolving.de/urn:nbn:de:gbv:28-diss2010-0138-3
http://d-nb.info/1010530356/34
http://rosdok.uni-rostock.de/metadata/rosdok_disshab_000000000505
Correctness of services and their composition
Eindhoven : Univ. Press Facilities, 2010
Druck-Ausgabe
9789038623184
(DE-627)635367343
Lohmann, Niels, 1981 -
urn:nbn:de:gbv:28-diss2010-0138-3
838134722
rakwb
DE-627
101115
639531881
20251223T224214.0
Converted from MARCXML to MODS version 3.8 using MARC21slim2MODS3-8_XSLT1-0.xsl
(Revision 1.174 20250328)
ger