%0 Journal Article
%T Approach of vertical and horizontal verification in internetware architecture<br>一种网构软件体系结构中的纵横验证机制
%A CHEN Xuan
%A GAO Jun
%A LI Chang-yun
%A <br>陈暄
%A 高俊
%A 李长云
%J 计算机应用研究
%D 2012
%I 
%X It is a topic of challenge for how to develop internetware in an open, dynamic, complex Internet environment. Formal model of internetware, refinement theory, and formal verification are researched from the life cycle of the internetware. First of all introduced basic theory of ASM, and then proposed the model of component that oriented internetware, and formally described the model of component with abstract state machine. On that basis, translated the problem of coarse-grained abstract component mapping to entity component into the refinement of connector. It proposed a bidirectional verification approach of composition scheme, which made the final system correct, in meta level of architecture. On the whole, the research mentioned above can help to find and fix the errors at as early stage as possible. It is the right way to develop internetware.
%K formal model
%K formal verification
%K software architecture
%K abstract state machine(ASM)<br>形式化模型
%K 形式化验证
%K 软件体系结构
%K 抽象状态机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=B42EDD6608FE925A5CFE99768495896F&yid=99E9153A83D4CB11&vid=771469D9D58C34FF&iid=0B39A22176CE99FB&sid=ED9DF3402785F68D&eid=10A39635766FF5D0&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=12