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
키워드
Multi-AgentPetri NetsTraffic Guidance SystemsUML
저자
Haitao Zhang [ Information Engineering College, Henan University of Science and Technology, Luoyang 471023, China ]
Yanyan Li [ Information Engineering College, Henan University of Science and Technology, Luoyang 471023, China ]
보안공학연구지원센터(IJCA) [Science & Engineering Research Support Center, Republic of Korea(IJCA)]
설립연도
2006
분야
공학>컴퓨터학
소개
1. 보안공학에 대한 각종 조사 및 연구
2. 보안공학에 대한 응용기술 연구 및 발표
3. 보안공학에 관한 각종 학술 발표회 및 전시회 개최
4. 보안공학 기술의 상호 협조 및 정보교환
5. 보안공학에 관한 표준화 사업 및 규격의 제정
6. 보안공학에 관한 산학연 협동의 증진
7. 국제적 학술 교류 및 기술 협력
8. 보안공학에 관한 논문지 발간
9. 기타 본 회 목적 달성에 필요한 사업
간행물
간행물명
International Journal of Control and Automation
간기
월간
pISSN
2005-4297
수록기간
2008~2016
십진분류
KDC 505DDC 605
이 권호 내 다른 논문 / International Journal of Control and Automation Vol.7 No.2