Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Formal Methods for Open Object-Based Distributed Systems

8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Roberto Gorrieri

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Heike Wehrheim

    1. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,, Paderborn, Germany

    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 4037)

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

Included in the following conference series:

Conference proceedings info: FMOODS 2006.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Keywords

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Speakers

    1. Security Issues in Service Composition

      • Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
      Pages 1-16

    2. Separating Distribution from Coordination and Computation as Architectural Dimensions

      • José Luiz Fiadeiro
      Pages 17-17

    3. The Bisimulation Proof Method: Enhancements and Open Problems

      • Davide Sangiorgi
      Pages 18-19

  3. Regular Papers

    1. An Approach to Quality Achievement at the Architectural Level: AQUA

      • Heeseok Choi, Keunhyuk Yeom, Youhee Choi, Mikyeong Moon
      Pages 20-32

    2. Bounded Analysis and Decomposition for Behavioural Descriptions of Components

      • Pascal Poizat, Jean-Claude Royer, Gwen Salaün
      Pages 33-47

    3. Modeling and Validation of a Software Architecture for the Ariane-5 Launcher

      • Iulian Ober, Susanne Graf, David Lesens
      Pages 48-62

    4. Synchronizing Behavioural Mismatch in Software Composition

      • Carlos Canal, Pascal Poizat, Gwen Salaün
      Pages 63-77

    5. Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

      • Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
      Pages 78-92

    6. Temporal Superimposition of Aspects for Dynamic Software Architecture

      • Carlos E. Cuesta, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano
      Pages 93-107

    7. Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata

      • Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
      Pages 108-122

    8. Transformation Laws for UML-RT

      • Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
      Pages 123-137

    9. Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams

      • Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen
      Pages 138-155

    10. Generating Instance Models from Meta Models

      • Karsten Ehrig, Jochen M. Küster, Gabriele Taentzer, Jessica Winkelmann
      Pages 156-170

    11. KM3: A DSL for Metamodel Specification

      • Frédéric Jouault, Jean Bézivin
      Pages 171-185

    12. Defining Object-Oriented Execution Semantics Using Graph Transformations

      • Harmen Kastenberg, Anneke Kleppe, Arend Rensink
      Pages 186-201

    13. Type-Safe Runtime Class Upgrades in Creol

      • Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
      Pages 202-217

    14. Abstract Interface Behavior of Object-Oriented Languages with Monitors

      • Erika Ábrahám, Andreas Grüner, Martin Steffen
      Pages 218-232

    15. Mobility Mechanisms in Service Oriented Computing

      • Claudio Guidi, Roberto Lucchi
      Pages 233-250

    16. Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service

      • Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
      Pages 251-266
Back to top

Other volumes

  1. Formal Methods for Open Object-Based Distributed Systems

Editors and Affiliations

  • Dipartimento di Scienze dell’Informazione, Università di Bologna, Bologna, Italy

    Roberto Gorrieri

  • Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,, Paderborn, Germany

    Heike Wehrheim

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation