3. FMOODS 1999: Florence, Italy

Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri (Eds.): Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy. IFIP Conference Proceedings 139 Kluwer 1999, ISBN 0-7923-8429-6

Languages

Oscar Nierstrasz: Piccola - A Small Compositional Language (Invited Talk).
Mauro Gaspari, Gianluigi Zavattaro: An Algebra of Actors.
Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere: Developing Object-based Distributed Systems.

Semantics I

Frank S. de Boer: Reasoning about Histories in Object-based Distributed Systems.
Nadia Busi: Mobile Nets.
C. Balzarotti, Fiorella de Cindio, Lucia Pomello: Observation equivalences for the semantics of inheritance.

Java and Coordination

Sriram Sankar: Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk).
Khalil Drira, Frédéric Gouëzec, Michel Diaz: Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA.
Stelvio Cimato: Specifying component-based Java applications (Short Paper).

Object Composition and Reuse

D. Ramazani, Gregor von Bochmann: Object Composition: A Case Study.
José M. Troya, Antonio Vallecillo: Specifying Reusable Controllers for Software Components (Short Paper).
S. Veglioni, Francesco Parisi-Presicce: Composition and Interaction for Behavioural Specifications.
Tommaso Bolognesi, Andrea Bracciali: Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper).

Telecommunications

Pamela Zave: Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial).
Birgit Geppert, Frank Rößler, Reinhard Gotzhein: Pattern Application vs. Inheritance in SDL.
Richard O. Sinnott, Mario Kolberg: Engineering Telecommunication Services With SDL.
Robert G. Clark, Ana M. D. Moreira: SDL in Rigorus Object-Oriented Analysis (Short Paper).

Formal Methods

Howard Bowman, John Derrick: A Junction between State Based and Behavioural Specification (Invited Talk). 213-239
Rick van Rein, Maarten M. Fokkinga: Protocol Assuring Universal Language. 241-258
Ketil Stølen: Specification of Dynamic Reconfiguration in the Context of Input/Output Relations.
Claudia Linnhoff-Popien, Dirk Thißen: Assessing Service Properties with Regard to a Requested QoS: The Service Metric (Short Paper).
Marc Born, Andreas Hoffmann, Mang Li, Ina Schieferdecker: Combining Design Methods for Service Development (Short Paper).

Emerging Standards

Werner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts.
Scott F. Smith, Carolyn L. Talcott: Modular Reasoning for Actor Specification Diagrams.
Diego Latella, István Majzik, Mieke Massink: Towards a Formal Operational Semantics of UML Statechart Diagrams.

Semantics II

Luca Cardelli: Foundations for Wide-Area Systems (Tutorial).
Cosimo Laneve: Calculi for Concurrent Objects (Tutorial).
Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani: Infinite types for distributed object interfaces.
J. L. Colaco, Marc Pantel, Fabien Dagnat, Patrick Sallé: Static safety analysis for non-uniform service availability in Actors.
Jan Broersen, Roel Wieringa: A Logic for the Specification of Multi-Object Systems (Short Paper).

Semantics III

Naoki Kobayashi, Akinori Yonezawa: Distributed and concurrent objects based on linear logic (Invited Talk).
Lynne Blair, Gordon S. Blair: Composition in Multiparadigm Specification Techniques. 401-417
Ercument Canver, Friedrich W. von Henke: Formal Development of Object-Based Systems in a Temporal Logic Setting. 419-436

Last update Wed May 22 04:36:37 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page