Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Database transaction models for advanced applications
Database transaction models for advanced applications
Concurrency and distribution in object-oriented programming
ACM Computing Surveys (CSUR)
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Monitors: an operating system structuring concept
Communications of the ACM
Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Integrating CBSE, SoC, MDA, and AOP in a Software Development Method
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
Towards an MDA-Oriented UML Profile for Distribution
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Model-driven engineering of middleware-mediated distributed systems
UML Modeling Languages and Applications
Hi-index | 0.00 |
When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distributed objects being implicitly “shared” between all participating clients, and explicit concurrency control must be enforced if consistency is to be preserved. From an MDA perspective to software development, we show in this paper how concurrency resulting from distribution can be inferred in an automatic way, provided that a small set of design conventions are strictly adhered to. A simple PIM-level concurrency profile is considered in order to illustrate how the inference algorithm evolves on a concrete example and how an initial distributed design is automatically refined according to the proposed concurrency profile.