Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Object Management Group, Inc.: Model Driven Architecture (November 2004), http://www.omg.org/mda/
Miller, J., Mukerji, J.: Model Driven Architecture (MDA). Object Management Group, Document ormsc/2001-07-01 (July 2001)
Object Management Group, Inc.: Unified Modeling Language Superstructure Specification, v2.0 (August 2003)
Sendall, S., Kozaczynski, W.: Model Transformation – the Heart and Soul of Model-Driven Software Development. IEEE Software, Special Issue on Model-Driven Development 20(5), 42–45 (2003); An extended version is available as Technical Report, EPFL-ICLGL N° IC/2003/52 (July 2003)
Silaghi, R., Strohmeier, A.: Integrating CBSE, SoC, MDA, and AOP in a Software Development Method. In: Proceedings of the 7th IEEE International Enterprise Distributed Object Computing Conference, EDOC, Brisbane, Queensland, Australia, September 16-19, pp. 136–146. IEEE Computer Society, Los Alamitos (2003); Also available as Technical Report, N° IC/ 2003/57, Swiss Federal Institute of Technology in Lausanne, Switzerland (September 2003)
Silaghi, R., Fondement, F., Strohmeier, A.: Towards an MDA-Oriented UML Profile for Distribution. In: Proceedings of the 8th IEEE International Enterprise Distributed Object Computing Conference, EDOC, Monterey, CA, USA, September 20-24, pp. 227–239. IEEE Computer Society, Los Alamitos (2004); Also available as Technical Report, N° IC/2004/49, Swiss Federal Institute of Technology in Lausanne, Switzerland (May 2004)
Object Management Group, Inc.: Common Object Request Broker Architecture: Core Specification, v3.0.3 (March 2004)
French National Institute for Research in Computer Science and Control (INRIA): Model Transformation Language (MTL) (November 2004), http://modelware.inria.fr/
Object Management Group, Inc.: Concurrency Control Service Specification, v1.0 (April 2000)
The Community OpenORB Project: OpenORB (November 2004), http://openorb.sourceforge.net/
Sun Microsystems, Inc.: JavaBeans Specification, v1.01 (August 1997)
Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, San Francisco (1993)
Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)
Bernstein, P.A., Goodman, N.: Concurrency Control in Distributed Database Systems. ACM Computing Surveys 13(2), 185–221 (1981)
Briot, J.-P., Guerraoui, R., Lohr, K.-P.: Concurrency and Distribution in Object-Oriented Programming. ACM Computing Surveys 30(3), 291–329 (1998)
Tripathi, A., Oosten, J.V., Miller, R.: Object-Oriented Concurrent Programming Languages and Systems. Journal of Object-Oriented Programming 12(7), 22–29 (1999)
Elmagarmid, A.K.: Database Transaction Models for Advanced Applications. Morgan Kaufmann Publishers, San Francisco (1992)
Weikum, G., Vossen, G.: Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Morgan Kaufmann Publishers, San Francisco (2001)
Hoare, C.A.R.: Monitors: An Operating Systems Structuring Concept. Communications of the ACM 17(10), 549–557 (1974)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Silaghi, R., Strohmeier, A. (2005). An MDA-Based Approach for Inferring Concurrency in Distributed Systems. In: Guelfi, N., Reggio, G., Romanovsky, A. (eds) Scientific Engineering of Distributed Java Applications. FIDJI 2004. Lecture Notes in Computer Science, vol 3409. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31869-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-31869-9_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25053-1
Online ISBN: 978-3-540-31869-9
eBook Packages: Computer ScienceComputer Science (R0)