earticle

영어

In UML 2.0, activity and state diagrams are used in a wide range of applications, including business process modeling, software development, and descriptions of basic mechanisms such as computations. They are enriched with some advanced features such as exceptions, loops, and streaming in activity diagrams; nevertheless, several semantic questions have been raised concerning some of these diagrams. Proposals have been introduced to base the semantics of activity diagrams on Petri-nets, but such mapping is not general enough to apply to complicated constructs of activities. In this paper, we propose that these semantic problems are inherent in the nature of description in UML diagrams. Consequently, we propose development of new types of diagrams with more appropriate, precise semantics.