Skip to main content
SpringerLink
Log in
Book cover

Formal Methods for Open Object-Based Distributed Systems

7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Martin Steffen

    1. Dept. of Informatics, University of Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gianluigi Zavattaro

    1. Dip. Scienze dell’Informazione, Università di Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3535)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FMOODS 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talk

    1. Pattern Matching over a Dynamic Network of Tuple Spaces

      • Rocco De Nicola, Daniele Gorla, Rosario Pugliese
      Pages 1-14

  3. Models and Calculi

    1. A Dynamic Class Construct for Asynchronous Concurrent Objects

      • Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl
      Pages 15-30

    2. An Abstract Machine for the Kell Calculus

      • Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani
      Pages 31-46

    3. XPi: A Typed Process Calculus for XML Messaging

      • Lucia Acciai, Michele Boreale
      Pages 47-66

  4. UML

    1. Checking the Validity of Scenarios in UML Models

      • Holger Rasch, Heike Wehrheim
      Pages 67-82

    2. An Extended Type System for OCL Supporting Templates and Transformations

      • Marcel Kyas
      Pages 83-98

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

      • Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
      Pages 99-114

  5. Security

    1. Towards an Integrated Formal Analysis for Security and Trust

      • Fabio Martinelli
      Pages 115-130

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

      • Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso
      Pages 131-146

  6. Composition and Verification

    1. Tracing Integration Analysis in Component-Based Formal Specifications

      • Martín López-Nores, José J. Pazos-Arias, Jorge García-Duque, Belén Barragáns-Martínez, Rebeca P. Díaz-Redondo, Ana Fernández-Vilas et al.
      Pages 147-162

    2. CompAr: Ensuring Safe Around Advice Composition

      • Renaud Pawlak, Laurence Duchien, Lionel Seinturier
      Pages 163-178

    3. Guaranteeing Resource Bounds for Component Software

      • Hoang Truong
      Pages 179-194

  7. Analysis of Java Programs

    1. Specification and Verification of Encapsulation in Java Programs

      • Andreas Roth
      Pages 195-210

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

      • Koushik Sen, Grigore Roşu, Gul Agha
      Pages 211-226

  8. Web Services

    1. Transforming Information in RDF to Rewriting Logic

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

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

      • Wolfgang Reisig
      Pages 243-258

    3. A Distributed Implementation of Mobile Nets as Mobile Agents

      • Nadia Busi, Luca Padovani
      Pages 259-274

  9. Specification and Verification

    1. On Correctness of Dynamic Protocol Update

      • Paweł T. Wojciechowski, Olivier Rütti
      Pages 275-289

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

      • Rolf Hennicker, Matthias Ludwig
      Pages 290-305
Back to top

Other volumes

  1. Formal Methods for Open Object-Based Distributed Systems

Keywords

Editors and Affiliations

  • Dept. of Informatics, University of Oslo, Norway

    Martin Steffen

  • Dip. Scienze dell’Informazione, Università di Bologna, Italy

    Gianluigi Zavattaro

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation