Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
S. Dustdar, P. Fenkam:
"Formally Designing Web Services for Mobile Team Collaboration";
Vortrag: Euromicro International Conference,
Rennes, France (eingeladen);
31.08.2004
- 03.09.2004; in: "Procedings of the 30th IEEE International Euromicro Conference",
IEEE,
(2004),
ISBN: 07695-2199-1;
S. 469
- 476.
Kurzfassung englisch:
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-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968575
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.