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:
| Main Author: | |
|---|---|
| Format: | Conference Proceeding |
| Published: |
2017
|
| Online Access: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85016167706&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/40725 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Chiang Mai University |