FMOODS'96: Objectives

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 organizations, 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 may 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 (e.g. concurrent and distributed OO languages), for the evolution of standardized formal description techniques (e.g. SDL, LOTOS, Estelle, Z, ...), for the application and assessment of logic based approaches (e.g. temporal logic, TLA, ...), for better understanding and information modeling of business requirements, and for the further development and use of Object Oriented methodologies and tools (OMT, HOOD, Fusion,...).

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 restricted to):

• formal models for object-based distributed computing
• semantics of object-based distributed systems and programming languages
• formal techniques in object-based and object-oriented analysis design, and specification
• refinement and transformation of specifications
• multiple viewpoint modeling and consistency between different models
• formal techniques in distributed systems verification and testing
• types, service types and subtyping
• specification, verification and testing of quality of service constraints
• formal methods and object life cycle

Program committee

Gul Agha - U. of Illinois, Urbana, USA

Patrick Bellot - ENST, Paris, France

Gregor Bochman - U. of Montreal, Canada

Howard Bowman - UKC, Kent, UK

Ed Brinksma, U. Twente, Netherlands

John Derrick - UKC, Kent, UK

Michel Diaz - LAAS-CNRS, Toulouse, France

Kokichi Futatsugi - Jaist, Ishikawa, Japan

Reinhard Gotzhein - U. Kaiserslautern, Kaiserslautern, Germany

Haim Kilov - IBM Watson Research Center, New York, USA

Guy Leduc - U. of Liège, Liège, Belgium

Luigi Logrippo - U of Ottawa, Canada

Kathleen Milsted - FT/CNET, Issy-les-Moulineaux, France

Jan de Meer - GMD Fokus, Berlin, Germany

Elie Najm - ENST, Paris, France

Oscar Nierstrasz - U. of Bern, Bern, Switzerland

Claudia Popien, - RWTH Aachen, Aachen, Germany

Kerry Raymond - DSTC, Brisbane, Australia

Omar Rafiq - U. of Pau, Pau, France

Gerd Schuermann - GMD Fokus, Berlin, Germany

Jacob Slonim - IBM, Toronto, Canada

Jean-Bernard Stefani - FT/CNET, Issy-les-Moulineaux, France

Sebastiano Trigila - F. Ugo Bordoni, Roma, Italy

Juan Quemada - ETSI Telecomunicacion, Madrid, Spain

Program chairs

 Elie NAJM                  Jean-Bernard STEFANI
 najm@res.enst.fr           jean-bernard.stefani@issy.cnet.fr 
 Tel:  + 33 1 45 81 77 09   Tel:  +33 1 45 29 59 87 
 Fax:  + 33 1 45 89 16 64   Fax: +33 1 45 29 66 04 
 ENST                       CNET  France Télécom 
 Networks Department        PAA/TSA 
 46, Rue Barrault           38-40 rue du Général Leclerc 
 75013 Paris, FRANCE        92131 Issy-Les-Moulineaux, FRANCE  

Organization committee

• Joubine DUSTZADEH - ENST, Paris, France
• Arnaud FÉVRIER - ENST, Paris, France
• Frank OLSEN - ENST, Paris, France
• Krimo NIMOUR - ENST, Paris, France
• Philippe PRINDEVILLE - ENST, Paris, France