● 摘要
在北京市地铁各专业系统中，自动售检票系统（Automatic Fare Collection，AFC）系统扮演着十分重要的角色，由于AFC检测中心管理系统纵向及横向测试业务并存、业务复杂、时限要求高、业务响应要求迅速、测试业务职能及流程变动性强等需求，应对未来轨道交通的高速发展，AFC检测中心测试业务的实施中，需要进行更为规范化的管理。本文正是针对此应用课题，研究并应用工作流技术，对AFC检测中心管理系统进行形式化和规范化的设计建模和实现。论文的主要研究内容和成果包括以下几个方面：1）介绍了工作流技术和发展现状，以及目前工作流产品存在的问题。2）业务流程建模与标注（Business Process Model and Notation，BPMN)及业务流程执行语言（Business Process Execution Language，BPEL）的概念介绍，BPMN到BPEL映射存在的问题，提出并阐述了一种基于基元的BPMN模型到BPEL可执行语言的映射转换。3）从系统总体功能构成，系统使用对象和各个模块的功能需求等方面对AFC检测中心管理系统进行需求分析；设计描述了AFC检测中心管理系统的 总体设计目标和设计原则；设计实现了AFC检测中心管理系统的逻辑架 构，针对检测中心主要业务流程和七大检测业务二级流程建模，并实现了检测流程管理、检测支持管理、系统管理等主要功能。展示了各个模的时序图、数据库结构和界面。