Hierarchical Petri Nets Based Software Requirement Refinement for Web Service
SHEN Bin,YAO Min,YI Wen-sheng,YUAN Bo
DOI: https://doi.org/10.3785/j.issn.1008-973x.2006.06.026
2006-01-01
Abstract:To satisfy the service-oriented architecture of software for structured object-oriented formal language(SOFL),a new service-oriented software requirement refinement method was proposed.After the architecture was modeled using hierarchical Petri net,message transmission was analyzed adopting sequence diagram,and informal and semi-formal system descriptions were refined using SOFL step by step.hierarchical Petri nets based web service was discussed,and the corresponding concepts of hierarchical service net and hierarchical web service were defined.The whole analysis,design and modeling process of web service software requirement using the proposed method was described,and an illustration of travel service for explaining this process was given.Results show that the method can fit web service architecture,and help users realize web service of various granularities.The method is quite useful for exploring software requirement refinement and review in service circumstance.