-
题名高阶类型化可验证应用系统体系结构建模及案例
被引量:1
- 1
-
-
作者
李小平
乌尼日其其格
马世龙
吕江花
-
机构
软件开发环境国家重点实验室(北京航空航天大学)
鹏城实验室
国家智能网联汽车创新中心
-
出处
《软件学报》
EI
CSCD
北大核心
2020年第8期2309-2335,共27页
-
基金
国家自然科学基金(61305054,61300007,61003016)
科技部基本科研业务费重点科技创新类项目(YWF-14-JSJXY-007)。
-
文摘
随着应用软件体系结构风格变化和规模变大,其运行环境变得日趋复杂,对应用系统体系结构的设计及其正确性验证提出了新的挑战.现有的应用系统体系结构设计关于需求满足性验证在建模与验证中需要多种工具的支持.应用系统体系结构在设计阶段的需求满足验证,有助于客观评价应用系统部署方案和系统如期上线以及主动运维.面向应用系统体系结构设计及其验证,在模型驱动的软件工程背景下提出一种高阶类型化可验证应用系统体系结构建模语言(VASAML)与可验证应用系统体系结构建模方法(VASAMM).VASAML语言通过定义类型和项的语法和语义,描述构成应用系统体系结构的类型和对象的结构,通过定义两种类型规则及其类型检查算法,判定Γt:T和ΓR(T1,T2)是否成立,其中,结构类类型规则用于描述应用系统体系结构中的组成部分,关系类类型规则用于描述组成部分之间的关系和配置.VASAMM方法给出了应用系统体系结构建模过程,包括构建Mbd(基本数据类型)、Mbti(基本接口类型)、Mdev(设备类型)和Mfrwk(应用系统框架)这4层,以及自动生成层内与层间类型之间关系对应的类型规则,同时定义了设备类型服务调用图(GDSI)用以刻画部署要求,定义了类型序列及其正确性用以刻画需求期望性质,并给出了相应的基于类型检查的验证算法.设计实现了基于该方法的原型工具系统VASAMS,其中,建模编辑环境支持应用系统部署方案的设计过程,验证环境支持设计是否满足需求的自动验证.通过一个实际案例完成了某行业较大规模应用系统体系结构的建模和验证.
-
关键词
类型规则
类型检查
部署方案
应用系统体系结构建模
应用系统体系结构验证
-
Keywords
typing rule
type checking
deployment plan
application system architecture modelling
application system architecture verification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向服务架构在国家防汛抗旱指挥系统中的应用
被引量:1
- 2
-
-
作者
金喜来
陆旭
-
机构
水利部水文局
国家防汛抗旱指挥系统工程项目建设办公室
水利部南水北调规划设计管理局
-
出处
《中国水利》
2008年第19期57-58,共2页
-
文摘
国家防汛抗旱指挥系统是"金水工程"的龙头工程.是国家防汛抗旱管理工作的重要决策支持系统。应用支撑平台是系统的重要组成部分,它是水情应用、防洪调度、抗旱管理等各种应用的开发环境和数据调度中心。面向服务的体系结构是为了解决在Internet环境下业务集成的需要,通过连接能完成特定任务的独立功能实体实现的一种软件系统架构,其在国家防汛抗旱指挥系统的应用,实现了统一技术架构的信息平台。
-
关键词
国家防汛抗旱指挥系统:面向对象的体系结构:应用
-
Keywords
national flood control and drought relief commanding system
systematic structure of SOA
application
-
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于M/S架构的广州自来水公司远程数据采集系统
- 3
-
-
作者
田翔
陈宇驹
-
机构
华南理工大学
西门子中国有限公司广州分公司
-
出处
《机电工程技术》
2004年第7期43-44,47,共3页
-
文摘
本文采用当前最新的Mobile/Server架构,为广州市自来水公司设计并实现了一个自动远程数据采集系统。该系统改变了传统的人工抄表的数据采集模式,不仅有效地减轻了抄表人员的劳动强度,极大提高劳动效率,更为自来水公司提供了一种有效的技术手段对非法使用自来水资源的行为进行防范和检测。
-
关键词
远程数据采集
应用系统体系结构
移动端/服务器
-
分类号
TP274.2
[自动化与计算机技术—检测技术与自动化装置]
-