In disciplined Ada software development and maintenance, an adequate and suitable graphical representation for concurrency is important. To describe rendezvous ordering, tasking and executing flow of tasks, ρ graph—Rendezvous Ordering Graph is presented in this paper. ρ graph is a kind of hierarchical oriented graph with nodes representing rendezvouses and edges showing ordering relations between rendezvouses as well as flow of tasks. It can be used in software understanding, design description and documentation.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
Booch G. Software Engineering with Ada. Benjamin/Cummings Publishing Company, Inc., 1987.
Buhr R. System Design with Ada. Prentice-Hall, Inc., New Jersey, 1984.
Burkhardt B, Lee M. Drawing Ada structure charts.ACM Ada Letters, 1986, 3: 71–80.
Sterne Det al. A simplified graphic notation for Ada programs,ACM Ada Letters, 1989, 9(6): 108–118.
Shatz S M. Towards complexity metrics for Ada tasking.IEEE Trans. Software Engineering, 1989, 14: 1122–1127.
Shatz S M, Cheng W K. A Petri net framework for automated static analysis of Ada tasking behaviour.Journal of Systems and Software, 1988, 8: 343–359.
Dameria S, Shatz S M. Software complexity and Ada rendezvouses: Metrics based on nondeterminism.Journal of Systems and Software, 1992, 17: 119–127.
Wang Z, Chen L. Ada concurrent complexity metrics based on rendezvous relations. InProceedings of Eighteenth Annual International Computer Software and Applications Conference, 1994, Taipei:IEEE Computer Press, 1994.
DoD. ADA Language Reference Manual. ANSI-1815A, 1983.
DoD. ADA 95 Language Reference Manual. 1995.
Project supported by the National Natural Science Foundation of China.
Wang Zhenyu is a Professor. His research interests include software engineering, Ada language, tool and environment.
About this article
Cite this article
Wang, Z. ρ Graph: Rendezvous ordering graph for Ada concurrent programs. J. of Comput. Sci. & Technol. 13, 615–622 (1998). https://doi.org/10.1007/BF02946505
- Ada concurrent program
- rendezvous relation
- rendezvous ordering graph