软件构架动态行为建模与检测

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:weicengh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对软件构架描述语言在分析、验证软件构架动态行为中的不足,用抽象代数对构件、连接器和体系结构配置进行抽象,提出了软件构架层次模型,并采用Pr/T网对软件构架动态行为建模.提出基于线性时序逻辑的软件构架动态行为模型检测方法,给出了该方法的算法描述.最后,详细描述了电子商务系统中并发控制机制的建模过程和检测结果.提出的软件构架动态行为建模与检测方法结合了Pr/T网和线性时序逻辑的优点,为开展软件构架动态行为的分析、验证提供了理论基础.
其他文献
据2011年全国动物卫生监督工作座谈会数据显示:截至2011年11月底,全国共产地检疫动物70.6亿头(只、羽),屠宰检疫动物41.3亿头(只、羽),生猪定点屠宰环节“瘦肉精”部级专项监督抽检近30
T函数是n位字到n位字的一个映射,并且第i(0≤i≤n-1)位的输出仅与输入的0,1,…,i位值相关.所有的布尔运算以及现代微处理器的算术运算几乎都可看成是T函数,它们的组合也可认
我国国有企业经过多年的发展,取得了很大进步,但在运营过程中,还是不可避免地遇到很多问题,尤其是国有企业,普遍都面临着管理效率不行、财务管理不当等问题。为使国有企业能
在网格环境中分布着大量不同类型的动态服务,为了更有效地定位不同属性的服务,提出了一种网格服务定位机制.它以小世界(the Small-World)模型作为理论依据,根据虚拟组织VO(vi
环氧合酶是催化花生四烯酸合成前列腺素类第一步关键酶,近年研究发现其异构体环氧合酶-2,在诸多肿瘤包括食管癌的发病、预防和治疗中均有重要作用,现就其作一综述.
生命是地球上最富魅力的现象,从生命的诞生、到人类的出现、直至文明社会的形成,其间经历了漫长的演化过程.迄今为止,人们发现这一过程仅仅发生在地球上.
观测月相并不难,但月相出没与观测的时间是学生学习的难点,也是教师教学的难点.在教学实践中我发现若能利用好月相成因示意图(如下图),便能较容易地解决这一问题,能起到深入
全球70%以上的手机在中国制造,其中80%以上产自深圳。从深圳华强北走出的基伍国际有限公司(以下简称“基伍”),2003年靠制造手机模具起家,承接一些海外手机厂商的手机壳料配件订单,先
一、地理研究性学习的目标地理研究性学习的课程目标主要是体验性目标,它强调学生的学习过程、学生的直接参与和亲身体验.
治霾需要从减少化石燃料的使用,逐步叫停火力发电,禁止秸秆焚烧。同时,发展电动汽车,建设新能源电站和秸秆催生沼气的生物质能等一系列新能源行业的发展。