A Petri Net Based Model for Trustworthy Software Process Composition

Author

Xuan Zhang ; Tong Li ; Zhong-Wen Xie ; Fei Dai ; Jin-Zhuo Liu

Author_Institution

Sch. of Software, Yunnan Univ., Kunming, China

fYear

2013

fDate

22-26 July 2013

Firstpage

108

Lastpage

114

Abstract

The growing demand for higher trustworthiness of software poses an unprecedented challenge to the software industry. Software is the outcome of the software process. Software trustworthiness is highly dependent on the software process. To combine the trustworthiness in the software process, we propose a formal method for trustworthy software process composition. In this method, trustworthy processes are specified by the trustworthiness requirements and compose into software process. The composite process satisfies both functional and non-functional requirements for the trustworthy software.

Keywords

Petri nets; formal specification; program verification; trusted computing; Petri net based model; formal method; functional requirements; nonfunctional requirements; software industry; software trustworthiness; trustworthy software process composition; Capability maturity model; Educational institutions; Security; Software reliability; Usability; Petri net; software process modeling; trustworthy software;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual

Conference_Location

Japan

Type

conf

DOI

10.1109/COMPSACW.2013.37

Filename

6605774