首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--一般性问题论文--理论、方法论文--自动机理论论文

基于广义随机Petri网的BPEL工作流可靠性评估模型及应用

摘要第4-5页
ABSTRACT第5页
目录第6-9页
图表清单第9-11页
注释表第11-12页
第一章 绪论第12-19页
    1.1 研究背景与意义第12-15页
        1.1.1 BPEL 工作流第12-14页
        1.1.2 可靠性分析第14页
        1.1.3 课题来源第14-15页
    1.2 国内外研究现状第15-16页
        1.2.1 主要的建模方法第15页
        1.2.2 基于随机 Petri 网技术的研究第15-16页
        1.2.3 现有研究中存在的问题第16页
    1.3 论文的主要工作第16-17页
    1.4 论文的组织结构第17-19页
第二章 随机 Petri 网理论第19-25页
    2.1 Petri 网理论第19-21页
        2.1.1 Petri 网的一般概念第19-20页
        2.1.2 Petri 网的行为第20-21页
    2.2 随机 Petri 网与广义随机 Petri 网第21-24页
        2.2.1 随机 Petri 网第21-23页
        2.2.2 广义随机 Petri 网第23-24页
    2.3 本章小结第24-25页
第三章 BPEL 语言中活动的建模第25-42页
    3.1 BPEL 工作流的基本结构第25-27页
        3.1.1 BPEL 工作流框架第25-26页
        3.1.2 活动的标准属性与元素第26-27页
    3.2 BPEL 中活动状态的表达第27-28页
    3.3 BPEL 中基本活动的建模第28-34页
        3.3.1 活动的建模第28-29页
        3.3.2 活动的建模第29-30页
        3.3.3 活动的建模第30-31页
        3.3.4 活动的建模第31页
        3.3.5 活动的建模第31-33页
        3.3.6 其他基本活动的建模第33-34页
    3.4 结构化活动的建模第34-41页
        3.4.1 活动的建模第34-35页
        3.4.2 活动的建模第35-36页
        3.4.3 活动的建模第36-37页
        3.4.4 活动的建模第37-38页
        3.4.5 活动的建模第38-39页
        3.4.6 活动的建模第39-40页
        3.4.7 活动的建模第40-41页
    3.5 本章小结第41-42页
第四章 BPEL 语言中特殊机制的建模第42-54页
    4.1 链接机制第42-46页
        4.1.1 链接机制的功能第42-43页
        4.1.2 源活动的建模第43-44页
        4.1.3 目标活动的建模第44-46页
        4.1.4 源活动与目标活动的组合建模第46页
    4.2 活动第46-52页
        4.2.1 活动功能第47页
        4.2.2 故障处理的建模第47-48页
        4.2.3 补偿处理的建模第48-49页
        4.2.4 事件处理的建模第49-51页
        4.2.5 终止处理的建模第51页
        4.2.6 活动的建模第51-52页
    4.3 本章小结第52-54页
第五章 原形系统设计与验证第54-65页
    5.1 原型系统设计第54-56页
        5.1.1 原型系统框架设计第54-55页
        5.1.2 转化层第55-56页
        5.1.3 分析层第56页
    5.2 BPEL 工作流可靠性实例分析第56-63页
        5.2.1 转化为广义随机 Petri 网模型第56-59页
        5.2.2 简化模型第59页
        5.2.3 可靠性指标第59-60页
        5.2.4 服务可靠性的获得第60-61页
        5.2.5 使用 SPNP 工具计算可靠性指标第61-62页
        5.2.6 使用非马尔科夫方法计算可靠性指标第62-63页
    5.3 与相关工作的比较第63-64页
    5.4 本章小结第64-65页
第六章 总结与展望第65-67页
    6.1 论文总结第65页
    6.2 研究展望第65-67页
参考文献第67-71页
致谢第71-72页
攻读硕士学位期间发表的学术论文第72页

论文共72页,点击 下载论文
上一篇:基于约束关系的角色访问控制技术研究与改进
下一篇:电信客户信息推送策略与算法的研究及系统优化