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