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
Conference proceedings FMOODS 2005

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

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
      Pages 1-14
  3. Models and Calculi

    1. Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl
      Pages 15-30
    2. Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani
      Pages 31-46
    3. Lucia Acciai, Michele Boreale
      Pages 47-66
  4. UML

  5. Security

    1. Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso
      Pages 131-146
  6. Composition and Verification

    1. 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. Renaud Pawlak, Laurence Duchien, Lionel Seinturier
      Pages 163-178
  7. Analysis of Java Programs

  8. Web Services

    1. Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley
      Pages 227-242
    2. Nadia Busi, Luca Padovani
      Pages 259-274
  9. Specification and Verification

    1. Paweł T. Wojciechowski, Olivier Rütti
      Pages 275-289
    2. Sibusisiwe Chiyangwa, Marta Kwiatkowska
      Pages 306-321
  10. Back Matter

About these proceedings


UML Unified Modeling Language (UML) distributed systems formal method formal security analysis formal specification java logic modeling modelling languages object oriented design object-based technology security semantics of programming transformations of models

Editors and affiliations

  • Martin Steffen
    • 1
  • Gianluigi Zavattaro
    • 2
  1. 1.Dept. of InformaticsUniversity of OsloNorway
  2. 2.Dip. Scienze dell’InformazioneUniversità di BolognaItaly

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-26181-0
  • Online ISBN 978-3-540-31556-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences