【摘 要】
：
构件的组合与安全性是构件式系统开发的一个挑战性问题。提出了一种新的描述构件交互行为的模型一构件消息自动机，其特点是保留了构件的所有交互特性以便进一步进行构件的验证
【基金项目】
：
（国家自然科学基金）,（国家重点基础研究发展规划（973））,（国家高技术研究发展计划（863））.
论文部分内容阅读
构件的组合与安全性是构件式系统开发的一个挑战性问题。提出了一种新的描述构件交互行为的模型一构件消息自动机，其特点是保留了构件的所有交互特性以便进一步进行构件的验证。给出了使用同步积操作将多个构件组合成单个复杂的组合构件的方法：基于监控理论的可控性概念，设计了一个验证构件系统安全性质的算法，为了说明论文建议的方法，详细讨论了一个简单的、贯穿整个论文的示例系统。
其他文献
新课标指出，阅读教学要“以读为本”。阅读是学生的个性化行为，应该让学生在积极主动的思维和情感活动中加深理解和体验，有所感悟和思考，受到情感的熏陶，享受审美乐趣。阅读教学最
21世纪是一个知识日新月异的时代,各种思潮、价值取向和信息相互交替和影响着人们,尤其是青少年学生。青少年学生本身也处在人生观、价值观成长和形成时期,作为青少年学生受
<正>中国西安2008年6月23日至24日中国计算机学会Petri网专业委员会和西安电子科技大学定于2008年6月在国际会议Petri Nets2008(the 29th International Conference on Appli
庭院饲养肉鸽,须根据幼鸽年龄、发情和性成熟期适时进行人工配对繁殖,才能提高养殖效益. 科学分养幼鸽长到5至6月龄才开始发情,防止早配和品种退化,在鸽子发情前,应将雌雄鸽
随着全球市场竞争不断白热化,人才的竞争已成为全球市场竞争的焦点。企业激励机制作为吸纳人才的重要筹码,需要不断改革创新,以适应高层次人才发展的需求。目前,我国国有企业
高中数学教学的实效性对于教师和学生来说都有着十分重要的意义,然而在提高高中数学教学实效性的方面,教学的针对性有着至关重要的作用,因为学生群体之间不可避免地存在着智
新课程改革背景下,教育教学对教师提出了更高水平的要求,就高中班级管理而言,它要求教师教学中要采取可行的措施,实现学生的自我管理以及自我发展。值得注意的是,当下我国高
吃菠萝清除毛窝采用割螺旋道方式,使果肉浪费掉弃为垃圾,实是可惜而无奈.
摘 要：培养学生的口语能力，规范学生的口语语言，是新形势下课程改革的重要内容。口语教学任重道远，培养学生的综合语言运用能力，是教师不断研究探索的课题。 关键词：情境；习惯；争议；拓展；倾听 语言是人与人交流的重要手段，随着教学改革的不断深入，课堂上更需要用新课程的理念来关注孩子的语言发展。教师要开展各种形式的口语交际活动，让学生在实践中锻炼自己的口语表达能力。对于低年级的学生，我们更多地应该注
假设同一虚拟组织的成员经常拥有同样的专业兴趣，设计了一种新的数据结构——节点服务表（Node—Service—Table，NST）来记录每个成员的服务搜索经验，借助NST改进了基于经验共享的服