Approach of vertical and horizontal verification in internetware architecture
一种网构软件体系结构中的纵横验证机制

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.