业务流程即服务(Business Process as a Service, BPaaS)是近年来云服务平台所面临的一个新的挑战,其主要研究各行业中流程模型的封装,以及实现业务流程动态运行。有一类信息系统在实现流程动态运行时,需要关注其每个流程节点内部的变化,销售系统就是一个典型的例子。销售系统中各个流程节点有着很强的相关性,在每个流程节点运行时,系统需要获取在此之前运行过的流程节点中产生的信息,然而流程可配置,就意味着流程节点之间的次序关系是不确定的,需要动态运行,数据库中表之间的外键关系往往被各种表单的生成次序所决定,因此其对应的数据库中的数据表的关系也就是不确定的,要动态地查找到需要的信息需要先确定流程节点之间的次序关系。本文结合作者近期对销售系统的开发和维护,对柔性销售系统进行了设计和实现,主要包括以下几个方面：(1)根据BPaaS与销售系统的特性,以及开发模式的特性,对柔性销售系统从节点动态运行、流程约束两个方面对系统需求做了详细分析。(2)引入Petri网及其可达性验证方法,提出基于Petri网的流程配置及流程节点次序的判定方法。(3)依据流程节点次序判定,实现流程可配置及流程节点的动态运行和流程约束验证。(4)封装销售系统常见流程节点模块,与本文所讨论的流程可配置技术结合,实现一个可流程配置的柔性销售系统并验证其正确性。