×

数学ZBZ-数学第一资源

基于UML的构件化实时软件形式化描述。(英语) Zbl 1032.68560
Pezzè,Mauro(编辑),《软件工程的基本方法》。2003年第6届国际会议,作为欧洲软件理论与实践联合会议的一部分,2003年4月7日至11日在波兰华沙举行。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。262118-134(2003年)。
摘要:UML-RT作为一种实时应用程序的建模语言正在日益普及。不幸的是,UML-RT在形式上没有得到很好的定义,也不太适合支持规范阶段:例如,它没有提供表示时间和非确定性的本机结构。UML+是UML的一个扩展,它在形式上定义良好,适合表达实时系统的规范(例如,UML+模型的属性可以被正式验证)。然而,UML+不支持设计和开发。本文讨论了UML+到UML-RT的转换,从而为UML+和UML-RT一起使用的开发框架提供了基础,以便消除彼此的局限性。规范是用UML+编写的,通过形式化方法进行验证,然后转换成等价的UML-RT模型,该模型成为实现的起点。
整个系列请参见[Zbl 1017.00040].

理学硕士:
68N19 其他编程范例(面向对象、顺序、并发、自动等)
PDF格式 双歧杆菌 XML 引用
全文: 链接