Simplification of behavior property specification pattern system

Liang SONG,Li-jie WEN,Jian-min WANG,Hui KONG,Guo-ping LIU,Ting-long LIU
DOI: https://doi.org/10.13196/j.cims.2013.08.009
2013-01-01
Abstract:Query language definition of business process model based on behavioral properties need solid and reliable theoretical 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 behavioral language-based process model was defined on the premise of reserving original system's description.
What problem does this paper attempt to address?