网构软件体系结构代数模型
摘要
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 quality 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.