主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
毛晓光,邓勇进.基于构件软件的可靠性通用模型.软件学报,2004,15(1):27-32
基于构件软件的可靠性通用模型
A General Model for Component-Based Software Reliability
投稿时间:2003-01-09  修订日期:2003-06-30
DOI:
中文关键词:  基于构件软件  软构件  软件可靠性  模型
英文关键词:component-based software  software component  software reliability  model
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60233020 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2001AA113190 (国家高技术研究发展计划(863))
作者单位
毛晓光 国防科学技术大学,计算机学院,湖南,长沙,410073 
邓勇进 国防科学技术大学,计算机学院,湖南,长沙,410073 
摘要点击次数: 3372
全文下载次数: 3593
中文摘要:
      工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.
英文摘要:
      The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from system architecture and components’ reliabilities should be answered. Software is static, while development process is dynamic. To enable reliability tracing through a dynamic process, this paper presents a general model for component-based software reliability-component probability transition diagram-based on function abstractions. Different from other related work emphasizing on mathematical modeling, the model presented here focuses on reliability tracing through the dynamic development process.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利