Analyzing dynamic behavior of concurrent object-oriented software designs.

摘要

Object-oriented development practices are being rapidly adopted within the application domains of reactive, time-sensitive, embedded, and concurrent systems. Unfortunately, analytical techniques for modeling the behavioral issues of these object-oriented designs have lagged behind the adoption of the modeling languages. To address this gap, the research in this dissertation aims to facilitate analytical techniques for modeling the behavioral patterns of concurrent object-oriented software design architectures. To achieve this goal, this thesis categorizes patterns of object-oriented behavior within a concurrent software design architecture and provides a repeatable method to translate the patterns into an underlying colored Petri net representation that can then be used to analyze the concurrent behavior.; The key contributions of this research include: the definition of general and reusable colored Petri net templates for representing the behavior of objects according to the category of class; the definition of general and extensible class stereotypes for categorizing objects; the definition of architectural parameters and specification requirements to capture necessary behavioral information in the object models; and systematic construction rules for transforming a concurrent object-oriented architecture into a Petri net model by applying, connecting, and elaborating the defined templates. Additionally, two proof of concept case studies are provided to demonstrate the applicability of this approach for two different application domains. These case studies also demonstrate some of the analytical benefits gained from the creation of the Petri net representation and illustrate how the results from the Petri net modeling can be applied back to the original object-oriented model. Using the approach defined in this dissertation, a software designer may systematically evaluate both the logical correctness of the concurrent behavior and the performance of the design prior to developing the code.