龚嘉宇
- 作品数：2 被引量：6H指数：1
- 供职机构：南京大学更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于场景时间规约的可达性分析
- 建模是软件过程中的基本活动，可以帮助我们更好的理解和构造系统，还可以提供简化和复用的机会。随着软件系统的规模和复杂性的日趋增大，各部件之间的交互活动已成为系统开发过程中规约和建模的重要方面。基于场景的规约（Scenari...
- 龚嘉宇
- 关键词：实时系统统一建模语言
- 文献传递
- UML时间顺序图的可达性分析被引量：6
- 2005年
- 对于实时系统来说,UML顺序图描述了对象之间的交互。对象之间的交互展现了系统行为的场景。本文中,我们针对描述多场景的UML顺序图组合中的可达性问题进行研究。尽管这个问题可以转换为相应的时间自动机,然后进行处理,但其转化为之后,状态空间巨大,解决的开销比较大,效率不高。针对部分可达性问题,本文采用更为高效的基于线性规划的解决方案,其思想如下:首先遍历所有到达给定节点的简单路径片断来验证可达性,随后遍历到达给定节点的并且包含所有循环至多一次的路径片断来验证可达性。由于我们并没有遍历所有路径片断,因此用本文的方法判定给定节点的可达性的时候,结果会有三种:可达,不可达和不确定。由于有些循环与可达性是无关的,我们进一步通过识别哪些循环与可达性无关,对算法进行改进。
- 龚嘉宇李宣东郑国梁
- 关键词：顺序图UML可达性分析时间自动机实时系统片断
