基于分层Petri网的面向服务需求求精.pdf

第 40 卷第 6 期 浙 　江 　大 　学 　学 　报(工学版) Vol . 40 No . 6 2006 年 6 月 J ournal of Zhej iang U niver sit y ( Engineering Science) J un . 2006 基于分层 Petri 网的面向服务需求求精 沈 　斌 ,姚 　敏 ,易文晟 ,原 　博 (浙江大学 计算机科学与技术学院 ,浙江 杭州 3 10027) ( ) 摘 　要 : 为了使结构化面向对象形式语言 SO FL 适应面向服务的软件架构 ,提出了一种用于面向服务架构软件需 求求精的新方法. 使用分层 Pet ri 网进行建模 ,利用顺序图对消息传递进行分析 ,采用 SO FL 对非形式化和半形式 化的系统描述逐步求精. 讨论了基于分层 Pet ri 网的 Web 服务 ,定义了分层服务网、分层 Web 服务相关概念 ,描述 了用于 Web 服务软件需求的分析 、设计和建模完整过程 ,并给出了旅游服务中该过程的具体实例. 实例分析表明 , 该方法适宜 Web 服务分析建模 ,可帮助用户实现不同粒度 Web 服务. 该方法有助于对面向服务环境下软件需求求 精和验证的探索. 关键词 : Web 服务 ;软件需求求精 ;分层 Pet ri 网; SO FL 方法 ;顺序图 ( ) 中图分类号 : 　　　　　文献标识码 : A 　　　　　文章编号 : 1008 973X 2006 06 1045 06 Hierarchical Petri nets based soft ware requirement ref inement f or Web service SH EN Bin , YA O Min , YI Wensheng , YU AN Bo ( ) Col leg e of Comp uter S cience an d Technology , Z hej i ang uni ve rs i ty , H angz hou 3 10027 , Chi na Abstract : To sati sf y t he serviceorient ed archit ect ure of soft ware for st ruct ured o bj ectorient ed for mal lan guage ( SO FL ) , a new serviceorient ed soft ware requirement refinement met ho d wa s p rop o sed . Aft er t he archit ect ure wa s mo deled u sing hierarchical Pet ri net , me ssage t ran smi ssion wa s analyzed adop tin g se quence diagram , an d infor mal an