海龟-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)