论文降重
免费查重
限定条件：
清空
- 相关度
- 出版时间
- 被引频次
刊名：科技与创新
发表时间：2011-05-01
摘要:
如何在开放的Internet环境下实现各种异构资源的共享与集成,已经成为计算机技术面临的重大挑战,并由此提出了网构软件(Internetware)这一新的概念.网构软件是指在Internet环境下,采用构件技术,自底向上集成各种网络资源的一种新的软件形态.对于网构软件这一新型软件形态的研究目前还处于起步阶段,特别在网构件软件的组装与演化方面缺乏形式化理论基础的支持,这严重制约了网构软件的发展与应用.鉴于此,我们在仔细分析网构软件的特点与Pi演算的功能与性质的基础上,提出了一种基于Pi演算的网构软件组装与演化框架,对网构软件的组装与演化过程进行形式化分析.
刊名：科技与创新
发表时间：2011-02-01
摘要:
如何在开放的Internet环境下实现各种异构资源的共享与集成,已经成为计算机技术面临的重大挑战,并由此提出了网构软件(Internetware)这一新的概念.网构软件是指在Internet环境下,采用构件技术,自底向上集成各种网络资源的一种新的软件形态.对于网构软件这一新型软件形态的研究目前还处于起步阶段,特别在网构件软件的组装与演化方面缺乏形式化理论基础的支持,这严重制约了网构软件的发展与应用.鉴于此,我们在仔细分析网构软件的特点与Pi演算的功能与性质的基础上,提出了一种基于Pi演算的网构软件组装与演化框架,对网构软件的组装与演化过程进行形式化分析.
刊名：计算机科学与探索
发表时间：2012-05-01
摘要:
为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型.在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为.进一步利用Pi演算的操作语义推演构件间的实际交互行为.将得到的实际交互行为与预期交互行为比对,可判断构件交互的可信性.最后,通过实例对该模型的具体应用进行了阐述.该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件间交互的可信性提供了有效方法.
已选文献：0
导出
每页显示
10
|
20
|
30
中国电机工程学报
生态学报
生态学报
电力系统自动化
安徽农业科学
农业工程学报
计算机工程与应用
岩石力学与工程学报
中国医药指南
食品科学
电网技术
应用生态学报
中华护理杂志
中国组织工程研究
中华医院感染学杂志
计算机工程
中国实用医药
科学技术创新
护理研究
山西建筑
中国老年学杂志
地理学报
中国农学通报
中国妇幼保健
岩土工程学报
科技信息
中国农业科学
中国实用护理杂志
岩土力学
现代中西医结合杂志
机械工程学报
计算机应用研究
中国中药杂志
环境科学
商场现代化
软件学报
中草药
中国医药导报
护理学杂志
护士进修杂志
21世纪
居业
21世纪商业评论
癌变·畸变·突变
安防科技
鞍钢技术
安徽电力
安徽电气工程职业技术学院学报
安徽大学学报(自然科学版)
安徽地质
安徽电子信息职业技术学院学报
安徽化工
安徽工程大学学报
安徽科技学院学报
合肥师范学院学报
安徽建筑
安徽建筑大学学报
安徽科技
安徽科技与企业
安徽林业
安徽林业科技
安徽农学通报
现代农业科技
安徽农业大学学报
安徽农业科学
安徽师范大学学报(自然科学版)
安徽水利水电职业技术学院学报
安徽商贸职业技术学院学报(社会科学版)
安徽体育科技
安徽卫生职业技术学院学报
安徽文献研究集刊
安徽预防医学杂志
安徽冶金
安徽冶金科技职业学院学报
安徽医科大学学报
安徽医学
安徽医药
安徽中医药大学学报
安家
生物资源
