{"title":"扩展和重用OCL的方法分类","authors":"Lars Hamann, Martin Gogolla, Mustafa Al-Lail","doi":"10.1145/3550356.3561596","DOIUrl":null,"url":null,"abstract":"Languages with a fixed set of data types and operations are very useful in formal verification and validation. However, the languages that are most relevant to industrial applications are those that provide extension mechanisms to define new capabilities. For example, Java libraries contribute essentially to the success of Java. In this paper we argue that OCL needs such extension capabilities across tooling boundaries. We describe different approaches of extending languages and elaborate on how such approaches can be applied to OCL. We sketch ideas of such approaches using a well-known OCL tool and suggest changes to the OCL standard to accommodate such approaches. In our opinion, the inclusion of such extension and reusability mechanisms will pave the way for better adoption of OCL in industrial settings and real-world projects.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"153 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Categorization of approaches to extend and reuse OCL\",\"authors\":\"Lars Hamann, Martin Gogolla, Mustafa Al-Lail\",\"doi\":\"10.1145/3550356.3561596\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Languages with a fixed set of data types and operations are very useful in formal verification and validation. However, the languages that are most relevant to industrial applications are those that provide extension mechanisms to define new capabilities. For example, Java libraries contribute essentially to the success of Java. In this paper we argue that OCL needs such extension capabilities across tooling boundaries. We describe different approaches of extending languages and elaborate on how such approaches can be applied to OCL. We sketch ideas of such approaches using a well-known OCL tool and suggest changes to the OCL standard to accommodate such approaches. In our opinion, the inclusion of such extension and reusability mechanisms will pave the way for better adoption of OCL in industrial settings and real-world projects.\",\"PeriodicalId\":182662,\"journal\":{\"name\":\"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings\",\"volume\":\"153 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-10-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"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.3561596\",\"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.3561596","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Categorization of approaches to extend and reuse OCL
Languages with a fixed set of data types and operations are very useful in formal verification and validation. However, the languages that are most relevant to industrial applications are those that provide extension mechanisms to define new capabilities. For example, Java libraries contribute essentially to the success of Java. In this paper we argue that OCL needs such extension capabilities across tooling boundaries. We describe different approaches of extending languages and elaborate on how such approaches can be applied to OCL. We sketch ideas of such approaches using a well-known OCL tool and suggest changes to the OCL standard to accommodate such approaches. In our opinion, the inclusion of such extension and reusability mechanisms will pave the way for better adoption of OCL in industrial settings and real-world projects.