By Peter Harrison (auth.), Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)
This e-book constitutes the refereed court cases of 2 colocated foreign workshops EPEW 2005 (European functionality Engineering Workshop) and WS-FM 2005 (Web prone and Formal tools) held in Versailles, France in September 2005.
The 20 revised complete papers provided have been rigorously reviewed and chosen from fifty nine submissions. For EPEW 2005 purely 10 papers - of the 32 submitted - have been approved for presentation; they care for queueing idea, bounding thoughts, stochastic version checking, communique schemes research for high-speed LAN, QOS research in instant ad-hoc networks and optical networks research. the most themes of the ten papers authorized for WS-FM 2005 - from 27 submissions - contain: protocols and criteria for WS (SOAP, WSDL, UDDI, etc.); languages and outline methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination concepts for WS (transactions, contract, coordination providers, etc.); semantics-based dynamic WS discovery providers (based on Semantic Web/Ontology innovations or different semantic theories); defense, functionality evaluate and caliber of provider of WS; semi-structured facts and XML comparable applied sciences; comparisons with varied similar technologies/approaches.