海龟-P

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

zbMATH中的参考文献（参考文献5条)

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

  1. 比安科，维埃里德尔；拉瓦萨，路易吉；毛里，马可；Occorso，Giuseppe:面向基于uML的基于组件的实时软件的形式化规范（2007）ioport公司
  2. 阿普维尔，卢多维奇；皮埃尔·德萨基·桑内斯；Khendek，Ferhat:TURTLE-P：关键和分布式系统正式验证的UML概要（2006）ioport公司
  3. 萨达尼，塔里克；博伊尔，马克；皮埃尔·德萨基·桑内斯；Courtiat，Jean-Pierre:有限时间Petri网对RT-LOTOS项的有效表示（2006）
  4. 阿普维尔，卢多维奇；库迪亚特，让皮埃尔；洛尔，克里斯托夫；de Saqui Sannes，Pierre:TURTLE:由正式验证工具包支持的实时UML概要文件（2004）ioport公司
  5. 德尔比安科，维埃里；拉瓦吉，路易；毛里，马可；Occorso，Giuseppe:面向基于UML的基于组件的实时软件的形式化规范（2003）