Formal Methods for SOA and Internet of the Future

Formal Methods for SOA and Internet of the Future

From Deploy

Jump to: navigation, search

Contents

Introduction

This site is dedicated to a Group Discussion entitled Formal Methods for Service Oriented Architecture and Internet of the Future. It gathers expertise on Internet Technology and Formal Methods from FP7 Call1 projects of Objective 1.2 "Services and Software Architectures, Infrastructure and Engineering". It contributes to the cooperation activities between the projects, aiming at increasing the impact of the ICT initiative.

green-graph.gif

This Group Discussion is part of the Service Engineering Collaboration Working Group.

Objectives

This Group Discussion aims at determining how formal methods would contribute to the specification, design, development and deployment of service oriented architectures, based on potential or real error risks analysis.

This analysis would rely on:

  • experience gained through non-formal developments, as well as
  • the reasons why some SSAI FP7 Call1 projects are making explicit use of formal methods or plan to develop a formal framework (project SLA@SOI for example).

“Negative” testimony/feelings (justified or not) explaining why formalities are not welcome in SOA are also expected to contribute to the analysis.

In a second time, it would be interesting to:

  • expose the results of this analysis (that we hope to be positive),
  • to present case-studies including formalities and
  • to explain what is the added-value of this approach.

These case-studies could:

  • be issued from ongoing case-studies/pilots, or
  • be new ones coming from the case-studies repository Working Group.

These results could be disseminated through collective workshops and “white papers”.

Discussions

We are in the process of collecting feedback and ideas from FP7 Call1 projects, in order to structure later on this section. Everyone is invited to register to this wiki (no restriction) and to contribute to the forthcoming discussions.

Participants and contributors

All projects participating to FP7 Call 1 of Objective "Services and Soft ware Architectures, Infrastructures and Engineering" are invited to contribute to the Group Discussion. The Group Discussion is still organizing, gathering expression of interest from the projects.

The following projects have duly expressed their interest in this discussion group:

Events

  • iFM FMS0A Workshop: a one-day event was organized on February 16th in Düsseldorf at the iFM conference on the theme of the FM4SOA working group. 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 Reo over to rewriting logic (see programme below). The event was very successful, with sessions being attended by 20 to 35 people.
  • Service Engineering CWG meeting: August 29th 2008 - Vienna (Austria)
Preliminary meeting to set up concrete plans and define steps to follow , as well as preparing the forthcoming Concertation Meeting in Brussels.
  • Bled Conference: The Future of Internet - March 30th-31st 2008 - Bled (Slovenia)
The objectives of this conference is to offer a first opportunity to understand what is being researched in EU and worldwide in the area of Future Internet, to identify common problems and propose solutions to overcome barriers and to present the key elements of a roadmap of action.
The afternoon of the day consists of a workshop for these projects only which has as objective to clarify and plan the collaboration activities among the 28 projects.

Links and resources




Interesting Papers

Retrieved from "http://deploy-project.eu/mediawiki/index.php5?title=Formal_Methods_for_SOA_and_Internet_of_the_Future"