Detecting deadlock in activity diagram using process automata
© 2016 IEEE. The activity diagram is a modeling tool that is widely used to capture the work flow. Despite its popularity, the activity does not have the precise drawing rules. Moreover, there are some incompatibilities between the semantics of the diagram's constructs. As a consequence, the di...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | Conference Proceeding |
| 出版: |
2018
|
| 主題: | |
| 在線閱讀: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85016167706&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/57103 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Chiang Mai University |