OCL表达式及其上下文:OCL与RSL语义集成的转换规则

2007 IEEE International Symposium on Signal Processing and Information Technology Pub Date : 2007-12-01 DOI:10.1109/ISSPIT.2007.4457995

N. Debnath, A. Funes, A. Dasso, R. Uzal, G. Montejano, D. Riesco

{"title":"OCL表达式及其上下文:OCL与RSL语义集成的转换规则","authors":"N. Debnath, A. Funes, A. Dasso, R. Uzal, G. Montejano, D. Riesco","doi":"10.1109/ISSPIT.2007.4457995","DOIUrl":null,"url":null,"abstract":"A set of rules to integrate Object Constraint Language (OCL) and the RALSE Specification Language (RSL) are shown and discussed. The rules presented here cover the translation of OCL expressions to semantically equivalent RSL expressions. The proposed rules here complete our previous work where we showed how to derive an initial formal specification in RSL from a UML class diagram, illustrated the use of RSL and OCL integration via an example, and proposed a complementary subset of rules for the translation of types and operations. We also present here a brief explanation of previous work on which the transformation rules are based.","PeriodicalId":299267,"journal":{"name":"2007 IEEE International Symposium on Signal Processing and Information Technology","volume":"23 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"OCL Expressions and their Context: Transformation Rules for the Semantic Integration of OCL and RSL\",\"authors\":\"N. Debnath, A. Funes, A. Dasso, R. Uzal, G. Montejano, D. Riesco\",\"doi\":\"10.1109/ISSPIT.2007.4457995\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A set of rules to integrate Object Constraint Language (OCL) and the RALSE Specification Language (RSL) are shown and discussed. The rules presented here cover the translation of OCL expressions to semantically equivalent RSL expressions. The proposed rules here complete our previous work where we showed how to derive an initial formal specification in RSL from a UML class diagram, illustrated the use of RSL and OCL integration via an example, and proposed a complementary subset of rules for the translation of types and operations. We also present here a brief explanation of previous work on which the transformation rules are based.\",\"PeriodicalId\":299267,\"journal\":{\"name\":\"2007 IEEE International Symposium on Signal Processing and Information Technology\",\"volume\":\"23 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2007 IEEE International Symposium on Signal Processing and Information Technology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISSPIT.2007.4457995\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2007 IEEE International Symposium on Signal Processing and Information Technology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISSPIT.2007.4457995","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

给出并讨论了一套集成对象约束语言(OCL)和rse规范语言(RSL)的规则。这里介绍的规则涵盖了将OCL表达式转换为语义等效的RSL表达式。这里提出的规则完成了我们之前的工作，我们展示了如何从UML类图中导出RSL中的初始形式化规范，通过示例说明了RSL和OCL集成的使用，并为类型和操作的转换提出了规则的补充子集。在这里，我们还简要说明了转换规则所基于的以前的工作。

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

查看原文本刊更多论文

OCL Expressions and their Context: Transformation Rules for the Semantic Integration of OCL and RSL

A set of rules to integrate Object Constraint Language (OCL) and the RALSE Specification Language (RSL) are shown and discussed. The rules presented here cover the translation of OCL expressions to semantically equivalent RSL expressions. The proposed rules here complete our previous work where we showed how to derive an initial formal specification in RSL from a UML class diagram, illustrated the use of RSL and OCL integration via an example, and proposed a complementary subset of rules for the translation of types and operations. We also present here a brief explanation of previous work on which the transformation rules are based.

求助全文

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

来源期刊

2007 IEEE International Symposium on Signal Processing and Information Technology

自引率

0.00%

发文量