2009，45（13）工作流控制模型（Petri 网） 抽象化 工作流模型 工作流定义语言 工作流元语言 工作流概念模型 表示形式化 基于 基于 图1三层模型间的关系 1引言随着软件在信息社会中发挥日益重要的作用，人们对软件 的正确性、可靠性、安全性等可信性质给予了越来越多的关注。如何在软件的开发和运行过程中保证软件具有可信性质也成为软件理论和技术越来越重要的研究方向。自从20世纪90年代，工作流管理系统的研究与应用得到了长足的发展，实践证明它在改进和优化业务过程，提高业务工作效率，实现更好的业务过程控制，提高顾客服务质量，提高业务过程的柔性等方面起到了重要作用。 工作流管理系统中的两个核心组件分别是流程定义组件与流程执行组件。而现有的工作流系统或多或少都存在着一些缺憾：（1）模型描述能力有限；（2）难以快速适应多变的市场需求；（3）定义的流程和实际系统之间的正确性差异。为保证流程设计的正确与可靠，应该对所设计的流程分别进行静态的分析验证和动态的仿真测试。 通过研究与分析，一个完整的工作流模型应该分为三个层次：元模型层、模型层和控制模型层。其中元模型层给出了流程定义的主要成分及其语言描述。扩展的信牌驱动模型属于模型 层，它对经典Petri 网进行了改进与扩充，基本解决了经典Petri 网描述业务过程的局限性。只保留了控制机制的Petri 网模型 是对工作流流程定义语言的更高级别的抽象，因此属于控制模型层。三层模型之间的关系如图1所示。 因此关于流程的分析验证也可以分为三个层次进行：基于元模型层次上的语法验证、基于模型层次上的语义验证（仿真） 和基于控制模型层次上形式化分析。又可以将它们分为静态检查与动态仿真，其中静态检查主要针对的是流程的静态定义，包括基于元模型层次上的语法验证和基于控制模型层次上的形式化分析；而动态仿真主要针对流程的动态执行过程即基于 工作流流程动态仿真技术的研究 付丽娜，郝克刚FU Li-na ，HAO Ke-gang 西北大学软件工程研究所，西安710069 Software Engineering Institute ， Northwest University ，Xi ’an 710069，China E-mail ：fulina_97@https://www.doczj.com/doc/ea11659172.html, FU Li-na ，HAO Ke-gang.Research on dynamic simulation of workflow https://www.doczj.com/doc/ea11659172.html,puter Engineering and Applications ， 2009，45（13）：29-33.Abstract ：The mode to capability analysis and correctness verification of workflow process is divided in static inspection and dy － namic simulation.Especially the paper studies several key problems in process simulation ，setting up simulation enviroment ，the al －gorithm for arranging events in a queue based on path coverage rule ，analyzing simulation results.It adopts interactive and non-interactive means ， employs white-box and black-box methods to test workflow process based on high coverage rate.And at last it gives expression to type ，distribution and trend of process defects. Key words ：Workflow Management System （WFMS ）；token-driven workflow computation model ；process ；simulation engine ；event ；verification 摘要：对于工作流流程的能力分析以及正确性验证，其方式上可分为静态分析与动态仿真。论文侧重研究通过动态仿真手段对 流程进行测试与分析，验证流程在合适的时间，由合适的资源做合适的事。针对仿真过程中的几个关键问题———设置仿真环境、基于路径覆盖准则的事件排队算法及仿真结果的统计分析做了较深入研究。仿真采用了交互式与非交互式两种手段，利用白盒与黑盒两种测试方法对被测流程进行高覆盖度仿真，并通过仿真结果反映缺陷的类型、分布与走势。关键词：工作流管理系统；信牌驱动模型；流程；仿真引擎；事件；验证 DOI ：10.3778/j.issn.1002-8331.2009.13.009文章编号：1002－8331（2009）13-0029-05文献标识码：A 中图分类号：TP311 基金项目：国家高技术研究发展计划（863）（the National High-Tech Research and Development Plan of China under Grant No.2007AA010305）。作者简介：付丽娜（1979-），女，博士研究生，研究方向为软件理论、工作流相关技术等；郝克刚（1936-），男，博士生导师，目前研究方向为工作流技 术、分布式计算和软件理论等。 收稿日期：2009-01-21 修回日期：2009-02-25 Computer Engineering and Applications 计算机工程与应用29
【问题1】（1）费用单 （2）待租赁房屋列表 （3）看房请求 （4）变更房屋状态请求 【问题2】（5）房主信息文件 （6）租赁者信息文件 （7）房屋信息文件 （8）看房记录文件 【问题3】（1）起点：房主终点：变更房屋状态数据流名称：变更房屋状态请求 （2）起点：租赁者终点：登记租赁者信息数据流名称：租赁者信息 （3）起点：租赁者终点：安排租赁者看房数据流名称：看房请求 试题一（共15分） 阅读以下说明和图，回答问题1至问题4，将解答填入答题纸的对应栏内。 【说明】 某高校欲开发一个成绩管理系统，记录并管理所有选修课程的学生的平时成绩和考试成绩，其主要功能描述如下： 1. 每门课程都有3到6个单元构成，每个单元结束后会进行一次测试，其成绩作为这门课程的平时成绩。课程结束后进行期末考试，其成绩作为这门课程的考试成绩。 2. 学生的平时成绩和考试成绩均由每门课程的主讲教师上传给成绩管理系统。
3. 在记录学生成绩之前，系统需要验证这些成绩是否有效。首先，根据学生信息文件来确认该学生是否选修这门课程，若没有，那么这些成绩是无效的；如果他的确选修了这门课程，再根据课程信息文件和课程单元信息文件来验证平时成绩是否与这门课程所包含的单元相对应，如果是，那么这些成绩是有效的，否则无效。 4. 对于有效成绩，系统将其保存在课程成绩文件中。对于无效成绩，系统会单独将其保存在无效成绩文件中，并将详细情况提交给教务处。在教务处没有给出具体处理意见之前，系统不会处理这些成绩。 5. 若一门课程的所有有效的平时成绩和考试成绩都已经被系统记录，系统会发送课程完成通知给教务处，告知该门课程的成绩已经齐全。教务处根据需要，请求系统生成相应的成绩列表，用来提交考试委员会审查。 6. 在生成成绩列表之前，系统会生成一份成绩报告给主讲教师，以便核对是否存在错误。主讲教师须将核对之后的成绩报告返还系统。 7. 根据主讲教师核对后的成绩报告，系统生成相应的成绩列表，递交考试委员会进行审查。考试委员会在审查之后，上交一份成绩审查结果给系统。对于所有通过审查的成绩，系统将会生成最终的成绩单，并通知每个选课学生。 现采用结构化方法对这个系统进行分析与设计，得到如图1-1所示的顶层数据流图和图1-2所示的0层数据流图。 图1-1 顶层数据流图
工作流系统需求分析 业务过程描述： 工作流是一种反映业务流程的计算机化的、实现经营过程集成与经营过程自动化而建立的可由工作流管理系统执行的业务模型。工作流起源于生产组织和办公自动化领域，其目的是将现有工作分解，按照一定的规则和过程来执行并监控，提高效率，降低成本。 下图是用户使用工作流系统的业务过程：
业务模型描述：
系统组成： 工作流管理系统由客户端、流程定制工具、流程监控与管理和工作流运行服务四个部分组成，下图是系统构件图： 系统功能划分： 工作流管理系统是指运行在一个或多个工作流引擎的软件上用于定义、实现和管理工作流运行的一套软件，从用户建模的过程来看在建立阶段功能主要是工作流过程和相关活动的定义和建模，在运行阶段包括运行流程的监控、管理以及执行过程中的人机交互等。 工作流管理系统由流程定制工具、流程监控与管理、工作流运行服务和客户端交互四个部分组成，整个系统的使用者可以分为四种：系统管理员、流程设计人员、流程管理人员、普通用户。 下图是整个工作流管理系统的顶层用例：
第一部分流程定制工具 本部分主要完成企业信息流中业务过程的图形化建模，定制工具提供丰富的图形化元素、简单易懂的建模方法以及完善的模型管理方式。 流程定制用例图：
打开流程模型 参与者：流程设计者。 前置条件：流程定制工具已经打开。 后置条件：被选择的流程模型中的内容被展开。 步骤序列： 1．打开流程模型列表或新建流程模型文件。 2．选择流程模型文件名称。 3．展开流程模型中的设计内容。 保存流程模型 参与者：流程设计者。 前置条件：某个流程模型已经被打开，并且被修改。 后置条件：修改过的流程模型存到了物理文件中。 步骤序列： 1．保存流程模型到物理文件中。 删除流程模型 参与者：流程设计者。 前置条件：拥有可被删除的流程模型。 后置条件：选中的流程模型被删除。 步骤序列： 1．用户打开流程模型列表。 2．用户选择想要删除的流程模型。 3．系统删除选中的流程模型。 导入导出流程模型 参与者：流程设计者。 前置条件：拥有可被导入的文件或导出的流程模型。 后置条件：流程模型被导出成文件或模型文件被导入到设计系统成为流程模型。 步骤序列： 1．用户打开可被导入文件列表或设计工具中的流程模型列表。 2．用户选择将被导入的流程文件或选择将被导出的流程模型。 3．系统把导入文件生成流程模型或把导出流程模型生成流程文件。 流程发布 参与者：流程设计者。 前置条件：拥有设计完成并可供发布的流程模型。 后置条件：流程模型被发布并可通过客户工具执行。 步骤序列： 1．用户打开流程模型列表。 2．用户选择发布的包或流程。 3．用户选择发布的运行服务器。 4．用户形成发布版本。
实验报告课程名称_软件工程导论__________ 学院____计算机工程学院_________班级14软件1班 学号2014144141 姓名秦川 2016年11月8日
批阅教师时间实验成绩 课程名称软件工程 学号2014144141姓名秦川实验日期2016.11.8实验名称实验2分析数据流和绘制数据流图 实验目的： 1、掌握数据流的分析方法 2、掌握数据流图的绘制 实验内容： 任务一绘制数据流图 任务二分析数据流和绘制数据流图 案例一：总务办公管理系统 案例二：火车票预订系统 实验原理： 数据流图（DFD）是软件系统系统的逻辑模型，仅仅描绘数据在软件中流动（从输入移动到输出）的过程中所经受的变换（即加工处理）。 数据流图的绘制方法：根据数据流图的四种成分：源点或终点，处理，数据存储和数据流，从问题描述中提取数据流图的四种成分；然后依据“自顶向下、从左到右、由粗到细、逐步求精”的基本原则进行绘制。 基本符号如下：
实验过程与结果： 1．运行Microsoft Office Visio2007 运行Microsoft Office Visio2007 2．选择“软件和数据库”中的“数据流模型图”模板 选中数据流模型图模板
3．用鼠标选拉图标进行绘图 任务一绘制数据流图 试绘制工资管理系统的数据流图，根据数据流图的符号说明仔细理解下图含义： 这是学校教职工工资管理系统，教师根据课时表，职工根据任务表来确定个人工资情况，数据按以下方向传递： 首先，对课时表或任务表进行审核，审核后的数据经排序形成专用表格； 再进行一系列额外计算，包括个人所得说、住房公积金、保险费得出具体所发工资，并将工资表发给银行； 然后，向教职工展示工资所得明细； 最后，形成编制报表，更新分类表后，交于会计。 其中，人事科负责人事数据，教师与职工的工资由银行发放，会计做好报表的统计。
数据流图例题解析 例题：请根据以下描述画出系统的数据流图。该子系统共有三个加工：（1）首先是“建立订货合同台帐”：从订货合同、材料检验单和客户文件输入数据、输出形成合同台帐文件；（2）然后是“分类合并”：从合同台帐文件输入数据，排序合并后形成合同分类文件，最后“打印”加工单元从合同分类文件打印出合同分类表。 所谓数据流图（Data Flow Diagram，简称DFD）是一种分析系统数据流程的图形工具。它摆脱了系统的物理内容，精确地在逻辑上描述系统的功能、输入、输出和数据存储等，是系统逻辑模型的重要组成部分。一般由数据流、加工、文件和数据源或终点四项组成 那么如何绘制数据流图呢？以本题为例进行说明： 首先我们可根据例题中的描述在纸上画出第一个加工“建立订货合同台帐”，如图1所示： 图1 其次，分析这个加工的输出、输入数据流。根据题意可知，该加工的输出是合同台帐文件、而为完成该项输出，必须有三项输入，即订货合同、材料检验单、客户文件。据此可绘制出如图2所示的图形： 图2 此时应注意两点：第一要对加工进行编号。本例中，我们将加工“建立订货合同台帐”编号为P1；第二要判断输入、输出项是一般的数据流、还是文件存储。
如果是文件存储（比如客户文件、合同台帐文件）则需要用右边开口的方框表示，同时表示数据流的箭头上的文字可省略。 第三、将加工“分类合并”画在纸上，如图3所示 图3 第四、找出加工“分类合并”的输入和输出项，并用箭头在纸上标注出来。本例中，该加工的输入数据流是合同台帐文件，输出数据流是合同分类文件，由于“合同台帐文件”已被绘制在纸张上，因此只需用箭头将它与加工联接起来即可。如图4所示： 图4 第五、按上述方法，将加工“打印”绘制在图纸上。如图5所示
软件设计师考试的下午题的第一道题，数据库系统工程师考试的下午题的第一道题都是数据流图题，而能够将这道题全部做对的考生是非常少的。根据历年的辅导和阅卷经验，发现很多考生不是因为这方面的解题能力不够，而是缺乏解这种题的方法与技巧。本文介绍一些解这种类型题的方法和技巧，希望起来抛砖引玉的效果。 一.解题当中考生表现出的特点 由于这是下午考试的第一道题，所以很多考生从考前的紧张氛围当中逐渐平静下来开始答题，头脑还比较清醒，阅读起来比较流畅，速度还可以，自我感觉不错。可偏偏这道题有很多人不能全取15分，纠其原因有以下一些特点： 1.拿卷就做，不全面了解试卷，做到心中有数。这样会导致在解题过程当中缺少一种整体概念，不能明确自己在哪些题上必需拿分(多花时间)，哪些题上自己拿不了分(少花时间)。这样，在解题时目标就会明确很多。 2.速度快，读一遍题就开始动手做。 3.速度慢，用手指逐个字的去看，心想看一遍就能做出题来。 4.在阅读题目时，不打记，不前后联系起来思考。 5.边做边怀疑边修改，浪费时间。
6.缺少的数据流找不准，可去掉的文件找不出来。 7.由于缺少项目开发经验，对一些事务分析不知如何去思考。 8.盲目乐观，却忽略了答题格式，丢了不应该丢的分。 二.解题的方法与技巧 1.首先要懂得数据流图设计要略。 有时为了增加数据流图的清晰性，防止数据流的箭头线太长，减少交叉绘制数据流条数，一般在一张图上可以重复同名的数据源点、终点与数据存储文件。如某个外部实体既是数据源点又是数据汇点，可以在数据流图的不同的地方重复绘制。在绘制时应该注意以下要点： (1)自外向内，自顶向下，逐层细化，完善求精。 (2)保持父图与子图的平衡。 为了表达较为复杂问题的数据处理过程，用一个数据流图往往不够。一般按问题的层次结构进行逐步分解，并以分层的数据流图反映这种结构关系。根据层次关系一般将数据流图分为顶层数据流图、中间数据流图和底层数据流图，除顶层图外，其余分层数据流图从0开始编号。对任何一层数据流图来说，称它的上层数据流图为父图，在它的下一层的数据流图为子图。
系统的数据流图与数据字典实例 作为示例，为简单起见，我们只考虑人机分工。此处的数据流图是计算机化的帐务处理系统中涉及到计算机部分的数据流图，人工完成的部分将不做反应。例如：计算机没有能力审核原始凭证、填制记账凭证，这些工作必须由人来完成，因此进入系统（系统的自动化部分）的应该是记账凭证而不是原始凭证。银行对帐单仍然是系统的输入数据流，原有的输出数据流系统也必须提供。 图1 系统的顶层数据流图 图2 系统的第一层分解图 记账凭证进入计算机系统需要进行输入操作，而且由于记账凭证本身可能出错，或输入过程中可能发生错误，因此系统必须提供对已输入的记账凭证的修改功能和审核功能，审核通过的记账凭证才能够记账。据此，对“凭证处理”分解得到第二层分解图，该分解图由凭证输入、凭证修改和凭证审核三个处理构成。如果记账凭证是由操作人员直接根据原始凭证
用计算机填制，则凭证处理还应该包含一个打印记账凭证的处理。 图3 系统第二层分解图之一（图1）在系统中，登帐处理由计算机完成，其分解的流程图与原来一致。 图4 系统第二层分解图之二（图2）
图5系统第二层分解图之三（图3） 图6 系统第二层分解图之四（图4） 8.1.3 数据字典 数据字典的作用是对数据流图中的各种成分进行详细说明，作为数据流图的细节补充，和数据流图一起构成完整的系统需求模型。数据字典一般应包括对数据项，数据结构、数据存储和数据处理的说明。以下列出本系统的主要数据字典条目。 1. 数据项条目 数据项编号：D01-001 数据项名称：凭证编号 别名：凭证流水号 符号名：PZBH 数据类型：数值型 长度：4 取值范围：1~9999 其余略。 2. 数据结构条目
工作流系统需求分析及设计 业务过程描述： 工作流是一种反映业务流程的计算机化的、实现经营过程集成与经营过程自动化而建立的可由工作流管理系统执行的业务模型。工作流起源于生产组织和办公自动化领域，其目的是将现有工作分解，按照一定的规则和过程来执行并监控，提高效率，降低成本。 下图是用户使用工作流系统的业务过程：
业务模型描述：
系统组成： 工作流管理系统由客户端、流程定制工具、流程监控与管理和工作流运行服务四个部分组成，下图是系统构件图： 系统功能划分： 工作流管理系统是指运行在一个或多个工作流引擎的软件上用于定义、实现和管理工作流运行的一套软件，从用户建模的过程来看在建立阶段功能主要是工作流过程和相关活动的定义和建模，在运行阶段包括运行流程的监控、管理以及执行过程中的人机交互等。 工作流管理系统由流程定制工具、流程监控与管理、工作流运行服务和客户端交互四个部分组成，整个系统的使用者可以分为四种：系统管理员、流程设计人员、流程管理人员、普通用户。 下图是整个工作流管理系统的顶层用例：
第一部分流程定制工具 本部分主要完成企业信息流中业务过程的图形化建模，定制工具提供丰富的图形化元素、简单易懂的建模方法以及完善的模型管理方式。 流程定制用例图：
打开流程模型 参与者：流程设计者。 前置条件：流程定制工具已经打开。 后置条件：被选择的流程模型中的内容被展开。 步骤序列： 1．打开流程模型列表或新建流程模型文件。 2．选择流程模型文件名称。 3．展开流程模型中的设计内容。 保存流程模型 参与者：流程设计者。 前置条件：某个流程模型已经被打开，并且被修改。 后置条件：修改过的流程模型存到了物理文件中。 步骤序列： 1．保存流程模型到物理文件中。 删除流程模型 参与者：流程设计者。 前置条件：拥有可被删除的流程模型。 后置条件：选中的流程模型被删除。 步骤序列： 1．用户打开流程模型列表。 2．用户选择想要删除的流程模型。 3．系统删除选中的流程模型。 导入导出流程模型 参与者：流程设计者。 前置条件：拥有可被导入的文件或导出的流程模型。 后置条件：流程模型被导出成文件或模型文件被导入到设计系统成为流程模型。 步骤序列： 1．用户打开可被导入文件列表或设计工具中的流程模型列表。 2．用户选择将被导入的流程文件或选择将被导出的流程模型。 3．系统把导入文件生成流程模型或把导出流程模型生成流程文件。 流程发布 参与者：流程设计者。 前置条件：拥有设计完成并可供发布的流程模型。 后置条件：流程模型被发布并可通过客户工具执行。 步骤序列： 1．用户打开流程模型列表。 2．用户选择发布的包或流程。 3．用户选择发布的运行服务器。 4．用户形成发布版本。
页眉 2商品分析模型 3商品分析的销售指标分析 二、什么是商品分析 2.1定义 商品分析的主要数据来自销售数据和商品基础数据，从而产生以分析结构为主线的分析思路。主要分析数据有商品的类别结构、品牌结构、价格结构、毛利结构、结算方式结构、产地结构等，从而产生商品广度、商品深度、商品淘汰率、商品引进率、商品置换率、重点商品、畅销商品、滞销商品、季节商品等多种指标。通过对这些指标的分析来指导企业商品结构的调整，加强所营商品的竞争能力和合理配置。 2.2商品分析模型 商品数据分析对企业信息化越来越重要。业务系统给我们提供了大量的数据，但如何利用这些数据进行分析，并得到有价值的结果来指导企业的经营活动，是摆在所有企业面前的、需要不断探索的课题。商品分析也就是依据业务系统提供的数据进行相关的项目分析进而产生有价值的结果来指导企业经营活动的工作。 首先需要确定零售企业在销售数据分析过程中适用的维度、指标和分析方法，在日常商品分析当中，需要做的就是将三者关联起来构造一个分析模型，依据分析模型得到有价值的结果。 要建立一个分析模型，有三个构成因素，即：维度、指标和分析方法。维度指明了我们要从什么样的角度进行分析，也就是分析哪方面的内容，比如商品、客户等。指标指明了我们对于这个维度所要进行分析的点，比如数量、周转率、连带率、售罄率、毛利率等。分析方法指明了我们用什么样的方法去分析处理这个维度的指标。 （一）、销售数据之维度 页眉 1、商品
商品是零售分析的最细维度之一，大部分的指标都依附商品来做明细的记 录，同时很多维度也是通过商品进行交叉分析。 2、客户 客户是销售对象，包括会员。客户所在地和区域有关联。 3、区域 区域是地理位置。从全球视角看：洲---国家---区；从国家视角看：区——省/市——县/区一镇/乡/村，一般按正式行政单位划分。 4、时间 时间是进行数据分析非常重要的维度，分析的角度有公历角度和农历角度。其中，公历角度：年一一季度一一月一一日一一时段（每2小时为一个段）；星期、公历节假日。农历角度：年节气日时刻；农历节假日。 （二）、销售数据之指标 1、销售数量：客户消费的商品的数量。 2、含税销售额：客户购买商品所支付的金额。 3、毛利：毛利=实际销售额一成本。 4、净利：利=去税销售额—去税成本。 5、毛利率：销售毛利率是毛利占销售收入的百分比，也简称为毛利率，其 中毛利是销售收入与销售成本的差。 毛利率=（毛利/实际销售额）X100%。 6、周转率：周转率和统计的时间段有关。 周转率=（销售吊牌额/库存金额）X100%。 7、促销次数 促销次数有宏观概念上的，也有微观概念上的。宏观上，是指一个销售单位中一段时间内发动促销的次数，或某个供应商的商品在一段时间内参与促销的次数；微观层面上，是表示一个单品在一段时间内参与促销的次数。 &交易次数：客户在POS点上支付一笔交易记录作为一次交易。 9、客单价：客户在一次交易中支付的金额总和称为客单价。 客单价=销售额/交易次数 页眉 10、周转天数：周转天数越长，表示经营效率越低或存货管理越差；周转天数
基于时序逻辑的工作流建模与分析方法1 王远，范玉顺 (清华大学自动化系,北京 100084) 摘要提出了一种基于活动时序逻辑(TLA)的工作流建模与模型分析的形式化方法。该方法将模型及模型的性质都表示为一个TLA公式，对工作流模型性质的分析可以等价为对TLA中两个公式之间是否存在蕴涵关系的检验，从而建立了一个工作流模型各层次分析统一框架。一个工作流建模和分析的实例验证了所提出方法的有效性，该方法在建模、模型分析以及指导模型设计等方面都有较好的应用前景。 关键词工作流，活动时序逻辑，工作流模型分析 1基金项目：国家自然科学基金项目（60274046） 0 引言 工作流管理是实现企业过程集成和提高企业运行效率、柔性的一种全面的支撑技术。该技术在办公自动化(OA)、计算机支持的协同工作(CSCW)、经营过程重组(BPR)等几个领域中的应用证明,工作流模型的合理性验证与分析是成功实施工作流管理的关键[1]。工作流模型分析可以分为逻辑、时间和性能三个层次。逻辑层次关心的是工作流模型中事件点与事件点之间的关系,时间层次的分析是在逻辑层次的基础上研究模型中时间段与时间段之间的关系,而性能层次分析一般是指(考虑资源信息) 通过仿真或严格的理论分析,获得与系统性能相关的量化指标,来评估建立的工作模型是否满足目标需求。 工作流模型的验证与分析的方法与建模方法密切相关。工作流建模方法可以分为非形式化方法与形式化方法[2]。非形式化方法主要包括活动网络图法、ECA(Event-Condition-Action)规则方法、面向系统交互的工作流建模语言等，这些非形式化的建模方法普遍缺乏对模型验证与分析的支持。工作流建模的形式化方法以基于Petri网的建模方法为主，并在此基础上形成了一些工作流模型验证与分析的方法，然而这些基于Petri网的方法存在两个问题： 一是没有统一的方法框架，无法满足工作流模型多种性质的验证需要，而是针对一种性质，提出一种特殊的高级Petri网建模方法，找到该性质在Petri网中的表达方式，并针对这种表达方式提出一种验证算法，比如，用户需要验证模型中两个活动之间的时间距离约束，现有的方法无法验证，就只能依靠研究人员的创造力，提出一种特殊的Petri网，并发展一种专门的验证方法；二是在指导工作流模型的设计和工作流模型的综合方面无法满足需要，比如要设计一个满足给定性质的工作流模型，现有的模型验证方法就无法提供有力的支持。针对上述工作流模型分析验证中存在的问题，本文用时序逻辑作为理论基础，提出了一种基于时序逻辑的工作流建模与分析方法，为工作流模型各个层次的验证与分析提供了一种新思路。 1 TLA基本概念 时序逻辑作为一种表示各种动态系统行为和性质的逻辑语言，近年来在反应系统、实时系统的表示与验证、网络协议的分析、多媒体通信同步以及自然语言理解、专家系统、人工智能等方面得到了广泛的应用[3-5]。在本文提出的基于时序逻辑的工作流建模分析方法中，一个工作流过程模型被描述为一个时序逻辑系统中的公式，同时该模型需要被验证的和分析的性质也表示为一个时序逻辑公式，该方法对所验证的性质并没有特殊的限定。要分析工作流模型是否满足该性质，只需在相应的逻辑系统中利用逻辑推理和模型检查等技术检验这两个公式之间是否存在蕴涵关系。这就使得对工作流模型各层次的验证可以统一到一个方法框架中来。同时，由于在时序逻辑中并不区分公式表示的是模型还是模型的性质，这使得本文提出的方法在指导工作流模型的设计和工作流模型的综合方面有较好的应用前景。 本文使用的时序逻辑系统是活动时序逻辑
【零售相关行业】销售数据分析模型 2015-10-27 刘杰数据海洋 销售数据分析的重要性已无需赘言，只有通过对销售数据的准确分析我们才有可能真正找准数据变动（增长或下滑）的根本原因，营销专家刘杰称之为“动因”。找准了“动因”也就发现了真正的问题所在，解决问题、发现新的生意机会点才成为可能！那么实际的销售过程中，我们如何才能有效做好数据分析，寻找到真正的“动因”呢？接下来笔者结合一个实际案例阐述一下数据分析的主要维度及如何才能真正找准“动因”。 案例：某糖果企业Y公司南京市场8月份销售业绩较去年同期下滑了100万。 维度一：分析是那个品类的数据发生了变动？ 在做销售数据分析的时候，第一个分析的维度就是要看数据变动是来自于哪几个大的品类。回到案例，面对Y公司南京市场8月份销售业绩较同期下滑了100万的数据变动情况，我们首先要确定的是下滑的100万是来自于哪个品类或哪几个品类，每个品类各自的下滑占比是多少，在此基础上进一步分析得出下滑的品类中是哪个规格的产品出现了下滑，从而真正找到造成业绩下滑的“罪魁祸首”。经过维度一的分析我们发现，8月份南京市场销售业绩下滑的100万主要是来自于水果糖和巧克力的下滑，其中水果糖下滑了60万，占比60%，巧克力下滑了40万，占比40%，进一步分析得出，水果糖的下滑主要是来自于128g袋装的下滑，巧克力的下滑主要是来自于散装巧克力的下滑。 维度二：分析是哪个区域发生了变动？ 销售数据分析的第二个维度是要看引起数据变动的销售区域在哪里？是整体销售区域都出现了下滑，还是局部区域市场出现了下滑？回到案例，南京市场下辖南京城区及江宁、六合、溧水、浦口四个县级市场。按此维度分析后，我们得出结论，南京市场销售额下滑100万主要是来自于城区市场和六合县城，其中散装巧克力的下滑主要是来自于南京城区市场，而128g袋装水果糖的下滑主要是来自于六合县城市场。 维度三：分析是哪个渠道发生了变动？ 销售数据分析的第三个维度是要看引起数据变动的主要渠道在哪里？换句话说，是哪个渠道或哪几个渠道出现了销售业绩的变动？每个渠道数据变动的比例各是多少？按此维度分析后，我们进一步得出结论，南京市场8月份销售额下滑的100万主要是来自于两个渠道，一个是城区的喜铺渠道，另一个是六合县城的批发市场渠道，其中散装巧克力下滑的渠道主要来自于城区的喜铺渠道，128g水果糖下滑的渠道主要来自于六合县城的批发市场渠道。 经过以上三个维度的分析后，我们就可以确定销售数据变动的基本情况，从而为进一步找准“动因”提供了更加细致、准确的依据！回到案例，面对8月份销售额下滑100万的现状，经过分析后得出的结论是南京市场下滑的100万主要来自于南京城区喜铺渠道散装巧克力和六合批发市场128g袋装水果糖的下滑，其中散装巧克力下滑了40万，占比40%，128g 水果糖下滑了60万，占比60%。 整个数据分析维度的模型图如下：
支持企业流程再造的工作流仿真平台研究 摘要：工作流仿真是支持企业实现业务流程再造的有效手段。本文首先基于活动网路图的建模方法提出了一个多视图的工作流仿真模型，在此基础上设计了一个包括多个工具的工作流仿真平台，最后给出了使用该平台实现工作流仿真的流程。 关键词：企业流程再造；多视图；工作流仿真 引言 工作流的概念起源于生产和自动化领域。工作流技术能够帮助企业实现对过程的有效组织管理和对流程的优化，达到提高生产效率、降低运营成本的目的。业务流程再造 (BPR，Business Process Reengineering)是对企业业务流程进行重新思考与再设计，以提高企业的竞争力。工作流管理技术能够较好的支持BPR中的过程分析、过程优化、过程管理与控制等环节。 因此，工作流管理技术在实施 BPR 中得到了广泛应用。 工作流仿真通过对工作流模型进行仿真，模拟业务流程的运转，根据仿真结果对流程进行分析评估。工作流仿真具有高效、低成本、不影响实际业务系统运行等优点，是支持 BPR 的一种经济可行的工作流技术手段。现有的工作流仿真研究主要集中于对工作流仿真性能指标和工作流仿真体系结构的研究。目前工作流仿真研究取得了不少成果，但依然存在一些不足之处。一般工作流仿真以集中式为主，缺乏可扩展性，工作流仿真体系不健全，没有提供覆盖建模、仿真、评估的工具。 针对当前工作流仿真研究的不足，本文首先以基于活动网络图的建模方法为基础，提出一个多视图的工作流仿真模型；然后以该模型为核心构建一个工作流仿真平台，包含了建模、仿真、评估、管理等工具；最后给出了工作流仿真平台的使用模式。 1 工作流仿真模型 基于活动网络图的建模方法具有流程描述直观、形象，便于理解和掌握，易于仿真实现的特点。因此本文提出的工作流仿真模型以活动网络图为基本的建模方法。基于活动网络图建立工作流模型，一般根据面向流程研究的需要从组织、资源、业务流程和信息等四个角度建立其组织模型、资源模型、过程模型和信息模型来完整描述组织（或机构）的经营或运行过程。工作流仿真模型是在工作流模型的基础上加以修改和补充得到的。在进行工作流仿真建模时需要将实际工作流管理系统中实体虚拟化加入到模型中，同时设置相应的参数信息。为了便于进行建模、仿真和评估，在工作流模型的四个模型基础上，本文提出一个多视图的工作流仿真模型，由组织结构视图、活动流视图、信息流视图和相关数据组成。 （1）组织结构视图。组织结构视图描述是企业的机构组成和设置形式，是对企业各组成单元的组织结构关系的体现。由于企业的组织结构决定了其内部机构的组成及其所能担负的功能任务。企业的职能任务则决定着其内部各组成单元所能开展的业务活动以及需要或产生何种类型的信息。企业的资源与企业的组织结构密切相关，可以划分到企业的每个组成单元。因此可以在组织结构视图中为每个组成单元分配资源。 （2）活动流视图。活动流视图用来定义业务流程的逻辑，包括了组成业务
数据流图10例 1.请根据以下描述画出某库存管理系统的数据流图。该系统的数据流程描述如下：（1）首先，根据计划部门转来的收货通知单，和已存在的物资编码文件，建立物资采购单流水账；（2）然后，根据技术部门的物资验收报告和物资采购单流水账，更新物资台账文件；（3）最后，对物资台账分类汇总，将结果存储于物资总账文件中。 答： 图.1 2.请根据以下描述画出系统的数据流图。该子系统共有三个加工，（1）首先，根据生产计划、库存台账文件编制采购计划，建立采购计划文件；（2）其次，根据订货合同、采购计划文件，建立合同台帐文件；（3）最后，根据合同分类文件打印合同分类表。 答：
3.请根据以下业务流程描述，画出某物资管理系统的数据流图。该系统的业务流程描述如下：（1）生产车间向物资部提出物资需用计划，物资部计划人员根据库存台帐，编制物资采购计划；（2）采购人员根据物资采购计划，以及供货商报价单，编制合同台帐；（3）采购的物资到货后，库存管理人员根据技术科提供的验收报告，以及合同台帐，进行物资入库处理，并更新库存台帐。 答： 4.请根据以下描述画出某设备管理系统的数据流图。该系统的数据流程描述如下： （1）首先，根据技术科的验收报告，建立设备台帐；（2）然后，根据技术科的设备检修记录，更新设备台帐；（3）最后，对设备台帐分类汇总，打印输出统计报告。 答： 图.3
5.请根据以下业务流程描述，画出某仓库管理系统的数据流图。该系统的业务流程描述如下：（1）仓库管理员依据物资到货通知单，建立物资台帐；(2)领料人员向仓库管理员提交物资领用申请，库管员查询库存台帐并打印领料单；（3）月末进行物资盘点，生成并打印“物资收支存报表”。 答： 图.5
数据流图模型建立（功能模型） 最初，结构化分析方法仅讨论数据流建模。目标系统被表示成如图4-2-1所示的数据变换流程图。系统的功能体现在核心的数据变换中。 图4-2-1数据流图（DFD） 功能建模的思想就是用抽象模型的概念，按照软件内部数据传递、变换的关系，自顶向下逐层分解，直到找到满足功能要求的所有可实现的软件为止。根据DeMarco的论述，功能模型使用了数据流图来表达系统内数据的运动情况，而数据流的变换则用结构化英语、判定表与判定树来描述。 一、数据流图 图4-2-2是描述储户携带存折去银行办理取款手续的数据流图。从图中可以看到，数据流图的基本图形元素有四种，如图4-2-3所示。 图4-2-2办理取款手续的数据流图 图4-2-3DFD的基本图形符号 在数据流图中，如果有两个以上数据流指向一个加工，或是从一个加工中引出两个以上的数据流，这些数据流之间往往存在一定的关系。为表达这些关系，在这些数据流的加工可以标上不同的标记符号。所用符号及其含意在图4-2-4中给出。
图4-2-4表明多个数据流与加工之间关系的符号 二、分层数据流图 为了表达数据处理过程的数据加工情况，用一个数据流图是不够的。稍为复杂的实际问题，在数据流图上常常出现十几个甚至几十个加工。这样的数据流图看起来很不清楚。层次结构的数据流图能很好地解决这一问题。按照系统的层次结构进行逐步分解，并以分层的数据流图反映这种结构关系，能清楚地表达和容易理解整个系统。 图4-2-5给出分层数据流图的示例。数据处理S包括3个子系统1、2、3。顶层下面的第一层数据流图为DFD／L1。第二层数据流图DFD／L2.1、DFD／L2.2及DFD／L2.3分别是子系统1、2和3的细化。对任何一层数据流图来说，我们称它的上层图为父图，在它下一层的图则称为子图。 图4-2-5分层数据流图 画数据流图的基本步骤概括地说，就是自外向内，自顶向下，逐层细化，完善求精。检查和修改的原则为： ①数据流图上所有图形符号只限于前述四种基本图形元素。 ②顶层数据流图必须包括前述四种基本元素，缺一不可。 ③顶层数据流图上的数据流必须封闭在外部实体之间。 ④每个加工至少有一个输入数据流和一个输出数据流。 ⑤在数据流图中，需按层给加工框编号。编号表明该加工处在哪一层，以及上下层的父图与子图的对应关系。
市场营销数据分析计算 公式 Document number：NOCG-YUNOO-BUYTT-UU986-1986UT
市场营销数据分析计算公式 产品分析工具 新产品认可度 产品生命周期PLC（ProductLifeCycle）：开发、引进、成长、成熟、衰退新产品上市速度 产品盈利率工具 存货周转率 价格决策工具 产品价格弹性工具 目标收益率工具 消费者剩余占有率工具 PSM价格敏感度测试工具 PSM(PriceSensitivityMeasurement)价格敏感度分析方法 定价工具
价格稳定度测量工具 渠道决策工具 促销决策工具 促销费用效用测试工具 目标销售额增长达成率 目标利润达成率 特价品促销带动率 付现率计算工具 返券回馈率计算工具 联合促销对比率 品牌管理工具 品牌忠诚度测试工具 品牌偏好度绩效工具 品牌认知度 品牌美誉度 英特公司的品牌价值估价法模型
Y&R品牌资产标量 USP理论及其应用 USP(uniquesellingproposition) 沃尔夫PFA购买率评估模型 斯塔齐NETAPPS评估模型 AEI（广告效果指数，AdvertisingEffectivenessIndex）指数模型 CSP（CommunicationSpectraPattern）传播幅度形态模型 直复DM有效性工具 网络投放效果测试工具 网络广告点击率 网络广告转化率 广告平均浏览时间 STARCH法 广告费用增销额 顾客回馈分析工具
退出率与提价关系工具 KANO模型 四分图模型 顾客延伸率 用户满意度CSI（customersatisfactionindex）模型 营销评价工具 9S模型 整合营销传播IMC（IntegratedMarketingCommunication)的核心思想是将与企业进行市场营销有关的一切传播活动一元化。 供应商感知模型（SupplierPerceptionModel） 销售量比较评价法 商圈饱和度工具
数据流图实验 一、实验目的 通过绘制数据流图掌握数据流图的基本原理，并能对简单问题进行数据流图的分析，独立地完成数据流图的分析与设计。此外，学会使用Case工具完成数据流图和系统流程图的分析与实现。 二、实验内容 实验内容如下： a)用visio绘制出如下定货系统的SFD（系统流程图）的模型。 图1 某定货系统SFD b)用visio绘制教材中分别绘制出定货系统的DFD的顶层模型、 第一层模型和第二层模型。（具体参考课本上P69~P70的图 3.4，图3.5和图3.6） c)用visio 绘制如下图所示的取款手续的数据流图。
图2 取款手续 d)请结合目前的银行柜台取款手续，对图2的取款数据流图进行 改进，绘制当前银行柜台取款过程的顶层和第一层数据流图。 三、实验结果 一张系统流程图和六张数据流图，要求把画出的系统流程图和数据流图打印后粘贴在实验报告中。实验报告一份。 四、成绩评定 该实验成绩满分5分，即占总成绩的5%。 五、附录：Visio中SFD和DFD绘制的基本使用 Step1:安装Visio，本说明书中使用的是Visio2003，大家也可下载Visio2007等新版本，如下图：（注：下图表示计算机已经安装了Visio，大家只要根据安装向导StepbyStep的完成安装即可）
图3 Visio安装 Step2: 打开visio，绘制系统的系统流程图，选择“流程图”下的“基本流程图”，先选择好图形的基本物理元素，如下图： 图4 系统流程图基本物理元素
Step3:绘制数据流之后得到完整的系统流程图（SFD） 图5 完整的系统流程图 Step4: 绘制DFD，选择“软件”中的“数据流模型图”来进行DFD 的绘制，首先也是先将基本元素选择好，如下图： 图6 顶层模型基本元素 Step5: 绘制数据流，并为数据流命名，得到课本图2.5“定货系统”完整的顶层数据流图，如下图：
软件开发中的数据流分析 数据流分析中，信息流是系统的一个需要考虑的关键因素，通常用数据流图来进行描绘。数据流图是结构化系统分析的主要工具，它表示了系统内部信息的流向，并表示了系统的逻辑处理的功能。也就是说，数据流图的作用就是从数据传递和加工的角度，在需求分析阶段以图形的方式描述数据流从输入到输出的移动变换过程，为系统建立逻辑模型。 1 数据流图的标示 数据流图是从数据传递和加工的角度，以图形的方式刻画数据流从输入到输出的传输变换过程。DFD 有四种元素，其基本符号如图3-5所示。 1）外部实体 与系统进行交互，但系统不对其进行加工和处理的实体，用带标记的矩形表示。 2）数据的加工 加工是对数据进行变换而活处理的单元，它接收一定的数据输入，对齐进行处理，并产生输出。在数据流图中加工/处理用带标记的圆圈表示，在圆圈内写上加工名。一个处理框可以代表一系列程序、单个程序或者程序的一个模块。 3）数据流 在数据加工之间或数据存储和数据加工之间进行流动的数据，用带标记的箭头表示。数据流由一组固定的数据组成，用来指出数据在系统内传播的路径。如订票单由旅客姓名、身份证号、年龄、日期、单位和目的地等数据项组成。由于数据流是流动中的数据，在数据流图中数据流用带箭头的线表示，在其线旁标注数据流名（与数据存储之间的数据流不用命名）。在数据流图中应该描绘所有可能的数据流向，而不应该描绘出现某个数据流的条件。数据流图中的箭头表示的是数据流，而程序流程图中的箭头表示的是控制流。
4）数据存储 表示信息的静态存储，可以代表文件、文件的一部分、数据库的元素等，用带标记的双实线表示。 在数据流图中，如果有两个以上数据流指向一个加工，或是从一个加工中引出两个以上的数据流，这些数据流之间往往存在一定的关系。为表达这些关系，可以对数据流的加工表上不同的几号。一般来说，数据流与加工之间可用星号“*”表示相邻的一对数据流同时出现，用“+”表示相邻的两数据流可取其一或者两者，用“☉表示相邻的两数据流只能取其一，具体情况如图3-6所示。 为了能够有效表达数据处理过程的数据加工情况，需要采用层次结构的数据流图，即按照系统的层次结构进行逐步分解，并以分分层的数据流图来反映这种结构关系，这样就能比较清楚地表达和理解整个系统。