Addressing concurrency in object-oriented software development

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Addressing concurrency in object-oriented software development

Full text

Html (1 KB), Pdf

Pdf (692 KB)

Source

IBM Centre for Advanced Studies Conference archive
Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research table of contents

Toronto, Ontario, Canada

SESSION: Databases, distribution and concurrency table of contents

Article No. 15

Year of Publication: 2006

Authors

Jörg Kienzle	McGill University, Montreal, Canada
Shane Sendall	Snowie Group, Morges, Switzerland

Sponsors

: IBM Toronto Lab
: CAS

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 9, Downloads (12 Months): 36, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1188966.1188986 What is a DOI?

ABSTRACT

E-business software systems are typically incorporated in complex concurrent and interacting business activities. Understanding the concurrent and interactive demands of the environment and tracing these requirements down to implementation is an important and necessary part of developing these types of systems. In this paper, we illustrate how concurrency concerns can be integrated in a UML-based software development method, and how these concerns can be incrementally refined from requirements to implementations. Our proposed approach not only offers a much needed holistic approach to concurrency in software development, but it also offers some novel techniques to describe concurrency concerns at each level of UML description.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Greg R Andrews, Foundations of Parallel and Distributed Programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
	2	Derek Coleman , Patrick Arnold , Stephanie Bodoff , Chris Dollin , Helena Gilchrist , Fiona Hayes , Paul Jeremaes, Object-oriented development: the fusion method, Prentice-Hall, Inc., Upper Saddle River, NJ, 1994
	3	Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	4	Desmond F. D'Souza , Alan Cameron Wills, Objects, components, and frameworks with UML: the catalysis approach, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
	5	E. Allen Emerson, Temporal and modal logic, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
	6	R. Floyd. Assigning meaning to programs. In J. Schwartz, editor, Proceedings of the American Mathematics Society Symposia, volume 19, pages 19--31. American Mathematical Society, 1967.
	7	Hassan Gomaa, Designing Concurrent, Distributed, and Real-Time Applications with Uml, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
	8	James Gosling , Bill Joy , Guy L. Steele, The Java Language Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
	9	Jim Gray , Andreas Reuter, Transaction Processing: Concepts and Techniques, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
	10	David Gries, The Science of Programming, Springer-Verlag New York, Inc., Secaucus, NJ, 1987
	11	C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, v.26 n.1, p.53-56, Jan. 1983 [doi>10.1145/357980.358001]
	12	ISO, editor. International Standard ISO/IEC 8652:1995(E): Ada Reference Manual. Number 1246 in Lecture Notes in Computer Science. Springer Verlag, 1995.
	13	C. B. Jones, Tentative steps toward a development method for interfering programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.4, p.596-619, Oct. 1983 [doi>10.1145/69575.69577]
	14	Jorg Kienzle , Jorg Kienzie, Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming, Kluwer Academic Publishers, Norwell, MA, 2003
	15	H. T. Kung , John T. Robinson, On optimistic methods for concurrency control, ACM Transactions on Database Systems (TODS), v.6 n.2, p.213-226, June 1981 [doi>10.1145/319566.319567]
	16	Craig Larman, Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, Prentice Hall PTR, Upper Saddle River, NJ, 2001
	17	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	18	James Rumbaugh , Ivar Jacobson , Grady Booch, The Unified Modeling Language reference manual, Addison-Wesley Longman Ltd., Essex, UK, 1998
	19	Shane Sendall. Specifying Reactive System Behavior. PhD thesis, Swiss Federal Institute of Technology, Lausanne, Switzerland, 2002.
	20	Shane Sendall and Alfred Strohmeier. Uml-based fusion analysis. In UML'99, Fort Collins, CO, USA, October 28--30, 1999, number 1723 in Lecture Notes in Computer Science, pages 278--291. Springer Verlag, 1999.
	21	Shane Sendall , Alfred Strohmeier, Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML, Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, p.391-405, October 01-05, 2001
	22	Lausanne Software Engineering Lab, Swiss Federal Institute of Technology. The fondue method, 2004.
	23	Jos Warmer , Anneke Kleppe, The Object Constraint Language: Getting Your Models Ready for MDA, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2003