loading...
A Taxonomy of Call Ordering Problems
Busan, Korea November 30-December 03
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2004.1411th Asia-Pacific Software Engineerin ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Nam Tran, Monash University
David Abramson, Monash University
Christine Mingins, Monash University
The order of method calls in a program can present subtle problems in ensuring the program's correctness. Some of the problems have been known under different names in the open literature. These include protocols, synchronisation, re-entrance, mandatory calls, and the indirect invariant effect. However, all these problems relate to the temporal ordering of method calls. In essence, the orderings constrain invocations of methods that share program state or otherwise need to cooperate. This paper proposes a taxonomy of call ordering problems and their proposed solutions. The taxonomy classifies the problems by showing their common root and a few distinguishing properties. The paper also sketches the key features of a practical unifying solution to these call ordering problems.
Citation:
Nam Tran, David Abramson, Christine Mingins, "A Taxonomy of Call Ordering Problems," apsec, pp.120-129, 11th Asia-Pacific Software Engineering Conference (APSEC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.