基于Petri网的信息管理软件服务建模方法研究.ppt

PN_SM层次结构模型 图中S（1,2）表示服务S1和S2的组合服务 根据Petri网中“抽象”概念，得到不同层次的服务模型及其对应关系。 PN_SM层次结构模型示意图 PN_SM基本服务组合关系 顺序模式 迭代模式 选择模式 并行分支模式 实例的PN_SM服务模型 S1：1.1 Assessment()，评估参评资格 S2：1.1.1 qBasic-information () ，查询学生基本信息 S3：1.1.2 qDisciplinary () ，查询违纪记录 S4：1.1.3 qFail () ，查询学费欠缴情况 S5：1.1.4 qNon-payment () ，查询挂科情况 S6：1.2 gAchievements () ，获取专业成绩 S7：1.3 gAchievements () ，获取加分成绩 S8：1.3.1 applicate-Points () ，申请加分 S9：1.3.2 audit-Points () ，审核加分 S10：1.3.3 accumulated-Points () ，累计加分 S11：1.4 Queue () ，求和排队 S12：1.5 Check () ，结果评审 S1 PN_SM特点总结 1. 有坚实的数学基础和严格的形式化方法，能对服务流程做正确描述。 2. 以图形界面呈现服务流程，直观易用。 3. 将服务组合描述细化到服务操作，较精确的刻画了服务组合。 4. 服务模型支持流程的层次化设计结构清晰，符合实践中不同层次流程设计人员负责相应层次流程内部结构设计的实际需求。 5. 控制托肯和数据托肯，能同时描述组合流程中的控制流和数据流，较为全面的刻画了服务组合流程。 6. 定义普通、替代和零变迁三类变迁，提高服务动态组合的灵活性。 7. 建模方法独立于具体服务组合描述语言及实现技术，有着较宽的使用范围。 进一步工作展望 进一步完善理论模型； 服务发现、服务规约算法的研究； 提出有效的服务模型的模拟、验证方法。 * 基于Petri网的信息管理软件服务建模方法研究 答 辩 提 纲 研究内容、创新点 3 进一步工作展望 4 研究目标、研究意义 2 国内外研究现状及问题 1 Petri网是服务建模的一种主流方式 服务建模需要将服务流程形式化、计算机化，以工作流形式描述的现今服务建模表示的主流方式之一。 Petri网既有严格的数学分析和形式化定义，又有直观、形象的图形表示，非常适合工作流领域的建模需要。 国内外代表性研究成果 Rachid Hamadi等 A Petri Net-based Model for Web Service Composition。基于Petri网对服务网络、服务和服务组合的形式化描述来建立服务模型。 Axel Martens On Compatibility of Web Services。提出了一种提供了一个标准化的，平台独立的，被广泛接受的概念和组成部分，适用于各种分布式系统的服务组合建模方法。 中国科学院计算技术研究所 侯紫峰、李景霞 基于颜色Petri网对Web服务及服务组合建模。描述服务内部控制结构和数据流，给出了模拟Web服务执行的引发规则。 中国科学院软件研究所 童蕾，王宏安，戴国忠 基于Petri网的Web服务流程建模方法研究。通过将紧同步随机Petri网引入建模过程，更好的描述实际业务。 北京航空航天大学 王艳春，林广艳 基于BPEL4WS 和Petri 网的服务建模与分析。描述了SOA 中基于BPEL4WS 和Petri 网的服务建模与分析方法，提出了基于BPEL4WS 的业务流程建模转化为Petri网模型的方 法。 主要存在问题及本文研究定位 主要问题： 建立的服务模型结构性差； 服务系统与Petri网的映射单一，影响对服务状态转换描述的灵活性。 研究定位 针对以上问题，提出一种基于Petri网的服务建模方法PN-SM。在形式化描述的基础上，建立分层服务模型，并建立了不同层次模型间的转换；定义了控制和数据两种托肯，普通、替代和零变迁三种不同功能的变迁，更加全面、灵活的刻画服务组合流程。 研究目标及研究意义 研究目标 研究意义 PN-SM是对面向服务建模方法的补充；对服务系统的开发有指导作用。 提出一种基于Petri网的服务建模方法PN-SM，准确、灵活的描述服务模型和服务组合逻辑。 PN_SM服务建模方法体系结构 PN_SM服务建模流程 PN_SM服务发现 服务需求分析 业务流程的域划分 子域划分 核心 业务单元 核心 业务单元 组合服务 服务 服务 子域划分 核心 业务单元 核心 业务单元 组合服务 服务 服务 原子服务 服务 原子服务 原子服务 自顶向下的领域分析 实例——大学生综合素质排队系统 目标系统业务环境 目标系统业务流程 实