Abstract:

Designing functionally correct behavior is an important issue in defining views of complex objects for such applications as concurrent engineering, in which complex objects are used to model engineering designs. To guarantee correctness of the behavior for derived classes when extracting a consistent set of objects and associations to form a functionally correct view, an understanding of the relationship between the base complex object and the view is essential.

In this paper we study the behavior classification problem for views and define consistency rules for view behavior. We start by studying the problem of automatic classification of the relationships between the behaviors of related views of complex objects. Then we present the rules that must hold when a view changes the behavior of the underlying base complex object to maintain consistency. We present an example of behavioral view creation in concurrent engineering and study how the classification and consistency rules can be used to analyze the behavior of the extracted view.