走向UML活动图语义的公理化:一个情景演算的视角

2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Pub Date : 2010-08-31 DOI:10.1109/WI-IAT.2010.135

Xing Tan, M. Grüninger

{"title":"走向UML活动图语义的公理化:一个情景演算的视角","authors":"Xing Tan, M. Grüninger","doi":"10.1109/WI-IAT.2010.135","DOIUrl":null,"url":null,"abstract":"In this paper, the UML activity diagrams are first defined graph-theoretically, with an adoption of the concepts of Petri nets tokens. The semantics of activity diagrams is further axiomatized as a logical action theory called SCAD. Example applications of SCAD are also given.","PeriodicalId":340211,"journal":{"name":"2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology","volume":"87 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective\",\"authors\":\"Xing Tan, M. Grüninger\",\"doi\":\"10.1109/WI-IAT.2010.135\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, the UML activity diagrams are first defined graph-theoretically, with an adoption of the concepts of Petri nets tokens. The semantics of activity diagrams is further axiomatized as a logical action theory called SCAD. Example applications of SCAD are also given.\",\"PeriodicalId\":340211,\"journal\":{\"name\":\"2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology\",\"volume\":\"87 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-08-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WI-IAT.2010.135\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WI-IAT.2010.135","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

在本文中，首先定义了UML活动图，并采用了Petri网令牌的概念。活动图的语义被进一步公理化为称为SCAD的逻辑动作理论。最后给出了SCAD的应用实例。

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

查看原文本刊更多论文

Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective

In this paper, the UML activity diagrams are first defined graph-theoretically, with an adoption of the concepts of Petri nets tokens. The semantics of activity diagrams is further axiomatized as a logical action theory called SCAD. Example applications of SCAD are also given.

求助全文

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

来源期刊

2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology

自引率

0.00%

发文量