Title :
Modelling for Software Collaborative Development Process
Author :
Luo, Wei ; Li, Tong ; Wang, Juan ; Wu, Xinjun ; Xie, Zhongwen
Author_Institution :
Sch. of Inf. Sci. & Eng., Yunnan Univ., Kunming, China
Abstract :
In order to adapt the change from centralized development pattern to multi-user collaborative development pattern in modern software development, the concept of software collaborative development was proposed by introducing CSCW (computer-supported cooperative work) into the field of software development, and the properties of it was analyzed, then a formalized model SCP-NET of software collaborative development based on Petri net was founded. The establishment of model is based on the following two aspects: first, introducing the hierarchy mechanism, the complexity of the model was reduced; second, four states (ready, running, suspended and completed) of transition was introduced, the model could promote the coordination of the sub process in software collaborative development. Then the transition firing rule based on the model was proposed, it establishes the foundation for further analyzing, validating and improving the software collaborative development process model. Finally, the conclusion that the model SCP-NET can support the six important properties was validated.
Keywords :
Petri nets; groupware; program verification; CSCW; Petri net; SCP-NET formalized model; centralized development pattern; computer-supported cooperative work; hierarchy mechanism; model complexity reduction; multiuser collaborative development pattern; software collaborative development process model analysis; software collaborative development process model improvement; software collaborative development process model validation; transition completed state; transition firing rule; transition ready state; transition running state; transition suspended state; Analytical models; Collaboration; Color; Computational modeling; Educational institutions; Firing; Software;
Conference_Titel :
Engineering and Technology (S-CET), 2012 Spring Congress on
Conference_Location :
Xian
Print_ISBN :
978-1-4577-1965-3
DOI :
10.1109/SCET.2012.6341936