• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Workshop on Abstract State Machines(ASM 2004); 20040524-20040528; Wittenberg; DE >Formalizing Liveness-Enriched Sequence Diagrams Using ASMs
【24h】

Formalizing Liveness-Enriched Sequence Diagrams Using ASMs

机译：使用ASM形式化生动活泼的序列图

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In UML 2.0 sequence diagrams have been considerably extended, influenced by Live Sequence Charts (LSCs), a very expressive extension of Message Sequence Charts (MSC) with liveness. Nonetheless, fundamental liveness properties can still not be expressed in the new sequence diagrams. In recent work, we have proposed to solve this by enriching sequence diagrams with a simple but powerful Object Constraint Language (OCL) template for liveness. In this paper, we show how to formalize our liveness-enriched sequence diagrams using Abstract State Machines. Sequence diagrams still have several open problems. For example, the semantics of some of the newly introduced operators is ambiguous, and it is not clear how they can be used or combined with other operators. We address some of these issues in the paper. Finally, a further advantage of using ASMs as a semantic model concerns synthesis. It is our ultimate goal to be able to synthesise automatically a state-based object system from our richer sequence diagrams. ASMs are a state-based and operational formalism which therefore eases this task considerably.
机译：在UML 2.0中，受实时序列图（LSC）的影响，序列图已得到相当大的扩展，这是消息序列图（MSC）具有活泼性的一种非常有表现力的扩展。尽管如此，基本活动特性仍然无法在新的序列图中表达。在最近的工作中，我们提出了通过使用简单但功能强大的对象约束语言（OCL）模板丰富序列图来解决问题的方法来解决此问题。在本文中，我们展示了如何使用抽象状态机形式化我们丰富的活动序列图。顺序图仍然存在一些未解决的问题。例如，一些新引入的运算符的语义是模棱两可的，并且不清楚如何将其与其他运算符结合使用或组合。我们在本文中解决了其中一些问题。最后，使用ASM作为语义模型的另一个优点涉及到综合。我们的最终目标是能够从我们更丰富的序列图中自动综合基于状态的对象系统。 ASM是基于状态和操作的形式主义，因此可以大大简化此任务。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号