论文部分内容阅读
主要讨论了一种描述对象活动的方法，提出了活动体的概念，并给出了它的三元组形式。活动体是对象式系统中具有通信能力的最小单位，由此可以构造对象及至系统的交互（通信）行为。同时给出了一个简单的描述活动体的语言ＢｅＬａｎ和ＢｅＬａｎ中活动体的指称语义。
对象的行为表示及其应用
【摘 要】
：
主要讨论了一种描述对象活动的方法，提出了活动体的概念，并给出了它的三元组形式。活动体是对象式系统中具有通信能力的最小单位，由此可以构造对象及至系统的交互（通信）行为。同时
【机 构】
：
南京大学计算机软件新技术新技术国家重点实验室
【出 处】
：
南京大学学报：自然科学版
【发表日期】
：
2000年2期
【基金项目】
：
江苏省自然科学基金!(BK970 30 )资助项目
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
阐述了实验说课大赛的六个规范要素以及实验改进与创新应遵循的六个原则,即科学性原则、目的性原则、探究性原则、简约性原则、绿色化原则、安全性原则,展示了深圳市高中化学
朱彝尊家书 ,为唐长孺先生收藏 ,由启功先生题跋 ,具有重要的文献价值 ,却从未发表。其中有关“己未词科”的记载 ,反映了康熙“文治”对文人出处的影响 ,以及“己未词科”的
2001年8月,我国证监会发布了<关于在上市公司建立独立董事制度的指导意见>(以下简称<指导意见>),标志着为改善公司法人治理结构、保护中小投资者利益,我国开始在上市公司中全
通过对汽车开关转换力矩的结果分析,确定转换力矩的测量不确定度,为每次转换力矩检测结果提供参考。
Through the analysis of the result of the switching torque of the
目的研究血脑屏障紧密连接蛋白在EAE发病中的作用,观察中药复方益肾达络饮干预实验性自身免疫性脑脊髓炎(EAE)的疗效和作用机制。方法采用荧光定量PCR测定免疫后不同时间点EA
房地产行业由于其开发周期长、经营环节多、税费种复杂、收入分散且隐蔽性强等特点,存在重复课税和税负不公等问题,导致其漏征漏管频繁,税款流失比较严重,是税务部门税收监管
时域有限差分法是一种目前已广泛应用于电磁场与微波工程中的时域数值计算方法.H型的微带贴片天线利用时域有限差分法,采用廖氏三阶吸收边界来对无限安全空间进行有限截断.与