基于场景规约的构件式系统设计分析与验证

来源 :计算机学报 | 被引量 : 0次 | 上传用户：zongbangsheng

【摘要】

：

使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通

【作者】

：

胡军于笑丰张岩王林章李宣东郑国梁

【机构】

：

计算机软件新技术国家重点实验室,南京大学计算机科学与技术系

【出处】

：

计算机学报

【发表日期】

：

2006年4期

【关键词】

：

构件式系统设计接口自动机模型检验顺序图统一建模语言(UML) UML component-based design interface automata

【基金项目】

：

本课题得到国家自然科学基金（60425204,60233020,60573085）、国家“九七三”重点基础研究发展规划项目基金（2002CB312001）和江苏省自然科学基金（BK2004080）资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验系统行为的存在一致性以及几种不同形式的强制一致性性质,包括前向强制一致性、逆向强制一致性以及双向强制一致性等.

其他文献

DNA计算机原理、进展及难点（V）：DNA分子的固定技术

在DNA计算机的研制中,DNA分子的固定是首先需要处理的一个最为基本的技术问题.事实上,DNA分子的固定技术不仅是生物计算的一个基本技术,而且是整个基因工程、生物芯片、甚至

期刊

DNA计算机DNA固定技术固定系统固定剂载体分子标记磁珠分离技术AcrditeTM技术DNA computation immobilizatio

DNA计算机原理、进展及难点（Ⅲ）：分子生物计算中的数据结构与特性

分子生物计算是指以生物大分子作为数据来进行信息处理的计算模式.目前的分子生物计算主要包含DNA计算、RNA计算和蛋白质计算这三种计算模型.另外,还有一些学者提出采用PNA分

期刊

DNA计算DNA分子的结构与类型DNA computing the structure and types of DNA molecules

福兰,中国云南兰科一新种

期刊

福兰新种中国云南兰科Cymbidium rigidum New species Yunnan China

42卷拉丁名索引

期刊

视频语义模型及评价准则

视频语义模型的目的是表示和管理视频中包含的对象、事件及关系等语义信息,并提供实现语义查询的基础.随着视频技术及与视频相关的应用的发展,对有效的视频语义模型的要求越来越迫切.文章对现有的视频语义模型进行了全面的综述,共包含16种视频语义模型:5种基于标注的模型和11种丰富语义模型.尽管视频语义模型对视频数据库提供查询服务和其它特性来说是至关重要的,但目前仍没有较好的评价视频语义模型的准则.因此,作者

期刊

视频数据库视频语义模型数据模型video database video semantic data model data model

Petri网在生物信息学中的应用

生物信息学是一门正在快速发展的使用数学和计算机技术来构造和分析生物学模型的学科．Petri网是近来被用于生物信息学的有效工具，但是应用的深度和广度还有待深入研究．文中综述

期刊

生物信息学PETRI网生物学网络拓扑分析生物学模拟bioinformatics Petri nets biological networks topo

代价敏感分类器的比较研究

简要地回顾了代价敏感学习的理论和现有的代价敏感学习算法．将代价敏感学习算法分为两类，分别是直接代价敏感学习和代价敏感元学习，其中代价敏感元学习可以将代价不敏感的分类器

期刊

代价敏感学习元学习经验阈值调整cost-sensitive learning meta-learning~ Empirical Threshold Adj

水泥混凝土路面芯样劈裂强度试验影响因素分析

本文通过对水泥混凝土路面试验段取芯进行芯样劈裂抗拉强度试验,重点分析了水泥混凝土路面取芯过程与室内试验两个阶段中有可能对试验结果产生影响的几个重要因素,总结了该试