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.

• Type: Conference
• Year: 2004
• Where: EUROMICRO
• Authors: Schahram Dustdar, Pascal Fenkam
• Keywords: EUROMICRO 2004, Mobile Team Collaboration, Model Oriented Specification, Software Engineering, Web Services