IFIP TC6 Open Digital Library

7. FMOODS 2005: Athens, Greece

Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Martin Steffen, Gianluigi Zavattaro

Springer, Lecture Notes in Computer Science 3535, ISBN: 3-540-26181-8


Invited Talk

Pattern Matching over a Dynamic Network of Tuple Spaces.

Rocco De Nicola, Daniele Gorla, Rosario Pugliese


Models and Calculi

A Dynamic Class Construct for Asynchronous Concurrent Objects.

Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl


An Abstract Machine for the Kell Calculus.

Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani


XPi: A Typed Process Calculus for XML Messaging.

Lucia Acciai, Michele Boreale



Checking the Validity of Scenarios in UML Models.

Holger Rasch, Heike Wehrheim


An Extended Type System for OCL Supporting Templates and Transformations.

Marcel Kyas


A Semantics for UML-RT Active Classes via Mapping into Circus.

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota



Towards an Integrated Formal Analysis for Security and Trust.

Fabio Martinelli


A Formal Security Analysis of an OSA/Parlay Authentication Interface.

Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso


Composition and Verification

Tracing Integration Analysis in Component-Based Formal Specifications.

Martín López Nores, José J. Pazos Arias, Jorge García Duque, Ana Belén Barragáns-Martínez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer


CompAr: Ensuring Safe Around Advice Composition.

Renaud Pawlak, Laurence Duchien, Lionel Seinturier


Guaranteeing Resource Bounds for Component Software.

Hoang Truong


Analysis of Java Programs

Specification and Verification of Encapsulation in Java Programs.

Andreas Roth


Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.

Koushik Sen, Grigore Rosu, Gul Agha


Web Services

Transforming Information in RDF to Rewriting Logic.

Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley


Modeling- and Analysis Techniques for Web Services and Business Processes.

Wolfgang Reisig


A Distributed Implementation of Mobile Nets as Mobile Agents.

Nadia Busi, Luca Padovani


Specification and Verification

On Correctness of Dynamic Protocol Update.

Pawel T. Wojciechowski, Olivier Rütti


Property-Driven Development of a Coordination Model for Distributed Simulations.

Rolf Hennicker, Matthias Ludwig


A Timing Analysis of AODV.

Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska