【摘 要】
：
系统形式建模方法是构建安全系统的重要保障之一。基于系统场景的需求描述,提出UML时序图的FSP代数模型自动生成方法。根据UML时序图与元模型之间的关系自动生成Java框架代码
论文部分内容阅读
系统形式建模方法是构建安全系统的重要保障之一。基于系统场景的需求描述,提出UML时序图的FSP代数模型自动生成方法。根据UML时序图与元模型之间的关系自动生成Java框架代码,结合Java框架代码并修改,实现了UML时序图到FSP代数模型自动生成的目的。丰富了系统形式化建模的理论研究,从应用角度为安全苛求系统的安全性分析与研究提供新途径,拓宽了系统需求场景的形式化建模思路。
其他文献
印度一些电视频道计划采用移动技术来增加收入，Star India和Sony Entertaiment Television与电信业务提供商合作，使用无线技术(诸如短信息服务和电话投票)。该倡议将于2004年晚
<正>一、案例背景ZT建筑工程公司是一家有着50余年历史,经国家建设部核准的具有综合施工能力的国有控股的铁路特级施工总承包企业。公司原系1951年组建的铁道
<正>近年来,部分专家的雷人言行,经媒体曝光放大后,经常受到众多网友议论,不少人更是戏称这些专家为"砖家"。《中国青年报》调查显示,39.5%的人认为专家言论只是一家之言,仅
以技术创新为特征的网络经济具有殊异于传统经济的运作模式,导致其垄断市场的形成机理也有所不同,因而传统经济中的反垄断法规制路径已不能很好地适应网络经济的发展,未来应
本文从AISAS模型入手,构建企业微博营销模型,分析消费者从关注到分享环节的行为路径。重点研究企业微博引发消费者兴趣的独立因子,观察微博粉丝的互动行为。通过SPSS17.0软件
目的:研究面中部脂肪垫和皮肤韧带的形态结构与分布层次,阐述其与面部容貌曲线变化的相互关系。方法:9具18例新鲜头颅标本,5具成年女性,4具成年男性。采用大体和显微解剖相结
《调疾饮食辩》是我国清代的一本著名食疗学专著 ,它论述了病中饮食的治疗作用、调理病人脾胃、饮食禁忌以及卫生等多个方面 ,在理论和实践中对于防治疾病有着非常重要的意义
目的了解带锁髓内钉治疗长骨骨折的常见并发症。方法回顾性分析我院2004年3月～2009年12月收治的应用带锁髓内钉治疗的长骨骨折病例;结果经6～24个月骨折愈合率为96.3%,平均愈合
目的探究两种不同手术方式治疗先天性睑内翻的疗效,为临床提供指导。方法抽取2010年10月至2015年10月来我院就诊的80例先天性睑内翻患者作为本次的研究对象,对80例先天性睑内