UML和B规范技术的集成:从OCL表达式到B规范的系统转换

Ninth Asia-Pacific Software Engineering Conference, 2002. Pub Date : 2002-12-04 DOI:10.1109/APSEC.2002.1183053

Hung Ledang, J. Souquières

{"title":"UML和B规范技术的集成:从OCL表达式到B规范的系统转换","authors":"Hung Ledang, J. Souquières","doi":"10.1109/APSEC.2002.1183053","DOIUrl":null,"url":null,"abstract":"In the continuity of our research on integration of UML and B, we address the transformation from OCL (Object Constraint Language), which is an integral part of UML, into B. Our derivation schemes allow to systematically even automatically derive into B not only the complementary class invariants, the statechart guard conditions, but also the OCL specification for UML operations.","PeriodicalId":132364,"journal":{"name":"Ninth Asia-Pacific Software Engineering Conference, 2002.","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"72","resultStr":"{\"title\":\"Integration of UML and B specification techniques: systematic transformation from OCL expressions into B\",\"authors\":\"Hung Ledang, J. Souquières\",\"doi\":\"10.1109/APSEC.2002.1183053\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In the continuity of our research on integration of UML and B, we address the transformation from OCL (Object Constraint Language), which is an integral part of UML, into B. Our derivation schemes allow to systematically even automatically derive into B not only the complementary class invariants, the statechart guard conditions, but also the OCL specification for UML operations.\",\"PeriodicalId\":132364,\"journal\":{\"name\":\"Ninth Asia-Pacific Software Engineering Conference, 2002.\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-12-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"72\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Ninth Asia-Pacific Software Engineering Conference, 2002.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/APSEC.2002.1183053\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Ninth Asia-Pacific Software Engineering Conference, 2002.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/APSEC.2002.1183053","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 72

摘要

在我们对UML和B的集成研究的连续性中，我们讨论了从UML的一个组成部分OCL(对象约束语言)到B的转换。我们的派生方案不仅允许系统地甚至自动地将互补的类不变量、状态图保护条件以及UML操作的OCL规范派生到B。

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

查看原文本刊更多论文

Integration of UML and B specification techniques: systematic transformation from OCL expressions into B

In the continuity of our research on integration of UML and B, we address the transformation from OCL (Object Constraint Language), which is an integral part of UML, into B. Our derivation schemes allow to systematically even automatically derive into B not only the complementary class invariants, the statechart guard conditions, but also the OCL specification for UML operations.

求助全文

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

来源期刊

Ninth Asia-Pacific Software Engineering Conference, 2002.

自引率

0.00%

发文量