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.

목차

Abstract
 1. Introduction
 2. Some Related Works
 3. Motivational Examples
 4. The Flowthing Model
 5. Exceptions constructs revisited
 6. Extended Petri-nets as a Semantic Framework
 7. Statechart Diagrams for Semantic Specification and Verification
 8. Conclusion
 References

키워드

저자

• Sabah Al-Fedaghi [ Computer Engineering Department, Kuwait University ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Software Engineering and Its Applications

• 간기

  월간

• pISSN

  1738-9984

• 수록기간

  2008~2016

• 등재여부

  SCOPUS

• 십진분류

  KDC 505 DDC 605