Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
