An Approach To Modelling Aspect-oriented Trustworthy Software Processes

Based on software process, engineer trustworthy software that survives trustworthy requirements and requirement evolution has been an outstanding puzzle to the trustworthy software and software engineering community. Unlike ordinary software, the trustworthiness of trustworthy software include both functional requirements and non-functional requirements. Researching on the requirements of trustworthy software, as well as integrating software trustworthiness across its life cycle is an effective way to achieve trustworthy software production and evolution.In the field of software process modeling, the approach of modeling software evolution process proposed an effective solution for the universal software development and evolution process framework. It is a useful approach for improving the quality and efficiency through software development and evolution process. However, according to the differences of trustworthy software, new requirements were proposed in our software process modeling approach for its special dependence on non-functional requirements.Our work is supported by the National Natural Science Foundation of China under Grant No.61262025. Based on the approach of software evolution process modeling, by using aspect-oriented approach, an approach of aspect-oriented trustworthy software process modeling is proposed. The approach integrated the software trustworthiness into its life cycle and provided a reliable software process model for the trustworthy software development and evolution. To achieve this goal, a comprehensive support in the theory, methods, and techniques were proposed.Firstly, according to the importance of non-functional requirements for trustworthy software, a theory is presented for analysising, modeling and reasoning of truworthy software requirements.on this basis, another theory was presented for trustworthy software process modeling which is based on aspect-oriented modeling. It provided a reusable general process model and also provided a flexible and controllable way to assure trustworthiness across the software life cycle process.Secondly, an approach of trustworthy software requirements capturing, modeling and reasoning is proposed to meet the needs of obtaining the process strategies. Based on these strategies, trustoworthy aspects were defined to be composed into the software evolution process model. This approach of aspect-oriented trustworthy software process modeling achieves the functional requirements by software evolution process modeling, and the non-functional requirements by aspects composition. Especially, aspect conflicts were solved by controlling and detection in this approach.Thirdly, a trustworthy attribute correlation diagnose tool and a trustworthy process aided tool were developed to provide technical support for trustworthy software process modeling.Finally, the theory, the approach and the techniques were used in the cases of two trustworthy software. Through the analysis of the cases, the theory and the approach proposed in this paper is feasible, the tools are effective. The trustworthy software process modeling approach was proved that the trustworthy software production goals can be achieved by the credibility of the whole process of the software life cycle.