Formal methods for distributed processing : a survey of object-oriented approaches / edited by Howard Bowman, John Derrick.

Format:

Book

Contributor:

Bowman, Howard, 1966-

Derrick, John, 1963-

Language:

English

Subjects (All):

Electronic data processing--Distributed processing.

Electronic data processing.

Object-oriented programming (Computer science).

Physical Description:

x, 480 pages : illustrations ; 26 cm

Place of Publication:

Cambridge, UK ; New York : Cambridge University Press, 2001.

Summary:

A major theme of this important resource is how to formally handle the new requirements arising from OO distributed systems. The major specification notations and modeling techniques are introduced and compared by leading researchers, in several cases, the inventors of the notations. The book also describes approaches to the specification of nonfunctional requirements, needed typically in the specification of multimedia systems and security issues. Professionals in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships among the key areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

Contents:

Part 1 Object-Oriented Distributed Systems

1 Issues in Distributed Systems / P. F. Linington 3

2 Distributed Systems, An ODP Perspective / P. F. Linington 18

3 Issues in Formal Methods / H. Bowman, J. Derrick 36

Part 2 Specification Notations

4 Finite State Machine Based: SDL / R. O. Sinnott, D. Hogrefe 55

5 Process Calculi: E-LOTOS / T. Robles, G. Huecas, J. Quemada, A. Verdejo, L. F. Llana-Diaz 77

6 State-Based Approaches: From Z to Object-Z / G. Smith 105

7 The Unified Modeling Language / S. Kent 126

Part 3 Dynamic Reconfiguration

8 Actors: A Model for Reasoning About Open Distributed Systems / G. A. Agha, P. Thati, R. Ziaei 155

9 [pi]-Calculi / P. Sewell 177

10 Mobile Ambients / L. Cardelli, A. D. Gordon 198

Part 4 Subtyping

11 Subtyping in Distributed Systems / J. Indulska 233

12 Behavioural Subtyping Using Invariants and Constraints / B. H. Liskov, J. M. Wing 254

13 Behavioural Typing for Objects and Process Calculi / E. Najm, A. Nimour, J-B. Stefani 281

Part 5 Concurrent OO Languages

14 Reflection in Concurrent Object-Oriented Languages / H. Masuhara, A. Yonezawa 305

15 Inheritance in Concurrent Objects / C. Laneve 326

Part 6 Nonfunctional Requirements

16 Multimedia in the E-LOTOS Process Algebra / G. Leduc 357

17 Specifying and Analysing Multimedia Systems / L. Blair, G. Blair 373

Part 7 Development Architectures

18 Piccola

A Small Composition Language / F. Achermann, M. Lumpe, J.-G. Schneider, O. Nierstrasz 403

19 Specification Architectures / K. J. Turner, R. O. Sinnott 427

20 Viewpoints Modelling / H. Bowman, J. Derrick 451.

Notes:

Includes bibliographical references and index.

ISBN:

0521771846

OCLC:

46364767