WEIDLICH M, MENDLING J, WESKE M. Efficient consistency measurement based on behavioral profiles of process models[J]. IEEE Transaction on Software Engineering, 2011, 37(3): 410-429.
[2]
WEIDLICH M, MENDLING J. Perceived consistency between process models [J]. Information Systems, 2012, 37(2): 80-98.
[3]
ALVES DE MEDEIROS A K, van der AALST W M P, WEIJTERS A. Quantifying process equivalence based on observed behavior[J]. Data and Knowledge Engineering, 2008, 64(1): 55-74.
[4]
ZHANG X W, SONG W, XING J C, et al. Behavioral consistency measurement and analysis of WS-BPEL processes[C]//Proceedings of the 14th WAIM. Beidaihe, China, 2013: 619-630.
[5]
SONG W, MA X X, CHEUNG S C, et al. Refactoring and publishing WS-BPEL processes to obtain more partners[C]//Proceedings of ICWS. Washington DC, USA, 2011: 129-136.
[6]
XING J C, ZHANG X W, SONG W, et al. BPEL Similarity-a metric based on activity constraint graphs[C]//Proceedings of the 1st AP-BPM. Beijing, China, 2013: 39-55.
HUANG Y, HE K Q, FENG Z W, et al. Business process consolidation based on E-RSPTs’ in SERVICES[C]//Proceedings of IEEE World Congress on Services. Anchorage., 2014: 254-361.
[9]
RADATZ J, GERACI A. IEEE standard glossary of software engineering terminology[S]. IEEE Std. USA, 1990.
[10]
SONG W, ZHANG W J, ZHANG G X, et al. Quantifying consistency between conceptual and executable business processes[C]//Proceedings of SCC. Santa Clara Marriott, USA, 2013: 9-16.
[11]
van der AALST W M P, BASTEN T. Inheritance of workflows: an approach to tackling problems related to change[J]. Theoretical Computer Science, 2002, 270 (1/2): 125-203.
[12]
van GLABBEEK R J, WEIJLAND W P. Branching time and abstraction in bisimulation semantics[J]. Journal of the ACM, 1996, 43 (3): 555-600.
