Page 189 - 《软件学报》2020年第10期

莫启 等:协同业务过程的建模及正确性修正 3165

[13] Zheng M, Mo Q, Zhou XX, et al. Compatibility detection and correction of collaborative business process. Journal of Frontiers of
Computer Science and Technology, 2017,11(12):1907–1921 (in Chinese with English abstract).
[14] Fahland D, Aalst W. Repairing process models to reflect reality. LNCS, 2012,7481:229–245.
[15] Fahland D, Aalst W. Model repair-aligning process models to reality. Information Systems, 2015,47(1):220–243.
[16] Zhang J, Wang HY, Cui LZ. Research on cross-organization workflow modeling based on Pi-calculus. Journal of Computer
Research and Development, 2007,44(7):1243–1251 (in Chinese with English abstract).
[17] Aalst W. Process Mining: Discovery, Conformance and Enhancement of Business Processes. Berlin: Springer-Verlag, 2011.
[18] Milner R. Communication and Concurrency. London: Prentice Hall, 1989.
[19] Glabbeek RJV. The linear time—branching time spectrum. LNCS, 1990,3(1):278–297.
[20] Hopcroft JE, Ullman JD. Introduction to Automata Theory, Languages and Computation. Boston: Addison Wesley, 1979.
[21] Cortadella J, Kishinevsky M, Lavagno L, et al. Deriving Petri nets from finite transition systems. IEEE Trans. on Computers, 1998,
47(8):859–882.
[22] Borkowski M, Fdhila W, Nardelli M, et al. Event-based failure prediction in distributed business processes. Information Systems,
2017. [doi: 1016/j.is.2017.12.005]
[23] Zhang L, Lu YH, Xu FQ. Unified modeling and analysis of collaboration business process based on Petri nets and Pi calculus. IET
Software, 2010,4(5):303–317.
[24] Xiao FX, Huang ZQ, Cao ZN, et al. Describing and cost analyzing of Web services composition using PPA. Journal of Computer
Research and Development, 2009,46(5):832–840 (in Chinese with English abstract).
[25] Norta A, Eshuis R. Specification and verification of harmonized business-process collaborations. Information Systems Frontiers,
2010,12(4):457–479.
[26] Liu GJ, Jiang CJ. Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational
workflow nets. Science China Information Sciences, 2015,58(7):1–16.
[27] Corradini F, Polini A, Re B. Inter-organizational business process verification in public administration. Business Process
Management Journal, 2015,21(5):1040–1065.
[28] Kheldoun A, Barkaoui K, Ioualalen M. Formal verification of complex business processes based on high-level Petri nets.
Information Sciences, 2017,385–386:39–54.
[29] Mendoza LE, Capel MI, Rez M, et al. Conceptual framework for business processes compositional verification. Information &
Software Technology, 2012,54(2):149–161.
[30] Rai GN, Gangadharan GR, Padmanabhan V, et al. Web service interaction modeling and verification using recursive. IEEE Trans.
on Services Computing, 2018. [doi: 10.1109/TSC.2018:2789454]
[31] Camara J, Salaün J, Canal C, et al. Interactive specification and verification of behavioral adaptation contracts. Information &
Software Technology, 2012,54(7):701–723.
[32] Daclin N. Enabling model checking for collaborative process analysis: From BPMN to network of timed automata. Enterprise
Information Systems, 2014,9(3):279–299.
[33] Daclin N, Daclin SM, Chapurlat V, et al. Writing and verifying interoperability requirements: Application to collaborative
processes. Computers in Industry, 2016,82:1–18.
[34] Martinez-Araiza U, Lopez-Mellado E. CTL model repair for inter-organizational business processes modelled as oWFN. IFAC-
PapersOnLine, 2016,49(2):6–11.
[35] Sun YN, Du YY, Li MZ. A repair of workflow models based on mirroring matrices. Int’l Journal of Parallel Programming, 2016,
45(4):1–20.
[36] Tan W, Fan YS, Zhou MC. A Petri net-based method for compatibility analysis and composition of Web services in business
process execution language. IEEE Trans. on Automation Science and Engineering, 2009,6(1):94–106.
[37] Du Y, Tan W, Zhou MC. Timed compatibility analysis of Web service composition: A modular approach based on Petri nets. IEEE
Trans. on Automation Science & Engineering, 2014,11(2):594–606.