-
题名基于实时UML顺序图的物联网交互模型
被引量：4
- 1
-
-
作者
丛新宇
虞慧群
-
机构
华东理工大学计算机科学与工程学院
上海计算机软件评测重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2014年第11期79-87,共9页
-
基金
国家自然科学基金(61173048
61073107)资助
-
文摘
物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。
-
关键词
物联网
交互模型
实时uml顺序图
时间自动机
验证
-
Keywords
Internet of things
Interaction model
Real-time uml sequence diagram
Timed automata
Verification
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于UML交互概览图的测试线索的生成方法
被引量：1
- 2
-
-
作者
曾一
王翠钦
李函逾
洪豪
-
机构
重庆大学计算机学院
软件理论与技术重庆市重点实验室
-
出处
《计算机应用》
CSCD
北大核心
2014年第1期270-275,291,共7页
-
文摘
针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。
-
关键词
uml模型
交互概览图
流程信息
覆盖准则
测试线索
-
Keywords
uml model
Interaction Overview Diagram （IOD）
process information
coverage criterion
test clue
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于UML的智能井信息服务平台设计
- 3
-
-
作者
张旭辉
屈展
陈军斌
阙征
-
机构
西安石油大学计算机学院
西安石油大学理学院
-
出处
《西安石油大学学报（自然科学版）》
CAS
2004年第6期69-71,共3页
-
基金
石油科技中青年创新基金项目"智能完井综合系统的技术方法研究"(2 0 0 1CX 2 8)资助
-
文摘
智能井的进一步发展需要有完备的信息服务支持 .在系统分析油田智能井信息服务需求特征的基础上 ,应用统一建模语言 (UML)对智能井信息服务平台进行了设计 ,建立了基于B/S模式平台的三层体系结构 ,给出了平台的用例模型 ,利用部署图和顺序图描述了平台的系统组成及角色与系统间的交互行为 。
-
关键词
统一建模语言(uml)
顺序图
交互行为
用例模型
三层体系结构
平台
uml建模
智能井
油田
描述
-
Keywords
intelligent well
application service provider
Unified Modeling Language
information service platform
-
分类号
TE319
[石油与天然气工程—油气田开发工程]
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于即时验证的软件验证工具改进设计与实现
被引量：1
- 4
-
-
作者
郭丽娟
胡军
张剑
-
机构
南京航空航天大学信息科学与技术学院
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2011年第10期145-151,共7页
-
基金
教育部博士点基金(20070287052)
南京航空航天大学青年科技创新基金(NS2010095)资助
-
文摘
基于设计模型的分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段。基于即时验证(On-the-flyverification)方法对一个构件化嵌入式软件设计模型原型验证工具T-CBESD进行了改进设计与实现。集成Topcased和JFLAP扩展了T-CBESD图形化建模接口;设计并实现了相关输入处理与转换;重新设计并实现了状态空间数据结构,包括功能、非功能行为(实时、资源、能耗等)验证问题在内的多个基于路径的一致性即时验证算法。给出了改进工具在火灾预警系统中的应用实例与分析。
-
关键词
嵌入式软件设计
uml交互概观图模型
接口自动机
即时验证算法
形式化验证工具
-
Keywords
Eembedded software design
uml interactive overview diagram
Interface automata
On-the-fly verification algorithm
Formal verification tool
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
