一种面向构件的行为语义模型及其应用研究

合集下载

相关主题

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

岳洋，曾广平。
（．１北京科技大学计算机与通信工程学院，北京１０８；．００３２武警北京指挥学院，北京１０１）００２
摘
要：以ＳＦ／ＤＯＡＣＬ作Hale Waihona Puke Baidu为刻画动态行为的形式化语义基础，交互语义层面入手，出面向Ｓ从提ＭＣ（ｏＭａｓｆｎｔ
第２９卷第５期
２１０２年５月
计算机应用研究
ＡｐｌａｉｎＲｅｅｒｈｏｍｐｔｒｐｉｔｓａｃｆＣｏｕｅｓｃｏ
Ｖｏ．９Ｎｏ５１２．
Ｍａ０１ｖ２２
一
种面向构件的行为语义模型及其应用研究
ｄｉ１．９９ｊｉｎ１０ — ６５２１．５００ｏ：０３６／．ｓ．０１３９．０２０．４ｓ
Ｒｅｅｒｈｏｅａｉｒｓｍａｔｄｌｎｒｅｔｄｃｍｐｎｎｎｔｐｌｃｔｏｓａｃｎｂｈｖｏｅｎｉｍｏｅｉｇｏｉｎｅｏｏｅｔａｄｉｓａｐｉａｉｎｃ
定义及其判定定理，证了上述模型在构件行为语义抽象中的有效性和正确性。验关键词：构件；动态行为；行为描述语言；换性替中图分类号：Ｔ３１５Ｐ１．文献标志码：Ａ文章编号：１０ —６５２１）５１５ —５０１３９（０２０ —７１０
ｍｉｈｅｗｅｋｅｓ．Ｂａｅｎｔｓ，ｂｈｏｓｎｇｔｐｉａｏｏｅｔｓｂｓｉｕｉｎａｈｐｐｉａｉｎｂｃｒｕｎｎｇｔａｎｓｓｄｏｈｉｙｃｏｉｙｃｌｃｍｐｎｎｕｔｔｔｏｓｔｅａｌｃｔｏａｋｇｏｄ，ｔｉａｅｏｈｓｐｐｒｇｔｔｅｎｔｏｎｈｅｒｍｅａｅｏｃｎｅｔｆｅｕｓｉｕｉｎｅｐｅｓｄｂｈｅｄｆｉｉｎｓａｄｔｏｅｒｌｔｄｔｏｔｘ —ｒｅｓｂｔｔｏｘｒｓｅｙＢＤＬａｄｃｒｉｅｈｅｖｌｄｔａｏｒｃｎｓｆｉｔｎｅｆｄｔａｉｉｙｎｄｃｒｅｔｅｓｏｔｉｔｅｍｏｅｒｎｇｏｎａｃｂａｉｒｓｍａｉｂｓｒｃｉｎ．ｈｄｌｗｏｋｉｎｄｙｍｉｅｈｖｏｅｎｔａｔａｔｏｃＫｅｙｗｏｒｄｓ：ｃｍｐｏｅｔｄｎｍｉｈｖｏｏｎｎ；ｙａｃｂｅａｉｒ；ｂｈａｉｒｄｓｒｐｔｏａｕａｅ；ｓｓｉｕｉｎｅｖｏｅｃｉｉｎｌｎｇｇｕｂｔｔｔｏ
ｙｉｆｅｉｔａｔｎｓｍａｔｓｍｎｏｐｎｎｓｈｓｐｐｒｐｔｏｗｒｅａｉｅｃｉｔｎｌｇａｅ（Ｄ）ｆｒｈｓｒｈｅｃｏｅｎｉｏｇｃｍｏｅｔｓｏｔｎｒｉｃａ，ｔｉａｅｕｆｒａｄａｂｈｖｒｄｓｒｉａｕｇＢＬｏｅｏｐｏｎｔＳＭＣ（ｏＭａｏｐｎｎ）ｎｒｐｓｄａｂｈｖｒｄｓｒｔｎｆｍｗｒｔｅｔｄｓｍｒｐｒｅＤｒｖｒｏｓｆｎｃｍｏｅｔ．ＡｄｉｐｏｏｅｅａｉｅｃｉｉｒｅｏｋｏｘｎｏｅｐｏｅｔｓｉＣＬｆｅｃ — ｌｔｏｐｏａｅｉｎｏｏ
现阶段，动态、放、演化的复杂软件系统研究受到开可ＣＳｃｍｏｅｔｂｓｄｓｆａｅｅｇｅｒｇ领域的广泛关ＢＥ（ｏｐｎｎａｅｏｗｒｎｉｅｉ）ｔｎｎ
ＹＵＥｎｇ一．ＺＥＮＧａ — ｉｇＹａＧｕｎｇｐｎ
（ｃｏｌＣｍｕｅ１Ｓｈｏｏｏｐｔｆｒ＆ＣｍｍｉｔｎＥｇｎｅｉｏＭｃｉｎｉｅｒｇ，Ｕｉｒｔｏｃｎｅ＆ＴｃｎｌｙＢｉｎＢｉｎ００３ｈｎ；．ｅｉｏａｏｎｎｖｓｙｆＳｉｃｅｉｅｅｈｏｇｅｇ，ｅｉｇ１０８，Ｃｉａ２ＢｉｇＣｍ— ｏｊｊｎｍａｄＣｌｇＣＰｎｏｅｅｏＡＦ，Ｂｉｇ１０１，Ｃｉａｌｆｅｉ００２ｈｎ）ｊｎ
ｃｍｏｅｔ构件的行为描述语言（Ｄ）同时，对ＣＬ在行为刻画上的不足进行扩展，出了针对ＳＣ的行ｏｐｎｎ）ＢＬ；针Ｄ给Ｍ为描述框架。在此基础上，选取典型的构件动态替换作为应用背景，到基于ＢＬ表达的构件上下文无关替换得Ｄ
Ａｂｔａｔｓｒｃ：ＴｋｎｈＯＦ／Ｌａｈａｅｏｒｌｅｅｎｉｓｏｄｐｃｏｏｅｔｓｄｎｍｉｂｈｖｏ，ｈｏｇｎｌａｉｇｔｅＳＡＣＤｓｔｅｂｓｆｏｍａｉｄｓｍａｔｅｉｔｍｐｎｎ ’ ｙａｃｅａｉｒｔｒｕｈａａ — ｆｚｃｔｃ