维埃里·德尔比安科；路易吉·拉瓦扎；马可·莫里；朱塞佩·奥科索 面向基于组件的实时软件的基于UML的正式规范。 （英语） 兹比尔1032.68560 Pezzè，Mauro（编辑），《软件工程的基本方法》，2003年4月7日至11日在波兰华沙举行的第六届国际会议FASE 2003，该会议是关于软件理论和实践的欧洲联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2621, 118-134 (2003). 摘要：UML-RT作为实时应用程序的建模语言越来越受欢迎。不幸的是，UML-RT没有得到很好的定义，也不适合支持规范阶段：例如，它没有提供表示时间和非确定性的本地构造。UML+是UML的一个扩展，它在形式上定义良好，适合表达实时系统的规范（例如，UML+模型的属性可以进行形式验证）。然而，UML+不支持设计和开发。本文讨论了UML+到UML-RT的转换，从而为UML+和UML-RT一起使用的开发框架奠定了基础，以消除彼此的局限性。规范是使用UML+编写的，通过形式化方法进行验证，然后在等效的UML-RT模型中进行转换，该模型成为实现的起点。关于整个系列，请参见[Zbl 1017.00040号]. 引用于1文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 软件：Uppaal公司；克洛诺斯；税收；海龟-P PDF格式BibTeX公司 XML格式引用 \textit{V.Del Bianco}等人，Lect。注释计算。科学。2621118--134（2003年；Zbl 1032.68560） 全文： 链接