【摘 要】
：
软件建模是软件活动的根本任务和模型驱动开发过程的核心,软件工程界一直追寻＂银弹＂式的软件建模方法。在分析现有软件建模方法的基础上,提出了协同状态网,以实现对软件系统的
论文部分内容阅读
软件建模是软件活动的根本任务和模型驱动开发过程的核心,软件工程界一直追寻＂银弹＂式的软件建模方法。在分析现有软件建模方法的基础上,提出了协同状态网,以实现对软件系统的静态和动态特征描述。首先给出了协同状态网的形式化定义、图形化表示以及相关概念解释。以锅炉控制软件系统为例,详细说明了模型构造算法、模型可靠性分析方法。阐述了协同状态网在软件建模与实现等方面的一些优点,如便于理解,一个模型描述静动态特征,模型可分析可执行,可视化和一致性较好等。
其他文献
给出了Galois环上不完全指数和的上界,并在此基础上对Zp2导出的p元Kerdock序列的非周期自相关性进行了研究,给出了序列非周期自相关性的上界,其中p为任意奇素数。结果表明,该
2014年12月6日，中国支付清算协会副秘书长王素珍透露，协会下属的互联网金融专业委员会正在会同成员单位组织研究P2P网贷风险信息共享系统，计划2015年年初上线，向业内企业提供信息
在第三次全国经济特区、沿海开放城市党报协作会议上,与会同志一致提出,要把报纸办得更开放、更活泼,更具特色,在实施沿海经济发展战略和建立社会主义商品经济新秩序中发挥出
提出了一种新的适用于变长分组的调度算法——弹性定额值轮询调度算法（Resilient Quantum Round Robin,RQRR）,与现有算法不同,该算法中每个数据流的定额值不是固定不变的,定额
安全问题已成为制约云计算发展的重要因素。分析了服务持续可用性、服务真实性、数据完整性、信息保密性、可用性、不可抵赖性6方面的云安全目标,将云计算中6个层次的安全风
跨境智汇平台是招商银行基于成熟的UBank平台，全新打造的集汇款单证结算、结售汇外汇交易、贸易融资等全业务功能与在线服务于一体的跨平台、全流程、一站式的在线服务系统。
6月16日，第十四届中国国际软件和信息服务交易会开幕式暨2016全球软件和信息服务高峰论坛召开，商务部副部长房爱卿出席并致辞。
2月29日，阿里巴巴物联网生态峰会在京召开，阿里巴巴集团CEO张勇、阿里云事业部总裁胡晓明出席了此次会议。
为减少虚拟机动态迁移时间,Xen采用了Pre-Copy算法来选择合适的时间进行停机拷贝,以保证在低负载或空负载时的虚拟机迁移的优越性能,但在高负载环境下,Pre-Copy算法对内存页
2月5日．中国移动与百度宣布，双方达成战略合作，携手共建新一代移动互联网云计算中心——百度亦庄新一代搜索数据中心（一期）。据悉，这是国内首个针对移动互联网业务大规模部署的云计