Object Orientation with Parallelism and Persistence /

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

Show other versions (1)

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
Online Access: Full Text (via Springer)
Main Author: Freitag, Burkhard
Other Authors: Jones, Cliff B., Lengauer, Christian, Schek, Hans-Jörg
Format: eBook
Language:English
Published: Boston, MA : Springer US, 1996.
Series:Kluwer international series in engineering and computer science ; 370.
Subjects:
Computer science.
Software engineering.
Data structures (Computer science)
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