A Rule Database Based UML Activity Model Checking Mechanism in Telecommunication Service

doi:10.13190/jbupt.200802.76.101

JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM ›› 2008, Vol. 31 ›› Issue (2): 76-79.doi: 10.13190/jbupt.200802.76.101

• Papers • Previous Articles Next Articles

A Rule Database Based UML Activity Model Checking Mechanism in Telecommunication Service

FENG Yue-zhong, LI Xiao-feng

State key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China

Received:2007-06-25 Revised:1900-01-01 Online:2008-04-28 Published:2008-04-28
Contact: FENG Yue-zhong

Abstract

Abstract:

After analyzing current technology background, a kind of unified modeling language（UML）activity model checking mechanism based on rule database in Telecom services is proposed. By separating the model checking rules and the model checking engine, the scalability and agility of the checking mechanism are improved. When using in the model driven architecture （MDA） service platform, the correctness and high-performance of the model checking software based on the mechanism are also testified.

Key words: model driven architecture, model checking, rule database, unified modeling language, platform independent model, platform specific model

CLC Number:

TP393.03

FENG Yue-zhong, LI Xiao-feng. A Rule Database Based UML Activity Model Checking Mechanism in Telecommunication Service[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2008, 31(2): 76-79.

[1]	MA Jian, LIU Feng, FAN Jian-ping. Object-Oriented Software Coupling Metrics [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2018, 41(1): 109-114.
[2]	WANG Yue，ZHANG Yanmei. Mapping Rules of DW Metadata Exchange Based on MDA [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2006, 29(s1): 198-202.
[3]	CHEN Min，LI Xiao-feng. The Research of Convergent Service Descriptionand Crea #br# tion Approach in NGN [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2006, 29(s1): 149-153.
[4]	LI Yan ,LI Xiao-feng, QIAO Xiu-quan. Telecommunication Service MetaModeling Based on MDA [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2006, 29(2): 50-54.
[5]	QIAO Xiuquan，LI Xiaofeng(. Model Driven Service Creation Approach for 3G [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2005, 28(6): 110-114.

A Rule Database Based UML Activity Model Checking Mechanism in Telecommunication Service

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 5

Recommended Articles

Metrics

Comments