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 BibTeX

@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). BibTeX
Mauro Gaspari, Gianluigi Zavattaro: An Algebra of Actors. BibTeX
Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere: Developing Object-based Distributed Systems. BibTeX

Semantics I

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

Java and Coordination

Sriram Sankar: Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk). BibTeX
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. BibTeX
Stelvio Cimato: Specifying component-based Java applications (Short Paper). BibTeX

Object Composition and Reuse

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

Telecommunications

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

Formal Methods

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

Emerging Standards

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

Semantics II

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

Semantics III

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