UML活动图到事件b:一种基于制度理论的模型转换方法

Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014) Pub Date : 2014-08-01 DOI:10.1109/IRI.2014.7051974

Amine Achouri, Leila Jemni Ben Ayed

{"title":"UML活动图到事件b:一种基于制度理论的模型转换方法","authors":"Amine Achouri, Leila Jemni Ben Ayed","doi":"10.1109/IRI.2014.7051974","DOIUrl":null,"url":null,"abstract":"Making jointly a semi formal language and a formal language can be seen as the transformation of a semi formal model into a formal model. Thus, this task can be considered as a model transformation from an abstract model into another concrete one. In this context, the paper at hand comes up with an approach to model transformation from a UML Activity Diagram (UML AD) into the Event-B model. The approach will be fully detailed in the paper by putting the stress on its different steps. The issue of semantic preserving during the transformation process will also be discussed. The latter is performed after defining two local semantics for the UML AD and Event-B specification. The mathematical foundation of our approach is the institution theory. Such a theory establishes a new notion of algebraic semantic for the source and target formalisms. Additionally, with the institution morphisms, we define a semantic correctness and coherence of the model transformation.","PeriodicalId":360013,"journal":{"name":"Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"UML activity diagram to event-B: A model transformation approach based on the institution theory\",\"authors\":\"Amine Achouri, Leila Jemni Ben Ayed\",\"doi\":\"10.1109/IRI.2014.7051974\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Making jointly a semi formal language and a formal language can be seen as the transformation of a semi formal model into a formal model. Thus, this task can be considered as a model transformation from an abstract model into another concrete one. In this context, the paper at hand comes up with an approach to model transformation from a UML Activity Diagram (UML AD) into the Event-B model. The approach will be fully detailed in the paper by putting the stress on its different steps. The issue of semantic preserving during the transformation process will also be discussed. The latter is performed after defining two local semantics for the UML AD and Event-B specification. The mathematical foundation of our approach is the institution theory. Such a theory establishes a new notion of algebraic semantic for the source and target formalisms. Additionally, with the institution morphisms, we define a semantic correctness and coherence of the model transformation.\",\"PeriodicalId\":360013,\"journal\":{\"name\":\"Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IRI.2014.7051974\",\"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 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IRI.2014.7051974","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

将半形式语言和形式语言结合起来，可以看作是将半形式模型转化为形式模型。因此，这个任务可以看作是从一个抽象模型到另一个具体模型的模型转换。在这种情况下，本文提出了一种从UML活动图(UML AD)到Event-B模型的模型转换方法。本文将通过强调其不同步骤，对该方法进行详细介绍。本文还讨论了转换过程中的语义保留问题。后者是在为UML AD和Event-B规范定义两个本地语义之后执行的。我们的方法的数学基础是制度理论。该理论为源形式主义和目标形式主义建立了一种新的代数语义概念。此外，通过机构态射，我们定义了模型转换的语义正确性和一致性。

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

查看原文本刊更多论文

UML activity diagram to event-B: A model transformation approach based on the institution theory

Making jointly a semi formal language and a formal language can be seen as the transformation of a semi formal model into a formal model. Thus, this task can be considered as a model transformation from an abstract model into another concrete one. In this context, the paper at hand comes up with an approach to model transformation from a UML Activity Diagram (UML AD) into the Event-B model. The approach will be fully detailed in the paper by putting the stress on its different steps. The issue of semantic preserving during the transformation process will also be discussed. The latter is performed after defining two local semantics for the UML AD and Event-B specification. The mathematical foundation of our approach is the institution theory. Such a theory establishes a new notion of algebraic semantic for the source and target formalisms. Additionally, with the institution morphisms, we define a semantic correctness and coherence of the model transformation.

求助全文

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

来源期刊

Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014)

自引率

0.00%

发文量