中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
软件过程支撑环境SPEFE的设计与改进
作者: 李明
答辩日期: 2007-05-31
授予单位: 中国科学院软件研究所
授予地点: 软件研究所
学位: 博士
关键词: 软件过程 ; 软件过程支撑环境 ; 时间自动机 ; 模型检验
其他题名: Design and Improvement of Process Supporting Environment SPEFE
摘要: 软件过程工程包括过程建模、过程分析、过程例化、过程运作、过程度量和过程评估与改进。软件过程支撑环境是支持软件过程技术的集成环境,涉及过程模型定义、模型验证与分析、过程引擎和过程度量等各方面的相关技术。支撑环境的设计与实现一直是软件过程领域的重要课题。 过程建模和过程运作是所有软件过程支撑环境中必不可少的组成部分,但是一个实用的过程支撑环境仅仅支持这两个功能是不够的,还需要支持过程模型分析与过程柔性运作。其中,前者确保过程模型是正确有效的,后者处理过程模型与实际运作之间的偏差异常。 传统的过程模型分析专注于语法和静态语义的检查,而忽略了包含实例化信息的动态语义检验。我们设计了基于数据依赖的合理性验证模块和基于时间自动机的过程模型检验模块,用于分析过程模型的正确性和有效性。 本文主要工作包括: 在原有工作的基础上,对软件过程支撑环境SPEFE(Software Process Environment supporting Flexible Enactment)进行了整体设计、整合与优化。包括结构划分、建模工具中检验规则的分离、合理性分析模块与支撑环境的整合、过程引擎柔性运作的实现等。 提出了用时间自动机描述过程模型的方法,设计了由实例化过程模型生成时间自动机的算法,并分析了该方法在过程模型检验中的应用。 在SPEFE的设计与实现中,着重介绍了一个基于时间自动机的过程模型检验工具TAChecker的设计与实现,包括TAChecker的模块划分、类设计、主要数据结构与算法,以及延迟序列压缩存储等优化策略的应用。
英文摘要: Software Process Engineering includes Process Modeling, Process Analysis, Process Instantiation, Process Enactment, Process Measurement, and Process Evaluation and Improvement. Software Process Supporting Environment is an integration environment supporting Software Process Technology. It involves model definition, correctness analysis, process engine, and process measurement. Design and implementation of Software Process Supporting Environment has been a hot topic in the field of software process. Beside the two essential components of Process Supporting Environment, Process Modeling and Process Enactment, it should be supporting Model Analysis and Flexible Enactment, because the former one assures model’s correctness and validity, and the latter one provides solutions of Tolerating Deviations. The traditional approaches of Model Analysis just focus on syntax and static semantics of model other than dynamic semantics of instantiation model. For the reason, we design and implement modules of Process Correctness Analysis based on Data Dependency and Process Model Checking using Timed Automata. The main work of this paper includes: Based on previous work, we implement general designing, integrating and optimizations of SPEFE, including architecture designing, separating semantic restriction rules from verification tool, integrating of correctness analysis and SPEFE, and implementing of flexible enactment. Present an approach based on TA(timed automata) for describing Process Model, and an algorithm to build TA from Process Model for process analysis and model checking. In design and implementation of SPEFE, we concern the development of a TA-based model checker named TAChecker, including module partition, class design and data structure of State-Space, as well as optimizations such as Delay Sequences Compression.
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/6904
Appears in Collections:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
10001_200428015029075李明_paper.doc(2311KB)----限制开放-- 联系获取全文

Recommended Citation:
李明. 软件过程支撑环境SPEFE的设计与改进[D]. 软件研究所. 中国科学院软件研究所. 2007-05-31.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[李明]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[李明]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace