The Definition and Analysis of Consistence Check betweenTwo Telecommunication Software Description Languages

JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM ›› 2000, Vol. 23 ›› Issue (3): 49-63.

Previous Articles Next Articles

The Definition and Analysis of Consistence Check betweenTwo Telecommunication Software Description Languages

SHAO Wei, AI Bo

Computer Science and Application School, Beijing University of Posts and Telecommunications, Beijing 100876, China

Received:2000-01-06 Online:2000-10-10
Supported by:

Abstract

CLC Number:

TP301.2

SHAO Wei, AI Bo. The Definition and Analysis of Consistence Check betweenTwo Telecommunication Software Description Languages[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2000, 23(3): 49-63.

[1]	WANG Lei. Consistency Checking Between UML Models and Code Based on Graph Theory and FSM [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2019, 42(4): 70-75.
[2]	DONG Yi-qun, XU Wen-xing, LIU Jian-dong, WANG Shu-hong, JIANG Hui-na. Approach to Modeling Direction Relations between Regions with Uncertain Boundaries [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2016, 39(1): 18-23.
[3]	XU Yue-mei, NIU Wen-jia, ZHAO Zhi-jun, TANG Hui, CI Song. Service Matching Mechanism in Wireless Sensor Network with Extensible WSDL-IO [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2013, 36(4): 44-49.
[4]	HUANG Hui-ying, FEI Zhu-zeng. Development of EPLD Programmable Device Design Test [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2000, 23(2): 43-47.
[5]	Deng Fang, Ma Huadong, Zhong Yixin, Li Huaicheng. Cooperative Work System Description Model Based on XYZ System [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 1998, 21(4): 48-52.

The Definition and Analysis of Consistence Check betweenTwo Telecommunication Software Description Languages

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 5

Recommended Articles

Metrics

Comments