A formal meta-model of software process

Author

Xie, Zhongwen ; Li, Tong ; Dai, Fei ; Yu, Qian ; Yu, Yong ; Zhao, Na ; Lu, Ping

Author_Institution

School of Software, Yunnan University, Kunming, China

fYear

2010

fDate

4-6 Dec. 2010

Firstpage

4245

Lastpage

4248

Abstract

Software process play an important role in improving the quality of software products. Formal software process model is conducive to the accurate description of software processes. A software process meta-model is a formal tool used to define software process models. In this paper, a software process meta-model SPMM is designed. Firstly, five important properties in software processes are discussed. Furthermore, based on CSP and Hoare Logic, the definition of SPMM and the rules to build software process models are proposed. In SPMM, not only are the important components, e.g. tasks, activities and software processes in software processes, formally defined, but also the five important properties of software process are embodied. Therefore, SPMM can model software processes at different abstract levels. Thus, the basis to simulate, control, analyze, measure and improve software processes is established.

Keywords

Computational modeling; IEC standards; ISO standards; Presses; Software; Software engineering; Software measurement; CSP; activity; meta-model; software process; task;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Science and Engineering (ICISE), 2010 2nd International Conference on

Conference_Location

Hangzhou, China

Print_ISBN

978-1-4244-7616-9

Type

conf

DOI

10.1109/ICISE.2010.5691678

Filename

5691678