Object Orientation with Parallelism and Persistence: The Springer International Series in Engineering and Computer Science, cartea 370
Autor Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Scheken Limba Engleză Hardback – 30 sep 1996
The two areas of computing science in which these paradigms play the most prominent role are programming languages and databases. In programming languages, one can take an academic approach with a primary focus on the generality of the semantics of the language constructs which support the respective paradigm. In databases, one is willing to restrict the power of the constructs in the interest of increased efficiency.
Inter- and intra-object parallelism have received an increasing amount of attention in the last few years by researchers in the area of object- oriented programming. At first glance, an object is very similar to a process which offers services to other processes and demands services from them. It has, however, transpired that object-oriented concepts cause problems when combined with parallelism. In programming languages, the introduction of parallelism and the synchronization constraints it brings with it can get in the way of code reusability. In databases, the combination of object orientation and parallelism requires, for example, a generalization of the transaction model, new approaches to the specification of information systems, an implementation model of object communication, and the design of an overall system architecture.
There has been insufficient communication between researchers in programming languages and in databases on these issues. Object Orientation with Parallelism and Persistence grew out of a Dagstuhl Seminar of the same title in April 1995 whose goal it was to put the new research area `object orientation with parallelism' on an interdisciplinary basis.
Object Orientation with Parallelism and Persistence will be of interest to researchers and professionals working in software engineering, programming languages, and database systems.
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 959.34 lei 43-57 zile | |
Springer Us – 27 sep 2011 | 959.34 lei 43-57 zile | |
Hardback (1) | 971.03 lei 43-57 zile | |
Springer Us – 30 sep 1996 | 971.03 lei 43-57 zile |
Din seria The Springer International Series in Engineering and Computer Science
- Preț: 119.98 lei
- 24% Preț: 1041.97 lei
- 20% Preț: 422.81 lei
- Preț: 206.36 lei
- 20% Preț: 313.26 lei
- 20% Preț: 630.47 lei
- 23% Preț: 708.06 lei
- 18% Preț: 1200.75 lei
- 18% Preț: 945.46 lei
- 20% Preț: 633.05 lei
- 18% Preț: 929.55 lei
- 20% Preț: 633.55 lei
- 15% Preț: 624.57 lei
- 20% Preț: 630.80 lei
- 18% Preț: 930.00 lei
- 20% Preț: 631.45 lei
- 20% Preț: 974.74 lei
- 20% Preț: 632.91 lei
- 18% Preț: 927.68 lei
- 20% Preț: 975.39 lei
- 18% Preț: 937.60 lei
- 20% Preț: 631.93 lei
- 15% Preț: 636.39 lei
- 18% Preț: 930.96 lei
- 18% Preț: 1196.59 lei
- 18% Preț: 938.22 lei
- 15% Preț: 630.97 lei
- 18% Preț: 929.24 lei
- 18% Preț: 928.16 lei
- 20% Preț: 1258.58 lei
Preț: 971.03 lei
Preț vechi: 1213.79 lei
-20% Nou
Puncte Express: 1457
Preț estimativ în valută:
185.84€ • 193.03$ • 154.36£
185.84€ • 193.03$ • 154.36£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780792397700
ISBN-10: 0792397703
Pagini: 233
Ilustrații: XIV, 233 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.53 kg
Ediția:1996
Editura: Springer Us
Colecția Springer
Seria The Springer International Series in Engineering and Computer Science
Locul publicării:New York, NY, United States
ISBN-10: 0792397703
Pagini: 233
Ilustrații: XIV, 233 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.53 kg
Ediția:1996
Editura: Springer Us
Colecția Springer
Seria The Springer International Series in Engineering and Computer Science
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
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 UnifiedModel.- 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.