원문정보
피인용수 : 0건 (자료제공 : 네이버학술정보)
초록
영어
Aimed at the deficiency of existing modeling method of traffic guidance system based on Multi-Agent, the advantage of Unified Modeling Language (UML) and Hierarchical Colored Petri Nets (HCPN) is combined to model the system. The modeling method using UML and HCPN is first put forward, and more UML diagrams are constructed so as to model the framework of traffic guidance systems. Moreover, the mapping rules from UML model to HCPN is set up, the formal model of traffic guidance system is gotten, and design error may be found by formal verification and validation of HCPN model. So UML model can be improved and correct UML model can be gotten.
목차
Abstract
1. Introduction
2. Modeling Method
2.1. Hierarchical colored Petri Nets
2.2. UML
2.3. Modeling Framework
3. Construction of System Model
3.1 The use case diagram
3.2 The Static diagrams
3.3 The dynamic diagrams
3.4. Mapping methods
3.5. HCPN model
3.6 The verification of Petri Nets model
4. Conclusion
References
1. Introduction
2. Modeling Method
2.1. Hierarchical colored Petri Nets
2.2. UML
2.3. Modeling Framework
3. Construction of System Model
3.1 The use case diagram
3.2 The Static diagrams
3.3 The dynamic diagrams
3.4. Mapping methods
3.5. HCPN model
3.6 The verification of Petri Nets model
4. Conclusion
References
저자정보
참고문헌
자료제공 : 네이버학술정보