海龟-P

TURTLE-P：用于关键和分布式系统正式验证的UML概要文件。时态图和时态操作系统扩展了UML或lot-RT操作系统，并为短的UML-RT操作系统扩展了时序操作系统。TURTLE是一个实时UML概要文件，具有用RT-LOTOS表示的形式化语义。此外，它还得到了一个正式的验证工具包的支持。本文介绍了TURTLE-P，一个不再局限于分布式系统抽象建模的扩展概要文件。实际上，TURTLE-P解决了通信体系结构的具体描述，包括服务质量参数（延迟、抖动等）。这个新的概要文件支持硬件和软件组件与扩展UML组件和部署图的协同设计。由于RT-LOTOS中给出的形式化语义，可以评估和/或验证这些图的属性。以一个通信卫星系统为例说明了TURTLE-P的应用。

zbMATH参考文献（参考 5篇文章

显示第1到第5个结果，共5个。
按年份排序(引用)

  1. Bianco，Vieri del；Lavazza，Luigi；Mauri，Marco；Occorso，Giuseppe：面向基于uML的基于组件的实时软件的形式化规范（2007）ioport公司
  2. Ludovic，Apvrille；De Saqui Sannes，Pierre；Khendek，Ferhat:TURTLE-P：关键和分布式系统正式验证的UML概要文件（2006）ioport公司
  3. Sadani，Tarek；Boyer，Marc；de Saqui Sannes，Pierre；Courtiat，Jean-Pierre:用有限时间Petri网有效表示RT-LOTOS项（2006）
  4. Ludovic，Apvrille；Courtiat，Jean-Pierre；Lohr，Christophe；de Saqui Sannes，Pierre:TURTLE：由正式验证工具包支持的实时UML概要文件（2004）ioport公司
  5. Del Bianco，Vieri；Lavazza，Luigi；Mauri，Marco；Occorso，Giuseppe：面向基于UML的基于组件的实时软件的形式化规范（2003）