Object Orientation with Parallelism and Persistence

Object Orientation with Parallelism and Persistence by Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek.

Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object orientation raises hopes for increased productivity of software generation and maintenance methods. Parallelism can serve to structure a problem but also promise...

Full description

Saved in:
Bibliographic Details
Main Authors: Freitag, Burkhard (Author), Jones, Cliff B. (Author), Lengauer, Christian (Author), Schek, Hans-Jörg (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 1996.
Edition:1st ed. 1996.
Series:The Springer International Series in Engineering and Computer Science, 370
Springer eBook Collection.
Subjects:
Programming languages (Electronic computers).
Data structures (Computer science).
Software engineering.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 1 Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics
  • 1 Introduction
  • 2 An Object-Based Language
  • 3 Soundness of the Equivalences
  • 4 Discussion
  • References
  • 2 Correct Transformational Design of Concurrent Search Structures
  • 1 Introduction
  • 2 A Concurrent Symbol Table
  • 3 Mobile Processes
  • 4 Translational Semantics of ????
  • 5 I/O-Correctness
  • 6 Conclusion
  • References
  • 3 Modal-?-Maude: Specification and Properties of Concurrent Objects
  • 1 Introduction
  • 2 Maude
  • 3 The Modal ?-Calculus
  • 4 Connections and Simulations
  • 5 Inheritance of Properties
  • 6 Abstraction and Verification
  • 7 Relation to Other Work
  • 8 Concluding Remarks
  • References
  • 4 An Object Model for Distributed and Concurrent Programming Based on Decomposition
  • 1 Introduction
  • 2 The Role of the Decomposition Hierarchy
  • 3 State and Behaviour of Objects
  • 4 Messages and Recursion
  • 5 Inheritance
  • 6 Summary and Future Work
  • References
  • 5 Objects and Classes, Co-Algebraically
  • 1 Introduction
  • 2 Algebras Versus Co-algebras
  • 3 Examples of Co-algebraic Specification
  • 4 Objects, Class Implementations and Class Specifications
  • 5 Indistinguishability (Bisimulation) for Objects
  • 6 Terminal Co-algebras Satisfying Assertions
  • 7 Equations Between States?
  • References
  • 6 Semantic Refinement of Concurrent Object Systems Based on Serializability
  • 1 Introduction
  • 2 Related Work
  • 3 An Event-Based Model for Object Systems
  • 4 Action Refinement and Transaction Interleaving
  • 5 Sequentialization of Event Structures and Refinement Criterion
  • 6 Concluding Remarks and Future Work
  • References
  • 7 Unified Theory for Classical and Advanced Transaction Models
  • 1 Introduction
  • 2 Traditional Concurrency Control and Recovery
  • 3 Our Unified Model
  • 4 Unified Theory of the Read/Write Model
  • 5 Unified Theory of Models with Semantically Rich Operations
  • 6 Conclusion
  • References
  • 8 Coordination as Negotiated Transactions
  • 1 Motivation
  • 2 Rule-Based Coordination
  • 3 Negotiation-Based Coordination
  • 4 Related Work
  • 5 Conclusion
  • References
  • 9 Role-Based Persistence
  • 1 Introduction
  • 2 Motivation
  • 3 The Relationship Mechanism
  • 4 Operations on Relationships
  • 5 Derived Relationships
  • 6 Role-Based Persistence
  • 7 Comparison
  • 8 Conclusion
  • References
  • 10 Design and Implementation of Process-Oriented Environments with Brokers and Services
  • 1 Introduction
  • 2 Requirements for a CPE Construction Formalism
  • 3 The Broker/Services Model
  • 4 Modeling CPEs with Brokers
  • 5 Broker Implementation
  • 6 Related Work and Concepts
  • 7 Conclusion
  • References
  • 11 There’s Nothing Like Shared Nothing
  • 1 Introduction
  • 2 A Taxonomy of Parallel Database Architectures
  • 3 A Brief History of Shared-Nothing
  • 4 The Market Size for OOP&P
  • 5 Parallel Computing and Relational Databases
  • 6 Conclusions
  • References.

Similar Items