{"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}
引用次数: 34
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
