%0 Journal Article
%T A Framework for the Wpecification of Concurrent Systems<br>一种并发软件规约方法的构架
%A 刘剑
%A 李彤
%J 计算机科学
%D 2000
%I 
%X Framework has become popular as a vehicle for reuse of solutions in specific areas of application.In this paper,we extend the application of framework to express a class of dual specification methods for concurrent systems.A dual application uses graphical notation for the specification of behavior and a temporal logic to express formally,and reason about this behavior.
%K Framework
%K Concurrent system
%K Formal specification
%K Software development<br>软件开发方法
%K 并发软件规药
%K Petri网
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=7780005A230B53C7&yid=9806D0D4EAA9BED3&vid=DB817633AA4F79B9&iid=DF92D298D3FF1E6E&sid=CD775AE9DDBD7B53&eid=117F81797AB182FC&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=5