使用Jaza动画UML类图的RoZ规范

2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI:10.1109/SEW.2006.39

Y. Ledru

{"title":"使用Jaza动画UML类图的RoZ规范","authors":"Y. Ledru","doi":"10.1109/SEW.2006.39","DOIUrl":null,"url":null,"abstract":"One of the goals of the integration of formal and graphical methods is to reuse tool support associated with formal methods. This paper reports on a combination of the Jaza Z animator with the RoZ tool. RoZ produces a Z specification from an annotated UML class diagram. It also generates the specification of basic operations associated to the diagram. The paper recalls the principles of the RoZ tool, gives a typical animation session, and discusses how RoZ and class diagrams must be adapted to support animation","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":"{\"title\":\"Using Jaza to Animate RoZ Specifications of UML Class Diagrams\",\"authors\":\"Y. Ledru\",\"doi\":\"10.1109/SEW.2006.39\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"One of the goals of the integration of formal and graphical methods is to reuse tool support associated with formal methods. This paper reports on a combination of the Jaza Z animator with the RoZ tool. RoZ produces a Z specification from an annotated UML class diagram. It also generates the specification of basic operations associated to the diagram. The paper recalls the principles of the RoZ tool, gives a typical animation session, and discusses how RoZ and class diagrams must be adapted to support animation\",\"PeriodicalId\":127158,\"journal\":{\"name\":\"2006 30th Annual IEEE/NASA Software Engineering Workshop\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-04-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"13\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 30th Annual IEEE/NASA Software Engineering Workshop\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEW.2006.39\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 30th Annual IEEE/NASA Software Engineering Workshop","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEW.2006.39","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 13

摘要

形式化和图形化方法集成的目标之一是重用与形式化方法相关的工具支持。本文报告了Jaza Z动画器与RoZ工具的组合。RoZ从带注释的UML类图中生成Z规范。它还生成与图相关的基本操作的规范。本文回顾了RoZ工具的原理，给出了一个典型的动画会话，并讨论了如何适应RoZ和类图来支持动画

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Using Jaza to Animate RoZ Specifications of UML Class Diagrams

One of the goals of the integration of formal and graphical methods is to reuse tool support associated with formal methods. This paper reports on a combination of the Jaza Z animator with the RoZ tool. RoZ produces a Z specification from an annotated UML class diagram. It also generates the specification of basic operations associated to the diagram. The paper recalls the principles of the RoZ tool, gives a typical animation session, and discusses how RoZ and class diagrams must be adapted to support animation

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2006 30th Annual IEEE/NASA Software Engineering Workshop

自引率

0.00%

发文量