Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

EUROMICRO
2004
IEEE

favoriteEmaildiscussreport

144views Software Engineering» more EUROMICRO 2004»

Formally Designing Web Services for Mobile Team Collaboration

13 years 8 months ago

Formally Designing Web Services for Mobile Team Collaboration

Download www.infosys.tuwien.ac.at

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

Real-time Traffic

EUROMICRO 2004 | Mobile Team Collaboration | Model Oriented Specification | Software Engineering | Web Services |

claim paper

Related Content

» Vimoware A Toolkit for Mobile Web Services and Collaborative Computing

» Toxic Farm A Cooperative Management Platform for Virtual Teams and Enterprises

» A Web Services based Approach for System on a Chip Design Planning

» Serviceoriented approach to collaborative visualization

» Human Interactions in Dynamic Environments through Mobile Web Services

» Designing for loose coupling in mobile groups

» Towards a formal framework for Choreography

» Formalizing Mobility in Service Oriented Computing

» A Collaborative Web Browsing System for Multiple Mobile Users

Post Info
More Details (n/a)

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2004
Where	EUROMICRO
Authors	Schahram Dustdar, Pascal Fenkam

Comments (0)