Sciweavers

Share
EUROMICRO
2004
IEEE

Formally Designing Web Services for Mobile Team Collaboration

9 years 3 months ago
Formally Designing Web Services for Mobile Team Collaboration
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.
Schahram Dustdar, Pascal Fenkam
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where EUROMICRO
Authors Schahram Dustdar, Pascal Fenkam
Comments (0)
books