2. 您的位置
3. 首页
4. 期刊论文
5. 基于LSC模型检验的性质抽取

基于LSC模型检验的性质抽取

来源 :上海大学学报：自然科学版 | 被引量 : 0次 | 上传用户：Liu234449171

【摘 要】

：

采用LSC（live sequence chart）描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的

【作 者】

：

戴雨婷 缪淮扣 梅佳 高洪皓 

【机 构】

：

上海大学计算机工程与科学学院,上海市计算机软件评测重点实验室

【出 处】

：

上海大学学报：自然科学版

【发表日期】

：

2012年2期

【关键词】

：

LSC 模型验证 性质抽取 一致性 live sequence chart（LSC） model checking extracting properties 

【基金项目】

：

国家自然科学基金资助项目（60970007）, 国家重点基础研究发展计划（973计划）资助项目（2007CB310800）, 上海市自然科学基金资助项目（09ZR1412100）, 上海市科委基金资助项目（10510704900）, 上海市重点学科建设资助项目（J50103）

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

采用LSC（live sequence chart）描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的覆盖准则,并根据准则从LSC需求规格说明中抽取与设计模型相关的性质.抽取的结果可用于自动化验证,为验证需求模型与设计模型的一致性提供保障.

其他文献

生物教学中加强“有效教学”的策略

1.有效备课1．1有效备课要求考虑学生的求知热情传统备课中的“备学生”，教师一般只是分析学生的实际知识水平和接受能力，从而确定讲什么知识；而有效备课更要强调“如何让学生对学

期刊

有效教学生物教学学习热情传统备课知识水平学习状态光合作用接受能力

初中生物实验中学生易犯的错误及纠正

生物实验直观性强，可以激发学生学习生物的兴趣，是学生获取生物知识和实验技能，培养学生的观察能力和动手操作能力的途径。通过实验教学能促进学生学习方式的转变，学生由死记硬背

期刊

生物实验中学生学生学习方式初中生物知识动手操作能力学生实践能力实验技能

城市微尺度工具——一种测量私人和公共空间关系的方法

城市研究中的微尺度空间测量主要是分析建筑与街道段之间的空间关系。更准确地说,它是关于建筑开口如何连接到街道网络,建筑的入口如何构成街道,从私人空间到公共空间的拓扑

期刊

公共空间与私人空间关系安全互视街道关系

小麦高分子量麦谷蛋白亚基及其遗传学研究进展

高分子量麦谷蛋白亚基是麦谷蛋白的重要组分,对小麦籽粒品质有重要作用.高分子量麦谷蛋白亚基的结构、组成类型、遗传等与品质密切相关.广泛深入分析和研究小麦高分子量麦谷

期刊

小麦高分子量麦谷蛋白亚基遗传学分离鉴定基因定位Wheat HMW-GS Genetics

山东枣庄杨家堡子铁矿床地质特征及成因探讨

杨家堡子铁矿位于山东省枣庄市峄城区峨山镇,隶属苍峄铁成矿带,矿体赋存于新太古代泰山岩群山草峪组上部的变质岩中。该矿床内圈定磁铁矿体11个,求得铁矿石（333）资源量3 378.2

期刊

地质特征矿床成因沉积变质型杨家堡子铁矿山东枣庄Geological characteristics origin sedimentary metamo

利用电泳谱带法鉴定蔬菜品种纯度的研究

以茄子、辣椒、南瓜、黄瓜、大白菜、萝卜等6种蔬菜为试材,研究了蛋白质聚丙烯酰胺凝胶电泳(PAGE)和EST、POD、AES等3种同工酶聚丙烯酰胺凝胶电泳技术在品种纯度鉴定上的应用

期刊

品种纯度电泳同工酶蛋白质蔬菜种子Variety purity Eleetrophoresis Isozyme ProteinVegetable see

饲料蛋白资源——单细胞蛋白

蛋白质是维持生命的基本物质，它是组成人体器官、组织和体内酶、激素以及免疫球蛋白的主要成分。近年来，我国畜牧业的迅猛发展造成了国内常规饲料资源的短缺、价格上扬以及假发

期刊

饲料资源蛋白资源免疫球蛋白人体器官价格上扬蛋白质畜牧业单细胞蛋白

浅谈害虫防治的十种常见方法

生物圈是整个生物界赖以生存的美好家园，随着人口的增长和科技的进步，人类对生物圈的影响越来越大。为减轻害虫防治过程中对环境造成污染，保障人类的食品安全，害虫的综合防治已成

期刊

害虫防治常见方法人类可持续发展生物圈食品安全综合防治保障

新旧实验教学模式在初中生物实验教学中的实效研究

文件编号：1003-7586(2009)10-0026-02　　　　1　问题的提出　　　　随着教育的改革，九年制义务教育生物课程标准注重了理论和实践相结合的原则，教材实验突出了内容多，形式多，要求多的特点。以人教版七年级上学期教材为例，有32个实验。生物实验在整个生物课程中所占的比重大大提升，约占到了整个生物课时的45％左右。生物学是一门以实验为基础的自然科学，许多生物现象只有通过实验才能得到解释

期刊

生物实验教学实验教学模式九年制义务教育生物课程标准初中教材实验自然科学上学期

基于Curvelet域自适应数学形态学降噪的含噪图像盲分离方法

针对含有噪声情况下的盲分离问题，提出一种基于Curvelet域自适应数学形态学降噪的含噪图像盲分离方法．该方法在对含噪混合图像进行Curvelet多尺度几何分析的基础上，根据Curvelet

期刊

盲源分离稀疏表示CURVELET变换数学形态学自适应blind source separation sparse representation cur