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:

Next issue: October 2022
Special theme:
"Ethical Software Engineering and Ethically Aligned Design"
Call for the next issue
Get the latest issue to your desktop
RSS Feed
Cookies user preferences
We use cookies to ensure you to get the best experience on our website. If you decline the use of cookies, this website may not function as expected.
Accept all
Decline all
Read more
Tools used to analyze the data to measure the effectiveness of a website and to understand how it works.
Google Analytics
Set of techniques which have for object the commercial strategy and in particular the market study.
DoubleClick/Google Marketing