Talks and Poster Presentations (with Proceedings-Entry):
S. Dustdar, P. Fenkam:
"Formally Designing Web Services for Mobile Team Collaboration";
Talk: Euromicro International Conference,
Rennes, France (invited);
2004-08-31
- 2004-09-03; in: "Procedings of the 30th IEEE International Euromicro Conference",
IEEE,
(2004),
ISBN: 07695-2199-1;
469
- 476.
English 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.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968575
Created from the Publication Database of the Vienna University of Technology.