Formal Aspects of Virtual Organisations (FAVO 2011)

Sao Paulo, Brazil

(in conjunction with PRO-VE 2011)

Purpose

The purpose of the FAVO workshops is to encourage an active community of researchers and practitioners using formal methods in the research and development of Virtual Organisations. Following successful workshops at FM'08 and FM2009, FAVO 2011 will be held at PRO-VE 2011 on 18th October 2011.

Providing assurance of the behaviour of Virtual Organisation is a challenge because of their dynamic and heterogeneous character. As a result, formal techniques have much to offer in providing a semantic basis for describing VE structures, behaviour and policies, and much work is already being undertaken in this area.

The FAVO workshop at PRO-VE 2011 will provide an opportunity to present and discuss the latest work in the models, methods, tools, techniques and patterns used in the engineering of Virtual Organisations. A specific goal of this workshop is to initiate a Brazil/UK community of people with a shared interest in Formal Methods for Virtual Organisations.

Topics

Topics include, but are not limited to:

Interdisciplinary approaches to the modelling of VOs
Modelling and analysis of
- VO infrastructure and topologies
- VO goals and policies
- VO workflow
- information flow within VOs
- trust and security in VOs
Calculi for reasoning about behaviour in dynamic VOs
Methods and tools for VO design and VO component design
Applications of formal methods in VO development
Semantic technologies for VOs
Formal methods for domain-specific VOs
Formalizing languages that enable VOs

Publication

The proceedings will be published as a special issue in the Electronic Proceedings in Theoretical Computer Science.

Submission Instructions

Submission will be via easychair. Submissions are required to be follow the EPTCS style and may be up to 15 pages in length. All papers will be reviewed by three members of the programme committee.

Important Dates

Submission 24th August
Notification of acceptance 23th September
Final version for publication in pre-proceedings 7th October
Date of workshop 18 October 2011
Final version for publication in EPTCS 19th November

FAVO programme

08.30 Introduction

08.40 Stephan Reiff-Marganiec A structured approach to VO reconfigurations through Policies

09.20 Sebastian Bab and Nadim Sarrouh Formal Modeling of Privacy-Sensitive Dynamic Coalitions

10.00 Coffee

10.30 Frank Hilbert and Larissa Araujo Multi-model-based Access Control in Construction Projects

11.10 Danilo Tadashi Doi and Leandro Loss Combining Business Process Management and Knowledge Management for Collaboration Effectiveness

11.50 End

Chairs

Jeremy Bryans, Newcastle University, UK
John Fitzgerald, Newcastle University, UK

Programme Committee

Hamideh Afsarmanesh, University of Amsterdam, The Netherlands
Alvaro Arenas, IE Business School, Madrid, Spain
Luis Camarinha-Matos, Universidada Nova de Lisboa, Portugal
Wojciech Cellary, Poznan University of Economics, Poland
Giovanna di Marzo Serugendo, University of Geneva, Switzerland
Tomasz Janowski, United Nations University, Macao
Philippe Massonet,CETIC, Belgium
Tom McCutcheon, Dstl, UK

Proceedings of previous workshops

FAVO 2008 proceedings

FAVO 2009 proceedings

contacts Jeremy Bryans and John Fitzgerald