用于软件规范和表示的OCL库

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI:10.1145/3550356.3561565

K. Lano, Shekoufeh Kolahdouz Rahimi, Kunxiang Jin

{"title":"用于软件规范和表示的OCL库","authors":"K. Lano, Shekoufeh Kolahdouz Rahimi, Kunxiang Jin","doi":"10.1145/3550356.3561565","DOIUrl":null,"url":null,"abstract":"The OCL 2.4 standard library has a relatively small set of operations for primitive types, and no facilities for common software aspects such as processes and files. In this paper we identify requirements for extended library facilities, based on examination of related specification languages, and on consideration of the need to represent program semantics for software migration. We outline possible libraries and provide example implementations.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"24 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"OCL libraries for software specification and representation\",\"authors\":\"K. Lano, Shekoufeh Kolahdouz Rahimi, Kunxiang Jin\",\"doi\":\"10.1145/3550356.3561565\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The OCL 2.4 standard library has a relatively small set of operations for primitive types, and no facilities for common software aspects such as processes and files. In this paper we identify requirements for extended library facilities, based on examination of related specification languages, and on consideration of the need to represent program semantics for software migration. We outline possible libraries and provide example implementations.\",\"PeriodicalId\":182662,\"journal\":{\"name\":\"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings\",\"volume\":\"24 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-10-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3550356.3561565\",\"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 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3550356.3561565","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

OCL 2.4标准库为基本类型提供了相对较小的一组操作，并且没有为常见的软件方面(如进程和文件)提供设施。在本文中，我们根据对相关规范语言的检查，以及对表示软件迁移的程序语义的需要的考虑，确定了扩展库功能的需求。我们概述了可能的库并提供了示例实现。

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

查看原文本刊更多论文

OCL libraries for software specification and representation

The OCL 2.4 standard library has a relatively small set of operations for primitive types, and no facilities for common software aspects such as processes and files. In this paper we identify requirements for extended library facilities, based on examination of related specification languages, and on consideration of the need to represent program semantics for software migration. We outline possible libraries and provide example implementations.

求助全文

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

来源期刊

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

自引率

0.00%

发文量