3. FMOODS 1999: Florence, Italy

@proceedings{DBLP:conf/fmoods/1999,
  editor    = {Paolo Ciancarini and
               Alessandro Fantechi and
               Roberto Gorrieri},
  title     = {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},
  booktitle = {FMOODS},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {139},
  year      = {1999},
  isbn      = {0-7923-8429-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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