当今企业为了适应复杂多变的、激烈的市场竞争需求，一方面，企业在执行具体的业务流程时，企业内部各部门必须尽可能有效地协同工作以满足企业客户所期望的服务质量和时间约束要求，才能在激烈的市场竞争中立于不败之地。因此，企业针对不同业务需求所提供的各种业务流程往往都是受时间约束的。对于电子商务企业尤为如此。另一方面，企业应用系统必须能够依据业务需求，尽可能快速、灵活地实现业务流程，以节约服务成本、提高效益。因此，企业需要采用流程挖掘技术从已有的受时间约束的服务流程中找出能够满足当前最新用户需求的业务流程。目前关于工作流建模与挖掘国内外已经提出了很多方法。但是这些方法都只注重了工作流的功能性需求，并没有考虑工作流的非功能性需求，如时间约束等对服务质量至关重要的非功能性需求。　　本文提出一种基于时间约束的工作流建模与挖掘方法。首先建立满足给定时间约束和功能需求的请求工作流程模型（时间依赖图），即将请求工作流程用带有时间约束的有向图表示，结点表示活动或任务，有向边表示活动间的激活关系。然后在通过流程日志提取流程执行信息的基础上，构建候选流程工作流库并建立候选流程的时间依赖图;进而使用δ相容过滤器去除候选流程库中与请求流程不相容的候选流程。最后构建请求流程和候选流程的标准化矩阵，并提出一个基于距离的度量d来比较两个流程的差异度，根据度量值可以判断候选流程与请求流程的相似性的高低，选择最小的度量值所对应的候选流程作为挖掘选择流程。我们从理论上证明了我们提出的度量是一个基于距离的度量。被挖掘出的选择流程可以通过最低代价的修改就可满足请求流程。　　根据本文提出的工作流建模与挖掘方法，开发了工作流可视化建模与挖掘系统。该系统可以进行工作流建模、编辑、导出等可视化操作，并且提供了基于时间约束的工作流挖掘功能。