根据CO-OPN规格生产原型

[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI:10.1109/IWRSP.1992.243915

Didier Buchs, Jacques Flumet, P. Racloz

{"title":"根据CO-OPN规格生产原型","authors":"Didier Buchs, Jacques Flumet, P. Racloz","doi":"10.1109/IWRSP.1992.243915","DOIUrl":null,"url":null,"abstract":"The techniques and the tools developed to produce prototypes from CO-OPN (concurrent object-oriented Petri net) specifications are described. CO-OPN is a specification language for the description of concurrent aspects and data-structure aspects of computer programs in an abstract way. The concurrent part of the formalism is described with Petri nets, while the data aspects are described with algebraic abstract data types. In CO-OPN, this association is structured by the object notion. For prototyping such a formalism, a fully operational semantics is required. The semantics is given for the simulation tools that have been developed. An editor and an environment for executing CO-OPN specifications have been developed. The specifications are prototyped using a translation of the specifications into Prolog.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"22 6","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"Producing prototypes from CO-OPN specifications\",\"authors\":\"Didier Buchs, Jacques Flumet, P. Racloz\",\"doi\":\"10.1109/IWRSP.1992.243915\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The techniques and the tools developed to produce prototypes from CO-OPN (concurrent object-oriented Petri net) specifications are described. CO-OPN is a specification language for the description of concurrent aspects and data-structure aspects of computer programs in an abstract way. The concurrent part of the formalism is described with Petri nets, while the data aspects are described with algebraic abstract data types. In CO-OPN, this association is structured by the object notion. For prototyping such a formalism, a fully operational semantics is required. The semantics is given for the simulation tools that have been developed. An editor and an environment for executing CO-OPN specifications have been developed. The specifications are prototyped using a translation of the specifications into Prolog.<<ETX>>\",\"PeriodicalId\":210681,\"journal\":{\"name\":\"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping\",\"volume\":\"22 6\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-06-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IWRSP.1992.243915\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IWRSP.1992.243915","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 9

摘要

描述了根据CO-OPN(并发面向对象Petri网)规范开发原型的技术和工具。CO-OPN是一种抽象描述计算机程序并发方面和数据结构方面的规范语言。该形式体系的并发部分用Petri网描述，数据部分用代数抽象数据类型描述。在CO-OPN中，这种关联是由对象概念构建的。对于这种形式化的原型，需要一个完全可操作的语义。给出了已开发的仿真工具的语义。已经开发了用于执行CO-OPN规范的编辑器和环境。使用将规范翻译成Prolog对规范进行原型化。

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

查看原文本刊更多论文

Producing prototypes from CO-OPN specifications

The techniques and the tools developed to produce prototypes from CO-OPN (concurrent object-oriented Petri net) specifications are described. CO-OPN is a specification language for the description of concurrent aspects and data-structure aspects of computer programs in an abstract way. The concurrent part of the formalism is described with Petri nets, while the data aspects are described with algebraic abstract data types. In CO-OPN, this association is structured by the object notion. For prototyping such a formalism, a fully operational semantics is required. The semantics is given for the simulation tools that have been developed. An editor and an environment for executing CO-OPN specifications have been developed. The specifications are prototyped using a translation of the specifications into Prolog.<>

求助全文

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

来源期刊

[1992 Proceedings] The Third International Workshop on Rapid System Prototyping

自引率

0.00%

发文量