计算机应用研究2012，Vol.29Issue(2)：601-605,5.DOI:10.3969/j.issn.1001-3695.2012.02.053
一种网构软件体系结构中的纵横验证机制
Approach of vertical and horizontal verification in internetware architecture
摘要
Abstract
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.关键词
形式化模型/形式化验证/软件体系结构/抽象状态机Key words
formal model/ formal verification/ software architecture/ abstract state machine( ASM)分类
信息技术与安全科学引用本文复制引用
陈暄,高俊,李长云..一种网构软件体系结构中的纵横验证机制[J].计算机应用研究,2012,29(2):601-605,5.基金项目
湖南省自然科学基金资助项目(09JJ6087) （09JJ6087）
中国博士后科学基金资助项目(20080440216) （20080440216）
浙江省教育技术研究规划课题(JB036) （JB036）
绍兴市教育科学规划课题(SGJ11061) （SGJ11061）
