logo.gif (9303 bytes)

Fifth International Conference on
Formal Methods for Open Object-Based Distributed Systems
20-22 March 2002, University of Twente, the Netherlands

Arend Rensink (University of Twente)
Bart Jacobs (University of Nijmegen)

Subject area 

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. Indeed, several important international organisations, such as ITU, ISO, OMG, TINA-C, etc. are defining similar distributed object-based frameworks as a foundation for open distributed computing.

The advent of Open Object-based Distributed Systems - OODS - brings new challenges and opportunities for the use and development of formal methods. New architectures and system models are emerging (e.g., the enterprise, information, computational and engineering viewpoints of the ITU-T/ISO/IEC ODP Reference Model) which require formal notational support. Usual design issues such as specification, verification, refinement, and testing need to take into account new dimensions introduced by distribution and openness, such as quality of service and dependability constraints, dynamic binding and reconfiguration, consistency between multiple models and viewpoints, etc. OODS is a challenging research context and a source of motivation for semantical models of object-based systems and notations, for the evolution of standardised formal description techniques, for the application and assessment of logic based approaches, for better understanding and information modeling of business requirements, and for the further development and use of Object Oriented methodologies and tools.


The objective of FMOODS is to provide an integrated forum for the presentation of research in several related fields, and the exchange of ideas and experiences in the topics concerned with the formal methods support for Open Object-based Distributed Systems. Topics of interest include but are not limited to:


The proceedings of FMOODS 2002 will be published by Kluwer, who are the official IFIP publishers. The proceedings will be made available at the conference.

History of the conference 

This conference is part of  a series initiated in 1996 by Elie Najm and Jean-Bernard Stefani. Previous editions took place in:

The home page of the conference series can be found at http://www.cs.ukc.ac.uk/research/groups/netdist/fmoods/.

Invited Speakers

We are very glad to have found the following persons willing to give a presentation:

Conference Organizers

Programme committee

The programme committee of FMOODS 2002 consists of the following persons:

Steering committee

The FMOODS conference series is directed by the following persons:

Important Dates

Sponsors and affiliations

FMOODS is an IFIP and IFIP TC6 WG6.1 event logoglobe.gif (13124 bytes)

Academic sponsors:

    NWO (Dutch Organisation for Schientific Research)
    IPA (Institute for Software and Arithmetic)
inf-logo.gif (2363 bytes)
    CTIT (Centre for Telematics and Information Technology)
ctit-logo.gif (10940 bytes)
    KNAW (Koninklijke Nederlandse Akademie van Wetenschappen)