Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy
Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri · Medical Entomology and Zoology · 1999
Preface. Part 1: Languages. Piccola - A Small Compositional Language O. Nierstrasz. An Algebra of Actors M. Gaspari, G. Zavattaro. Developing Object-Based Distributed Systems M. Bonsangue, et al. Part 2: Semantics I. Reasoning About Histories in Object-Based Distributed Systems F.S. de Boer. Mobile Nets N. Busi. Observation Equivalences for the Semantics of Inheritance C. Balzarotti, et al. Part 3: Java and Coordination. Tools for Integrating Formal Methods into the Java Software Development Process S. Sankar. Design and Implementation of Coordination Protocols for Distributed Cooperating Objects: A General Graph-Based Technique Applied to CORBA K. Drira, et al. Specifying Component-Based Java Applications S. Cimato. Part 4: Object Composition and Reuse. Object Composition: A Case Study D. Ramazani, G. v. Bochmann. Specifying Reusable Controllers for Software Components J.M. Troya, A. Vallecillo. Composition and Interaction for Behavioural Specifications S. Veglioni, F. Parisi-Presicce. Part 5: Telecommunications. Distributed Feature Composition: An Architecture for Telecommunication Services P. Zave. Pattern Application vs. Inheritance in SDL B. Gepert, et al. Engineering Telecommunication Services with SDL R. Sinnott, M. Kolberg. SDL in Rigorous Object-Oriented Analysis R.G. Clark, A.M.D. Moreira. Part 6: Formal Methods. A Junction Between State Based and Behavioural Specification H. Bowman, J. Derrick. Protocol Assuring Universal Language R. van Rein, M. Fokkinga. Specification of Dynamic Reconfiguration in the Context of Input/Output Relations K. Stoelen.Assessing Service Properties with Regard to a Requested QoS: The Service Metric C. Linnhoff-Popien, D. Thissen. Combining Design Methods for Service Development M. Born, et al. Part 7: Emerging Standards. LSCs: Breathing Life Into Message Sequence Charts W. Damm, D. Harel. Modular Reasoning for Actor Specification Diagrams S.F. Smith, C.L. Talcott. Towards a Formal Operational Semantics of UML Statechart Diagrams D. Latella, et al. Part 8: Semantics II. Foundations for Wide-Area Systems L. Cardelli. Calculi for Concurrent Objects C. Laneev. Infinite Types for Distributed Object Interfaces E. Najm, et al. Static Safety Analysis for Non-Uniform Service Availability in Actors J.L. Colaco, et al. A Logic for the Specification of Multi-Object Systems J. Broersen, R. Wieringa. Part 9: Semantics III. Distributed and Concurrent Objects Based on Linear Logic N. Kobayashi, A. Yonezawa. Composition in Multiparadigm Specification Techniques L. Blair, G. Blair. Formal Development of Object-Based Systems in a Temporal Logic Setting E. Canver, F.W. von Henke.