面向UML扩展的动态元建模:UML序列图的可扩展语义

Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Pub Date : 2001-09-05 DOI:10.1109/HCC.2001.995242

Jan Hendrik Hausmann, R. Heckel, Stefan Sauer

{"title":"面向UML扩展的动态元建模:UML序列图的可扩展语义","authors":"Jan Hendrik Hausmann, R. Heckel, Stefan Sauer","doi":"10.1109/HCC.2001.995242","DOIUrl":null,"url":null,"abstract":"The unified modeling language (UML) still lacks a formal and commonly agreed specification of its semantics that also accounts for UML's built-in semantic variation points and extension mechanisms. The semantic specification of such extensions must be formally integrated and consistent with the standard UML semantics without changing the latter. Feasible semantic approaches must thus allow advanced UML modelers to define domain-specific language extensions in a precise, yet usable manner. We proposed dynamic meta modeling for specifying operational semantics of UML behavioral diagrams based on UML collaboration diagrams that are interpreted as graph transformation rules. Herein we show how this approach can be advanced to specify the semantics of UML extensions. As a case study we specify the operational semantics of UML sequence diagrams and extend this specification to include features for modeling multimedia applications.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"34","resultStr":"{\"title\":\"Towards dynamic meta modeling of UML extensions: an extensible semantics for UML sequence diagrams\",\"authors\":\"Jan Hendrik Hausmann, R. Heckel, Stefan Sauer\",\"doi\":\"10.1109/HCC.2001.995242\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The unified modeling language (UML) still lacks a formal and commonly agreed specification of its semantics that also accounts for UML's built-in semantic variation points and extension mechanisms. The semantic specification of such extensions must be formally integrated and consistent with the standard UML semantics without changing the latter. Feasible semantic approaches must thus allow advanced UML modelers to define domain-specific language extensions in a precise, yet usable manner. We proposed dynamic meta modeling for specifying operational semantics of UML behavioral diagrams based on UML collaboration diagrams that are interpreted as graph transformation rules. Herein we show how this approach can be advanced to specify the semantics of UML extensions. As a case study we specify the operational semantics of UML sequence diagrams and extend this specification to include features for modeling multimedia applications.\",\"PeriodicalId\":438014,\"journal\":{\"name\":\"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)\",\"volume\":\"7 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-09-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"34\",\"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.995242\",\"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.995242","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 34

摘要

统一建模语言(UML)仍然缺乏其语义的正式和普遍同意的规范，该规范也说明了UML的内置语义变化点和扩展机制。这种扩展的语义规范必须正式集成，并与标准UML语义保持一致，而不改变后者。因此，可行的语义方法必须允许高级UML建模者以精确而可用的方式定义特定于领域的语言扩展。我们提出了动态元建模来指定UML行为图的操作语义，该操作语义基于UML协作图，这些协作图被解释为图形转换规则。在这里，我们展示了如何将这种方法推进到指定UML扩展的语义。作为一个案例研究，我们指定了UML序列图的操作语义，并扩展了该规范以包含多媒体应用程序建模的特性。

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

查看原文本刊更多论文

Towards dynamic meta modeling of UML extensions: an extensible semantics for UML sequence diagrams

The unified modeling language (UML) still lacks a formal and commonly agreed specification of its semantics that also accounts for UML's built-in semantic variation points and extension mechanisms. The semantic specification of such extensions must be formally integrated and consistent with the standard UML semantics without changing the latter. Feasible semantic approaches must thus allow advanced UML modelers to define domain-specific language extensions in a precise, yet usable manner. We proposed dynamic meta modeling for specifying operational semantics of UML behavioral diagrams based on UML collaboration diagrams that are interpreted as graph transformation rules. Herein we show how this approach can be advanced to specify the semantics of UML extensions. As a case study we specify the operational semantics of UML sequence diagrams and extend this specification to include features for modeling multimedia applications.

求助全文

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

来源期刊

Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)

自引率

0.00%

发文量