{"title":"UML和Object-Z之间基于元模型的转换","authors":"Soon-Kyeong Kim, D. Carrington, R. Duke","doi":"10.1109/HCC.2001.995246","DOIUrl":null,"url":null,"abstract":"Formal modeling notations and visual modeling notations can complement each other when developing software models. The most frequently adopted approach is to define transformations between the visual and formal models. However, a significant problem with the currently suggested approaches is that the transformation itself is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and inconsistent. This paper presents a metamodel-based transformation between UML and Object-Z. In the paper, the two languages are defined in terms of their metamodels, and a systematic transformation between the models is provided at the meta-level. As a consequence, we can provide a precise, consistent and complete transformation between a visual model in UML and a formal model in Object-Z. In a case study, we illustrate how the metamodel-based transformation enables us to create a UML visual representation of an Object-Z specification.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"A metamodel-based transformation between UML and Object-Z\",\"authors\":\"Soon-Kyeong Kim, D. Carrington, R. Duke\",\"doi\":\"10.1109/HCC.2001.995246\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Formal modeling notations and visual modeling notations can complement each other when developing software models. The most frequently adopted approach is to define transformations between the visual and formal models. However, a significant problem with the currently suggested approaches is that the transformation itself is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and inconsistent. This paper presents a metamodel-based transformation between UML and Object-Z. In the paper, the two languages are defined in terms of their metamodels, and a systematic transformation between the models is provided at the meta-level. As a consequence, we can provide a precise, consistent and complete transformation between a visual model in UML and a formal model in Object-Z. In a case study, we illustrate how the metamodel-based transformation enables us to create a UML visual representation of an Object-Z specification.\",\"PeriodicalId\":438014,\"journal\":{\"name\":\"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)\",\"volume\":\"20 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-09-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HCC.2001.995246\",\"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 IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HCC.2001.995246","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A metamodel-based transformation between UML and Object-Z
Formal modeling notations and visual modeling notations can complement each other when developing software models. The most frequently adopted approach is to define transformations between the visual and formal models. However, a significant problem with the currently suggested approaches is that the transformation itself is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and inconsistent. This paper presents a metamodel-based transformation between UML and Object-Z. In the paper, the two languages are defined in terms of their metamodels, and a systematic transformation between the models is provided at the meta-level. As a consequence, we can provide a precise, consistent and complete transformation between a visual model in UML and a formal model in Object-Z. In a case study, we illustrate how the metamodel-based transformation enables us to create a UML visual representation of an Object-Z specification.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
