| Summary: | 碩士 === 東海大學 === 資訊工程與科學系 === 94 === In UML2.0, the activity diagram is reengineered based on Petri Nets, it is not only the flow chart, but also has the token to represent the flow of control, object, and some data. This makes it useful in modeling and analyzing in the requirement phase. However, the activity diagram in UML2.0 is still lack of the formal semantics. Formalization of activity diagram provides the ability of system execution flow collision checking, execution flow ambiguous detection, user execution scenario generation, and so on. Moreover, formal model also supports systematic analysis mechanism. Although there are some articles discussed this problem, but all of them did not base on the last UML2.0 standard and did not provide a complete solution. This paper provides an activity diagram formalization model and uses this model to exhibit how to optimize the instance of activity diagram.
|
|---|
