{"title":"使用CO-OPN的分布式系统规范","authors":"Didier Buchs, N. Guelfi","doi":"10.1109/FTDCS.1992.217518","DOIUrl":null,"url":null,"abstract":"The CO-OPN specification formalism for large concurrent systems is presented. CO-OPN includes specification of data types and concurrency through the use of modular algebraic specification and structured algebraic nets. This structure follows the object oriented paradigms. Distributed system specification is studied with CO-OPN through a case study of communication components: the Transit-Node. The interesting specification features of CO-OPN (structuring, refinements and concurrency) are discussed.<<ETX>>","PeriodicalId":186762,"journal":{"name":"Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"Distributed system specification using CO-OPN\",\"authors\":\"Didier Buchs, N. Guelfi\",\"doi\":\"10.1109/FTDCS.1992.217518\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The CO-OPN specification formalism for large concurrent systems is presented. CO-OPN includes specification of data types and concurrency through the use of modular algebraic specification and structured algebraic nets. This structure follows the object oriented paradigms. Distributed system specification is studied with CO-OPN through a case study of communication components: the Transit-Node. The interesting specification features of CO-OPN (structuring, refinements and concurrency) are discussed.<<ETX>>\",\"PeriodicalId\":186762,\"journal\":{\"name\":\"Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems\",\"volume\":\"10 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-04-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FTDCS.1992.217518\",\"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 the Third Workshop on Future Trends of Distributed Computing Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FTDCS.1992.217518","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The CO-OPN specification formalism for large concurrent systems is presented. CO-OPN includes specification of data types and concurrency through the use of modular algebraic specification and structured algebraic nets. This structure follows the object oriented paradigms. Distributed system specification is studied with CO-OPN through a case study of communication components: the Transit-Node. The interesting specification features of CO-OPN (structuring, refinements and concurrency) are discussed.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
