对象的行为表示及其应用

摘要：

主要讨论了一种描述对象活动的方法,提出了活动体的概念,并给出了它的三元组形式.活动体是对象式系统中具有通信能力的最小单位,由此可以构造对象乃至系统的交互(通信)行为.同时给出了一个简单的描述活动体的语言BeLan和BeLan中活动体的指称语义.

关键词：对象、活动体、程序设计、通信

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：江苏省自然科学基金BK97030

在线出版日期：2008-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：189-196