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



Contents

Invited Talk

Pattern Matching over a Dynamic Network of Tuple Spaces.

Rocco De Nicola, Daniele Gorla, Rosario Pugliese

 1-14

Models and Calculi

A Dynamic Class Construct for Asynchronous Concurrent Objects.

Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl

 15-30

An Abstract Machine for the Kell Calculus.

Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani

 31-46

XPi: A Typed Process Calculus for XML Messaging.

Lucia Acciai, Michele Boreale

 47-66

UML

Checking the Validity of Scenarios in UML Models.

Holger Rasch, Heike Wehrheim

 67-82

An Extended Type System for OCL Supporting Templates and Transformations.

Marcel Kyas

 83-98

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

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota

 99-114

Security

Towards an Integrated Formal Analysis for Security and Trust.

Fabio Martinelli

 115-130

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

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

 131-146

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

 147-162

CompAr: Ensuring Safe Around Advice Composition.

Renaud Pawlak, Laurence Duchien, Lionel Seinturier

 163-178

Guaranteeing Resource Bounds for Component Software.

Hoang Truong

 179-194

Analysis of Java Programs

Specification and Verification of Encapsulation in Java Programs.

Andreas Roth

 195-210

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

Koushik Sen, Grigore Rosu, Gul Agha

 211-226

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

 227-242

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

Wolfgang Reisig

 243-258

A Distributed Implementation of Mobile Nets as Mobile Agents.

Nadia Busi, Luca Padovani

 259-274

Specification and Verification

On Correctness of Dynamic Protocol Update.

Pawel T. Wojciechowski, Olivier Rütti

 275-289

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

Rolf Hennicker, Matthias Ludwig

 290-305

A Timing Analysis of AODV.

Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska

 306-321