%0 Journal Article
%T Analysis and Verification of Local Properties of Ada Tasking Based on Net Language<br>基于网语言的Ada程序局部性质的分析和验证
%A DING Zhi-jun
%A JIANG Chang-jun
%A <br>丁志军
%A 蒋昌俊
%J 软件学报
%D 2002
%I 
%X In this paper, the properties of Ada tasking and the correlative state explosion problem are discussed by using the net language. The synchronous composition and decomposition of Ada net is studied, as a result, net language properties are obtained, and the safeness and liveness properties of Ada tasking by using the Ada net language are analyzed and verified, which provide a new and useful way for analyzing and verifying the complex Ada tasking.
%K Ada net
%K synchronous composition
%K synchronous decomposition
%K net language
%K analysis
%K verification<br>Ada网
%K 同步合成
%K 同步分解
%K 网语言
%K 分析
%K 验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=0F85203D6751271A&yid=C3ACC247184A22C1&vid=FC0714F8D2EB605D&iid=59906B3B2830C2C5&sid=970CC462728303C3&eid=52F119C047AB1C71&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=19