400中。在运些示例中，每个工作者服务可W输出协调的过 程语句，每个形成过程部分或者部分完整的过程414。过程汇编器模块402可W汇编来自各 个工作者服务的过程部分。过程汇编器模块402可类似于图2的过程汇编器模块222 的方式操作。在运方面，过程汇编器模块402可W分析所接收的过程部分并且尝试将它们 一起拼合到完整的过程中。
[0063] 过程汇编器模块402可W执行初始验证（例如，在过程验证模块410中所执行的 验证之前）。过程汇编器模块402可W检测来自各个工作者服务的过程部分414之间的不 一致。纵然每个工作者服务可W包括可W检查过程语句中的不一致和错误的语句不一致模 块，但当隔离地分析过程的部分时，一些错误可能是不明显的。一旦将整体过程拼合在一 起，过程汇编器模块402就可W检测不一致。例如，模块402可W检测来自一个工作者服务 的对一个过程语句的输入应当与来自另一个工作者服务的对过程的输入相同。作为另一个 示例，模块402可W检测到未定义对过程语句的输入。过程汇编器模块402可W指示（例 如，注释）在模块402将汇编的过程传递到分析员服务400的其他模块（例如，模块404和 /或406)上之前存在的任何不一致。在运方面，在模块402之后，过程可W包括由至少一个 工作者服务和/或过程汇编器模块402提供的不一致注释。运些注释可W帮助分析员来确 定为什么可W在不同的上下文中不同地执行过程部分。
[0064] 过程定义模块404可W帮助分析员指定和定义分析员有兴趣分析的过程的类型。 如上所述（例如，在大量实体中），可能存在分析员不了解的关于组织的过程的许多详情。 因而，分析员可W指定一些信息片段（即，过程参数405)来指示分析员想要接收/查看的 过程。例如，分析员可W指定分析员想要看见用于特定类型的销售或交易（例如，超过5亿 美元的交易）、用于特定区域等等的组织的过程（例如，销售过程、装运过程，等等）。示例 过程参数包括过程的类型（例如，销售、装运，等等）、区域、合同总价值、产业分部、业务单 元等等。许多其他类型的过程参数可W用于各种其他类型的过程。
[0065] 过程定义模块404可各种方式使用过程参数405来接收和/或查看有关的过 程和过程部分。作为一个示例，分析员412可W与过程定义模块404交互W录入过程参数 405来指示分析员412感兴趣的过程的类型。然后，模块404 (或分析员服务400的一些其 他模块）可W向至少一个工作者服务发送此类过程参数416。工作者服务（例如，工作者服 务200)然后可W(例如，使用工作者邀请模块226)使用过程参数（例如，在图2中示出为 236)来向与此类过程相关联的工作者发送邀请。在工作者录入他们的过程语句之后（或在 输入过程期间），分析员服务可W接收与过程参数416有关的一个或多个过程（或部分过 程）414。应当理解的是，在各个其他示例中，分析员服务400不必向工作者服务发送过程参 数416,并且工作者服务不必对工作者生成邀请。
[0066] 作为另一个示例，过程定义模块404可W使用过程参数405作为过滤器。在运些 示例中，组织的许多过程（和部分过程）（例如，414)对于分析员服务400可W是动态地或 不断地可访问的。换句话说，在工作者录入新的语句时，由组织的工作者录入的各个过程语 句可W被不断地更新并且可由分析员服务访问。然后，当由分析员服务（W及或许经过模 块402)接收过程或部分过程（例如，414)时，可W由过程定义模块404接收过程/部分过 程。然后，过程定义模块404可W使用过程参数405来仅仅滤出满足过程参数405的过程 /部分过程。
[0067] 为了滤出过程和/或过程部分，过程定义模块404可W将过程参数405与各个过 程语句的"上下文"相比较。可W基于由工作者针对各个过程语句的实参（例如，如W上在 表1中所示的）所提供的值来形成过程语句的上下文。另外，过程语句的上下文可W来自诸 如有关工作者的配置文件信息之类的其他源。例如上下文信息可W来自LDAP目录，等等， 其可W提供关于用户/工作者的信息，诸如工作者的小组、工作职能、层次结构，等等。用于 过程语句的上下文信息可W例如作为实参值和/或作为与过程语句相关联的附加的信息 与来自工作者服务的过程语句一起传送。
[0068] 过程分析/修改模块406可W帮助分析员学习过程或过程部分并且或许甚至发现 组织的过程。过程分析/修改模块406可W从模块402和/或从模块404接收至少一个过 程或过程部分（例如，如果执行过程过滤的话）。一旦由模块406接收过程，可W将过程汇 编W形成包括多个有关的过程语句的完整的过程或者过程的较大部分。过程或部分过程可 能已经通过至少一个验证阶段W检查错误和/或不一致。因而，在运点上，过程或部分过程 可W理想地仅仅包括（例如，由于与录入过程语句中的错误不同的过程的实施方式中的一 些实际的不同造成的）合法的不一致。可能已经识别和/或注释出不一致。因而，分析员 可W能够（例如，W图形和/或文本方式）查看过程或过程部分的所有过程语句，并且可W 看见不一致W及或许针对此类不一致的解释。在运方面，分析员可W能够获得业务过程的 全貌，并且分析员可W学习不一致并且确定管理它们的策略。
[0069] 过程分析/修改模块406可W允许分析员修改过程。过程分析/修改模块406可 W允许分析员检查来自模块404和/或模块406的过程/过程部分的一致性并且行动W例 如响应于由系统的其他模块和/或服务（例如，工作者服务、模块402,等等）提供的注释和 /或警告而修复各个过程语句。作为一个特定示例，修复过程语句可W引起迭代过程，其中 工作者提供过程部分详情、系统（例如，其各个模块和服务）检查不一致和错误，并且然后 分析员修改过程和/或建议对过程部分的改变。另外，模块406可W允许分析员提供解释 过程语句之间的不一致的附加的注释。
[0070] 转化模块408可W从模块406或者或许从模块402或404接收过程（例如，完整 的或部分完整的）。可由各个工作者录入的人性化的文本语言来定义所接收的过程或 过程部分，如上所述。转化模块408可W自动地将过程从人性化的文本语言转化为过程建 模标准（例如，BPMN)。例如，模块408可W将过程从人性化的文本语言转化为其中根据建 模标准将数据格式化的XML格式（或其他标记语言）。因而，在运点上，可W将由工作者直 接提供的各个协调的过程语句转化为过程建模标准，然后过程建模标准能够由业务过程建 模/工程化工具进一步分析。使用此类工具，可多个方式一一例如，图形地、文本地、W 特定编程语言，等等来表示过程建模标准格式（例如，XML格式）的数据。
[0071] 过程验证模块410可W从转化模块408接收至少一个过程或部分过程。过程验证 模块410可W使用形式过程验证工具（例如，基于佩特里网形式论，等等）来在形式上验证 过程的正确性。过程验证模块410可W对根据如上所述的过程建模标准（例如，BPMN)被 格式化的接收的过程或过程部分执行形式验证。形式过程验证工具可W对可执行业务过程 语言执行验证，因此模块410可W在执行形式验证之前首先将根据过程建模标准的过程转 换为特定过程建模语言。然后，形式过程验证工具可W执行过程或过程部分的广泛分析W 检查各种问题，例如，分裂的过程部分、擁痕或死循环，等等。
[0072] 图5是用于源于工作者的分布式过程工程的示例方法500的流程图。尽管W下参 考图1的过程工程系统102来描述方法500的执行，但可W通过至少一个其它适当的计算 设备和/或系统（例如，图6的设备600)来执行方法500的部分或所有。可存储在诸 如图6的存储介质620之类的机器可读存储介质上的可执行指令的形式来实施方法500。 在本公开的替代实施例中，可W基本上并行地或W与图5中示出的顺序相比不同的顺序来 执行方法500的一个或多个步骤。在本公开的替代实施例中，方法500可W包括与在图5 中示出的步骤相比更多或更少的步骤。在一些实施例中，方法500的步骤中的一个或多个 可W在某些时候是持续的和/或可W重复。应当理解的是，术语"流程图"并不意图进行限 制并且图5也可W被说成描绘过程类型图。例如，在方法500中可W容许单个步骤或块可 W具有多个输入和/或输出。
[0073] 方法500可W开始于步骤502,并且继续到步骤504,其中过程工程系统（例如图1 的102)可W允许分析员（例如，通过模块404)定义指示分析员感兴趣的过程的类型的过 程参数。在步骤506,系统可W向工作者发送邀请，其中该邀请请求来自工作者的关于满足 过程参数的过程和/或过程部分的输入。应当理解，在一些示例中，可W不发送邀请。在步 骤508,各个工作者可W(例如，通过模块204)登录到工作者服务（例如，200)，并且每个 工作者的信息（例如，设置、过程语句，等等）可W被加载。工作者然后可W着手提供关于 工作者所工作的过程部分的信息。工作者可W响应于接收邀请而登录到系统W录入此类信 息。可替代地，每当工作者认为合适时，工作者可W登录并提供信息。可替代地，可W要求 工作者周期性地或有规律地（例如，每月）登录并且详述他们所工作的过程部分。
[0074]在步骤510,工作者（例如，图2的工作者230)可W(例如，通过模块206和选择 器302)选择（例如，存储在存储库214中的）过程语句模板。选择模板可W使模板出现 在语句编辑器（例如，图3的304)中。在步骤512,工作者可W(例如，通过模块208和编 辑器304)编辑所选择的过程语句模板（例如，一次一个）。在步骤514,工作者可W查看 和/或录入关于各个语句的评论、语句类型等等，如W上更详细地描述的。在步骤516,系 统可W(例如，通过模块210、222、224，等等）验证工作者的语句，如^上更详细地描述的。 例如，系统可W验证语句的语法和/或语句与工作者的和/或其他工作者的其他语句的一 致性。在步骤518,如果工作者的语句被验证，则可为了与其他工作者的语句进行汇编 的被协调的格式来将工作者的语句保存（例如保存在诸如216的工作者的设置中）。如果 工作者语句未被验证，可W通知工作者并且工作者可W具有再录入语句或修改语句的选项 (例如，在方法500中示出为返回到步骤510)。应当理解的是，纵然方法500和在前的描述 设及被共同地录入、编辑、评论和验证的过程语句，但每个语句可W个别地经历如上所述的 步骤 510、512、514 和 516。
[00巧]在步骤520,可W(例如，通过模块222)将工作者的协调的语句与其他工作者的语 句汇编W形成总体过程或者过程部分。在步骤522,工作者可W(例如，通过模块212和视 图306)查看工作者自己的和/或其他工作者的完成的语句。在步骤524,可W由分析员服 务接收（例如，来自步骤520)的汇编的语句。如上所述，分析员服务可W接收适合过程参 数的特定过程和/或部分，或者分析员服务可W滤出各个接收的过程和/或部分W查看与 过程参数有关的那些过程和/或部分。在步骤526,系统可W允许分析员分析过程或部分和 /或对其进行修改。在步骤528,系统可W将过程或部分的过程语句转化为过程建模标准。 在步骤530,系统可W验证过程或部分。在验证能够开始之前，该验证可W要求过程建模标