7. FMOODS 2005: Athens, Greece

Martin Steffen, Gianluigi Zavattaro (Eds.): Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science 3535 Springer 2005, ISBN 3-540-26181-8

Invited Talk

Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Pattern Matching over a Dynamic Network of Tuple Spaces. 1-14

Models and Calculi

Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl:
A Dynamic Class Construct for Asynchronous Concurrent Objects. 15-30
Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani:
An Abstract Machine for the Kell Calculus. 31-46
Lucia Acciai, Michele Boreale:
XPi: A Typed Process Calculus for XML Messaging. 47-66

UML

Holger Rasch, Heike Wehrheim:
Checking the Validity of Scenarios in UML Models. 67-82
Marcel Kyas:
An Extended Type System for OCL Supporting Templates and Transformations. 83-98
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
A Semantics for UML-RT Active Classes via Mapping into Circus. 99-114

Security

Fabio Martinelli:
Towards an Integrated Formal Analysis for Security and Trust. 115-130
Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso:
A Formal Security Analysis of an OSA/Parlay Authentication Interface. 131-146

Composition and Verification

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:
Tracing Integration Analysis in Component-Based Formal Specifications. 147-162
Renaud Pawlak, Laurence Duchien, Lionel Seinturier:
CompAr: Ensuring Safe Around Advice Composition. 163-178
Hoang Truong:
Guaranteeing Resource Bounds for Component Software. 179-194

Analysis of Java Programs

Andreas Roth:
Specification and Verification of Encapsulation in Java Programs. 195-210
Koushik Sen, Grigore Rosu, Gul Agha:
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. 211-226

Web Services

Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley:
Transforming Information in RDF to Rewriting Logic. 227-242
Wolfgang Reisig:
Modeling- and Analysis Techniques for Web Services and Business Processes. 243-258
Nadia Busi, Luca Padovani:
A Distributed Implementation of Mobile Nets as Mobile Agents. 259-274

Specification and Verification

Pawel T. Wojciechowski, Olivier Rütti:
On Correctness of Dynamic Protocol Update. 275-289
Rolf Hennicker, Matthias Ludwig:
Property-Driven Development of a Coordination Model for Distributed Simulations. 290-305
Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska:
A Timing Analysis of AODV. 306-321