The Working Group 'Formal Methods for Service Oriented Architecture and Internet of the Future' run by the DEPLOY (Industrial deployment of system engineering methods providing high dependability and productivity) project held a one-day event on 16 February in Düsseldorf at the 7th international conference on integrated Formal Methods (iFM 2009). More than ten talks were presented on themes centering around Web services, SOA, fault tolerance, composition as well as using formal methods ranging from Event-B to rewriting logic. The workshop was very successful, with sessions being attended by 20 to 35 people. A new edition of the workshop is planned within the Formal Methods for Components and Objects (FMCO) symposium, which is part of the first Formal Methods Week (FMWeek) to be held in Eindhoven in November 2009.
This DEPLOY Working Group gathers expertise on Internet Technology and Formal Methods from FP7 Call 1 projects of Objective 1.2 'Services and Software Architectures, Infrastructure and Engineering'. A main objective of the Working Group is to contribute to the cooperation between these projects, in which several ERCIM members are participating (for example CWI, SARIT, SpaRCIM, and Fraunhofer Gesellschaft).
More information:
http://www.formal-methods.de/ifm09/fmsoa_workshop.html
http://www.deploy-project.eu
http://www.win.tue.nl/fmweek
