Detecting livelock in activity diagram using process expression
© 2017 IEEE. The activity diagram is a diagram dedicated to model the flow of actions from the beginning point to the termination point. Despite the popularity, the diagram does not incorporate with the formalism. As a consequence, the result diagram could contain some errors in the structure. One t...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | Conference Proceeding |
| 出版: |
2018
|
| 主題: | |
| 在線閱讀: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85019181601&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/56643 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| id |
th-cmuir.6653943832-56643 |
|---|---|
| record_format |
dspace |
| spelling |
th-cmuir.6653943832-566432018-09-05T03:34:50Z Detecting livelock in activity diagram using process expression Prompong Sugunnasil Arts and Humanities Computer Science © 2017 IEEE. The activity diagram is a diagram dedicated to model the flow of actions from the beginning point to the termination point. Despite the popularity, the diagram does not incorporate with the formalism. As a consequence, the result diagram could contain some errors in the structure. One the common problems is the livelock problem, a state of infinite execution. In this paper, a formal method to identify the livelock in the activity diagram is proposed. One common mathematical approach is the expression, a well-formed combination of symbol. The proposed method employs the explainability of the expression to identify the problem. The working strategy of this paper is to define a formalism using the expression and to show that the activity diagram can be converted into the proposed method. Then, the livelock will be identified through a specific operation of the expression. As a result, examples of the conversion are given and the livelock will be identified, if there is any. 2018-09-05T03:28:22Z 2018-09-05T03:28:22Z 2017-04-19 Conference Proceeding 2-s2.0-85019181601 10.1109/ICDAMT.2017.7904943 https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85019181601&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/56643 |
| institution |
Chiang Mai University |
| building |
Chiang Mai University Library |
| country |
Thailand |
| collection |
CMU Intellectual Repository |
| topic |
Arts and Humanities Computer Science |
| spellingShingle |
Arts and Humanities Computer Science Prompong Sugunnasil Detecting livelock in activity diagram using process expression |
| description |
© 2017 IEEE. The activity diagram is a diagram dedicated to model the flow of actions from the beginning point to the termination point. Despite the popularity, the diagram does not incorporate with the formalism. As a consequence, the result diagram could contain some errors in the structure. One the common problems is the livelock problem, a state of infinite execution. In this paper, a formal method to identify the livelock in the activity diagram is proposed. One common mathematical approach is the expression, a well-formed combination of symbol. The proposed method employs the explainability of the expression to identify the problem. The working strategy of this paper is to define a formalism using the expression and to show that the activity diagram can be converted into the proposed method. Then, the livelock will be identified through a specific operation of the expression. As a result, examples of the conversion are given and the livelock will be identified, if there is any. |
| format |
Conference Proceeding |
| author |
Prompong Sugunnasil |
| author_facet |
Prompong Sugunnasil |
| author_sort |
Prompong Sugunnasil |
| title |
Detecting livelock in activity diagram using process expression |
| title_short |
Detecting livelock in activity diagram using process expression |
| title_full |
Detecting livelock in activity diagram using process expression |
| title_fullStr |
Detecting livelock in activity diagram using process expression |
| title_full_unstemmed |
Detecting livelock in activity diagram using process expression |
| title_sort |
detecting livelock in activity diagram using process expression |
| publishDate |
2018 |
| url |
https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85019181601&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/56643 |
| _version_ |
1681424730377158656 |