网构软件体系结构代数模型

由于网络化软件的规模和复杂程度的不断增加，设计可伸缩的软件体系结构，开发可演化的软件系统遇到了挑战．挑战之一是很难把软件模型与原系统说明区分开来，使得软件系统的可演化性受到限制．一个有效的途径是建立可范用软件体系结构的抽象模型，指导网构软件设计，从而提高软件模型的概括能力和可伸缩能力．本文提出一种网构软件体系结构代数模型，其中一个创新思想是把网构连接子解释成网构变量的运算．结合代数学方法和软件实现技术，定义了6种网构连接运算，所有运算是对连接子的代数抽象，因此软件体系结构的抽象表达能力得到了加强．为了展示提出代数模型的建模与分析辅助作用，介绍了一个基于代数模型的网构软件设计与演化的案例研究．

An algebraic model of Internetware software architecture

As the complexity and the dimensions of Internet software systems have been increasing dramatically, the design of scalable software architecture and the development of high quMity program have become an urgent and inevitable problem. The big challenge lying in the development cycle is that it is difficult to clearly differentiate a software model with its original system specification. An effective approach to solving this problem is to define a mathematical model for software architecture, which will unambiguously abstract the architecture of the software from an original system specification. In this paper, we propose an algebraic model for Internetware software architecture （ISA）, a novel idea for constructing ISA algebra model is that the connectors are interpreted as an implement of algebra operator, Six operators in total in this paper are given with respect to process algebra and programming technology. All the operators get its semantic from both the algebra operators and invoke sentences so that both the system specification and the software model are clearly differentiated in the proposed ISA model. One typical application has been presented as case studies for the evolution design and simulation of an IoTs application.