An Information Flow Model for Understanding Java Program Libraries
Although the Object-Oriented (OO) paradigm eases the design and analysis of software, OO programs may be more diffucult to understand than structured programs due to the unique language features such as encapsulation, inheritance, and polymorphism. These language features entail different kinds of resolution problems including scope, types names, and methods. So far, little research was focused on how to assist understanding concurrent OO programs. This thesis intends to help program understanding by means of constructing the Information Flow Model (IFM). Java programs are selected to illustrate this model. The Java Object Model (JOM) is designed to describe the internal structure of the class and the relationships between classes. The Concurrent Dependency Graph (CDG) is proposed to represent the program statements in the model. It is used to bridge the CDG and the JOM as the IFM. Based on this model, the Concurrent OO Program Slicing (COOPS) is developed for a programmer to gather the related information, which he or she might need to understand.
|Appears in Collections:||Thesis|