DocumentCode
3421400
Title
Formally designing Web services for mobile team collaboration
Author
Dustdar, Schahram ; Fenkam, Pascal
Author_Institution
Distributed Syst. Group, Technische Univ. Vienna, Austria
fYear
2004
fDate
31 Aug.-3 Sept. 2004
Firstpage
469
Lastpage
476
Abstract
We illustrate a symbiotic relationship between existing model oriented specification techniques and Web services. Through the formal re-design of a platform for mobile team collaboration, we investigate the suitability of existing formal specification and verification techniques to Web services. In general, this preliminary work suggests that a lot is still to be done on understanding the computational behavior of Web services, hence on specifying and verifying them.
Keywords
Internet; formal specification; formal verification; groupware; middleware; mobile computing; Web services; formal specification; formal verification; middleware; mobile team collaboration; Collaboration; Collaborative work; Distributed computing; Formal specifications; Message service; Protocols; Symbiosis; Web and internet services; Web services; XML;
fLanguage
English
Publisher
ieee
Conference_Titel
Euromicro Conference, 2004. Proceedings. 30th
ISSN
1089-6503
Print_ISBN
0-7695-2199-1
Type
conf
DOI
10.1109/EURMIC.2004.1333408
Filename
1333408
Link To Document