TY  - BOOK
AU  - Lohmann, Niels
PY  - 2010
DA  - 2010//
TI  - Correctness of services and their composition
AB  - 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.
UR  - http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2010-0138-3
UR  - http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2010-0138-3&pdf
UR  - http://nbn-resolving.de/urn:nbn:de:gbv:28-diss2010-0138-3
UR  - http://d-nb.info/1010530356/34
UR  - http://rosdok.uni-rostock.de/metadata/rosdok_disshab_000000000505
LA  - English
N1  - door Niels Lohmann
ID  - 639531881
ER  -