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-09-03; in: "Procedings of the 30th IEEE International Euromicro Conference",
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:
Created from the Publication Database of the Vienna University of Technology.