Reimer Behrends
ABSTRACT
We present the universe model, a new approach to concurrency management that isolates concurrency concerns and represents them in the modular interface of a component. This approach improves program comprehension, module composition, and reliability for concurrent systems. The model is founded on designer-specified invariant properties, which declare a component's dependencies on other concurrent components. Process scheduling is then automatically derived from these invariants. We illustrate the advantages of this approach by applying it to a real-world example.
- 1.E Arbab and G. A. Papadopoulos. Coordination Models and Languages. In The Engineering of Large Systems. Advances in Computers. Academic Press, 1998.Google Scholar
- 2.R. Behrends and R. E. K. Stirewalt. A High-Level Approach to Concurrency. Tech. Rep. MSU-CSE-00-6 (March 2000), Department of Computer Science and Engineering, Michigan State University.Google Scholar
- 3.M. Ben-Aft. Principles of Concurrent and Distributed Programming. Prentice Hall, New York, 1990. Google ScholarDigital Library
- 4.T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language Lotos. Comp. Netw. ISDN Sys. 14 (1) (1987). Google ScholarDigital Library
- 5.E Brinch Hansen. Java's Insecure Parallelism. ACM SIGPLAN Notices 34 (4), 38-45 (1999). Google ScholarDigital Library
- 6.N. Carriero and D. Gelernter. Coordination languages and their significance. Communications of the ACM 35 (2), 97-107 (1992). Google ScholarDigital Library
- 7.C. M. Fleiner and M. Philippsen. Fair Multi-Branch Locking of Several Locks. In International Conference on Parallel and Distributed Computing and Systems, pages 537-545, Washington D.C., October 1997.Google Scholar
- 8.G. Agha and S. Fr~lund. A Language Framework for Multi-Object Coordination. In O. Nierstrasz, Proceedings of the ECOOP '93 European Conference on Object-oriented Programming, pages 346-360. LNCS 707. Springer-Verlag, 1993. Google ScholarDigital Library
- 9.C.A.R. Hoare. Hints on Programming Language Design. In C. J. Bunyan (Ed.), State of the Art Report 20: Computer Systems Reliability, pages 505-534. Pergamon/infotech Publishing, 1974.Google Scholar
- 10.C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985. Google ScholarDigital Library
- 11.R. Jones and R. Lins. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. Wiley, 1996. Google ScholarDigital Library
- 12.S. Letovsky and E. Soloway. Delocalized Plans and Program Comprehension. IEEE Softw. 3 (3) (1986).Google Scholar
- 13.S. Matsuoka and A. Yonezawa. Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages. In G. Agha and E Wegner and A. Yonezawa, Research Directions in Concurrent Object-Oriented Programming, pages 107-150. MIT Press, Cambridge, MA, 1993. Google Scholar
- 14.B. Meyer. Object-Oriented Software Construction. Prentice- Hall, 1997. Google ScholarDigital Library
- 15.S. M. Omohundro. The Sather Language. Tech. Rep. (1991), International Computer Science Institute, 1947 Center Street, Suite 600, Berkely, California 94704.Google Scholar
- 16.C. Rich and R. C. Waters. The Programmer's Apprentice. Addison Wesley, 1990. Google Scholar
- 17.S. Rugaber and R. E. K. Stirewalt and L. Wills. Understanding Interleaved Code. Journal of Automated Software Engineering 3 (1) (1996).Google Scholar
- 18.S. Rugaber and R. E. K. Stirewalt and L. Wills. The Interleaving Problem in Program Understanding. In Proceedings of the IEEE Second Working Conference on Reverse Engineering, 1995.Google ScholarCross Ref
- 19.A. Shah. State of the Art: JavaSpace, Java Report: The Source for Java Development 2 (5), 16 (1997).Google Scholar
- 20.A. S. Tanenbaum. Modern Operating Systems. Prentice Hall, New Jersey, 1993. Google ScholarDigital Library
- 21.E Zave. A Compositional Approach to Multiparadigm Programming. IEEE Software 6 (5) (1989). Google ScholarDigital Library
- 22.P. Zave and M. Jackson. Conjunction as Composition. ACM STrans. Softw. Eng. Meth. 2 (4), 371-411 (1993). Google ScholarDigital Library
Index Terms
- The universe model: an approach for improving the modularity and reliability of concurrent programs
Recommendations
The universe model: an approach for improving the modularity and reliability of concurrent programs
We present the universe model, a new approach to concurrency management that isolates concurrency concerns and represents them in the modular interface of a component. This approach improves program comprehension, module composition, and reliability for ...
Component-based software engineering: technologies, development frameworks, and quality assurance schemes
APSEC '00: Proceedings of the Seventh Asia-Pacific Software Engineering ConferenceComponent-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a well-defined software architecture. Because the new software development ...
A rule-based approach for estimating the reliability of component-based systems
Reliability is one of the most important nonfunctional requirements for software. Accurately estimating reliability for component-based software systems (CBSSs) is not an easy task, and researchers have proposed many approaches to CBSS reliability ...
Comments