Formal Specification and Verification of Data-Centric Service Composition (English)
- New search for: Saleh, Iman
- New search for: Kulczycki, Gregory
- New search for: Blake, M.Brian
- New search for: Saleh, Iman
- New search for: Kulczycki, Gregory
- New search for: Blake, M.Brian
In:
ICWS, IEEE International Conference on Web Services, 2010
;
131-138
;
2010
-
ISBN:
- Conference paper / Print
-
Title:Formal Specification and Verification of Data-Centric Service Composition
-
Contributors:
-
Published in:
-
Publisher:
- New search for: IEEE Computer Society Press
-
Place of publication:Los Alamitos
-
Publication date:2010
-
Size:8 Seiten, 25 Quellen
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 91
-
WSExpress: A QoS-aware Search Engine For Web ServicesZhang, Yilei / Zheng, Zibin / Lyu, Michael R. et al. | 2010
- 131
-
Formal Specification and Verification of Data-Centric Service CompositionSaleh, Iman / Kulczycki, Gregory / Blake, M.Brian et al. | 2010
- 315
-
Trust assessment for web services collaborationYahyaoui, Hamdi et al. | 2010
- 377
-
WebMov: A dedicated framework for the modelling and testing of web services compositionCavalli, Ana / Cao, Tien-Dung / Mallouli, Wissam / Martins, Eliane / Sadovykh, Andrey / Salva, Sebastien / Zaidi, Fatiha et al. | 2010
- 457
-
Performance evaluation for SOAP and RFC in SAP Netweaver platformCao, Zhibin / Jandhyala, Raghav / Koduvayur, Shiva et al. | 2010
- 616
-
Extending BPMN for supporting customer-facing service quality requirementsKawther, Saeedi / Zhao, Liping / Sampaio, Pedro R.Falcone et al. | 2010
- 702
-
[Publisher information]| 2010
- C1
-
[Front cover]| 2010
- i
-
[Title page i]| 2010
- iii
-
[Title page iii]| 2010
- iv
-
[Copyright notice]| 2010
- v
-
Table of contents| 2010
- xix
-
Program Committee| 2010
- xvii
-
Organizing Committee| 2010
- xxii
-
External reviewers| 2010
- xxiii
-
IEEE Computer Society Technical Committee on Services Computing| 2010