对象互操作的行为模型

A BEHAVIOR MODEL OF OBJECT INTEROPERABILITY

对象互操作表达了一组对象在完成某一任务时的动态协作关系，对象互操作的行为描述与抽象是支持面向应用对象互操作的基础．对此，提出一种活动模型作为描述对象互操作行为的方法．该方法以一阶时态逻辑为基础，表达了互操作对象之间交换消息的时态顺序和不同活动之间的行为关系．在该方法中，提出了活动特化和活动聚合两种行为抽象机制，实现了对象互操作行为的复用．最后讨论了给定论域的类模式和活动模式的一致性集成问题．

Object interoperability behavior represents dynamic evolution and cooperation of a group of objects in accomplishing a task. The behavior description and abstraction of object interoperability is the basis of application oriented object interoperability and is a main aspect of implementing distributed object interoperability. In this paper, a activity model is presented to express the behavior semantic of object interoperability, including the temporal ordering of message exchanges within object interoperability and the behavioral relationships between activity executions. In addition, two behavior abstract mechanisms, activity specialization and activity aggregation, are proposed to realize reuse of object interoperability behavior in this model. The former is suited for behavioral refinement of existing activities into specialized activities. The latter is used for behavioral composition of simpler activities into complex activities. First order temporal logic is used as an underlying formalism for the activity model. Finally, the integration of class schema and activity schema is discussed and a methodological framework for the integration is proposed.