Abstract-In recent years, algebraic semantics and its verification are increasingly important in software engineering. In this paper, firstly, the algebraic semantics of software evolution process description language (AS-EPDL) at activity level is explored. The algebraic semantics of activity level in EPDL provide an accurate framework for defining the semantics. In addition, the hierarchy-consistency and sufficient-completeness properties of the AS-EPDL at activity level are verified.
While cloud computing related technologies are gaining increasing amount of popularities nowadays, we are focusing our resent research on the aspects of software evolution processes under the environments of cloud computing. During our pervious research, we have proposed SEPUCCC, a software evolution process prototype under the circumstancees of cloud computing. In this article, we are going to have a further disscussion on SEPUCCC by giving it’s in-depth performance analysis, by which the model’s abilities, the abilities to supporting the evolution process under the circumstances of cloud computing as well as reducing the cost of process improvemnet, was demomstrated.
The algebraic semantics has been applied to describe and verify semantics for a long period of time. In this paper, the algebraic semantics of EPDL of task level is studied. The paper is divided into two parts. In the first part, the initial algebraic semantics of EPDL (AS-EPDL) of task level is given. As a consequence of the practical purpose, we give the expansion type, which can help the modularization of programming. However, there are two key problems we should concern about when the expansion type is built - hierarchy-consistency and sufficient-completeness. Therefore, we give the verification of these two properties in the second part of the paper.
Based on the characteristics of weather modification in Yunnan Province, this paper proposed a weather modification operation model which aims to help operating managers with operating scenario and provide operating spots, fixed or mobile, with detailed intelligent decision-making information, including: operating spot, fire elevation, azimuth, amount of ammunition. The data that this model utilizes is from the conventional sounding materials, XDR radar and DPL radar together with the historical applications and actual usage.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.