中文摘要：

定义基于行为特征的业务过程模型的查询语言,需要坚实可靠的理论基础。业务过程中任务间发生的时序关系是业务过程模型行为的直接反映。现有的描述任务间发生的时序关系特征描述模式体系过于庞大、复杂,同时缺少对本质内在关系的分析和反映。运用数理逻辑的原理和方法对现有的描述任务间时序关系的模式体系进行了深入的分析和推导,在保留原体系描述能力的前提下,大大缩减了该体系的规模和复杂度,并为定义高效的基于行为语言的过程模型提供了理论基础。

英文摘要：

Query language definition of business process model based on behavioral properties need solid and reliable theoreti- cal basis. The sequential relationship between tasks is the directly reflect for business process behavior model in business processes. The existing Property Specification Pattern System （SPS） to describe sequential relationship is huge and complex for analyzing and reflecting inner relationship. By using the principle and method of mathematical logic, the existing SPS was analyzed and deduced deeply. The scale and complexity of this system were reduced significantly and the theory basis for be- havioral language-based process model was defined on the premise of reserving original system＇s description.