走向可扩展的图形形式

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design Pub Date : 1993-12-06 DOI:10.1109/IWSSD.1993.315511

C. Ghezzi, M. Pezzè

{"title":"走向可扩展的图形形式","authors":"C. Ghezzi, M. Pezzè","doi":"10.1109/IWSSD.1993.315511","DOIUrl":null,"url":null,"abstract":"Discusses how to tailor a graphical notation on top of a kernel formal (graphical) specification language. The goal is to allow an environment supporting formal specifications written in a kernel formal notation to be extended to support additional, application domain-oriented graphical notations. The semantics of the newly defined notation is given by a translation scheme into the kernel notation. Our approach is founded on high-level Petri nets, the kernel formalism, and graph grammars, which define the new graphical notations and their translation into target nets. The paper provides examples of the definition of Statecharts on top of the kernel formalism.<<ETX>>","PeriodicalId":259574,"journal":{"name":"Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Towards extensible graphical formalisms\",\"authors\":\"C. Ghezzi, M. Pezzè\",\"doi\":\"10.1109/IWSSD.1993.315511\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Discusses how to tailor a graphical notation on top of a kernel formal (graphical) specification language. The goal is to allow an environment supporting formal specifications written in a kernel formal notation to be extended to support additional, application domain-oriented graphical notations. The semantics of the newly defined notation is given by a translation scheme into the kernel notation. Our approach is founded on high-level Petri nets, the kernel formalism, and graph grammars, which define the new graphical notations and their translation into target nets. The paper provides examples of the definition of Statecharts on top of the kernel formalism.<<ETX>>\",\"PeriodicalId\":259574,\"journal\":{\"name\":\"Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-12-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IWSSD.1993.315511\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IWSSD.1993.315511","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

讨论如何在内核形式(图形)规范语言的基础上定制图形符号。目标是允许支持用内核形式符号编写的形式规范的环境得到扩展，以支持额外的、面向应用程序领域的图形符号。新定义的表示法的语义是通过将其转换为内核表示法来给出的。我们的方法建立在高级Petri网、核形式主义和图语法的基础上，这些语法定义了新的图形符号及其在目标网络中的翻译。本文提供了在内核形式化的基础上定义状态图的例子。

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

查看原文本刊更多论文

Towards extensible graphical formalisms

Discusses how to tailor a graphical notation on top of a kernel formal (graphical) specification language. The goal is to allow an environment supporting formal specifications written in a kernel formal notation to be extended to support additional, application domain-oriented graphical notations. The semantics of the newly defined notation is given by a translation scheme into the kernel notation. Our approach is founded on high-level Petri nets, the kernel formalism, and graph grammars, which define the new graphical notations and their translation into target nets. The paper provides examples of the definition of Statecharts on top of the kernel formalism.<>

求助全文

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

来源期刊

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design

自引率

0.00%

发文量