伏都教 swMATH ID: 6300 软件作者： 迪瑟斯，卡斯滕；迈克尔·休恩 说明： Vooduu:使用UPPAAL验证面向对象设计统一建模语言（UML）提供序列图，以根据场景指定对象间通信。对象内行为由状态图建模。我们的工具Vooduu对两个视图执行自动一致性检查，即，它自动验证建模系统的一系列UML状态图是否满足作为UML序列图给出的一组通信和时间约束。该工具的前端被实现为商业UML工具的插件。为了进行验证，状态图和序列图被转换为时间自动机的形式。该工具根据每个序列图的解释状态生成时序逻辑查询。验证由模型检查器UPPAAL执行。结果被重新转换成序列图。因此，正式的验证机制主要是对用户隐藏的。该工具已应用于机器人原型的控制软件模型。 主页： http://rd.springer.com/chapter/10.1007%2F978-3-540-24730-2_10#第1页 相关软件： Uppaal公司 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Vooduu：使用UPPAAL验证面向对象的设计。 Zbl 1126.68473号迪瑟斯，卡斯滕;迈克尔·休恩 2004 2位作者引用 1 迪瑟斯，卡斯滕 1 迈克尔·休恩 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文