共 21 条
- [1] Lu Y., Ming Z., Zhang L., Collaboration patterns of business process, Computer Integrated Manufacturer Systems, 17, 8, pp. 1570-1579, (2011)
- [2] Sill A., Cloud, data, and business process standards for manufacturing, IEEE Cloud Computing, 3, 4, pp. 74-80, (2016)
- [3] Yousfi A., Freitas A.D., Dey A., Et al., The use of ubiquitous computing for business process improvement, IEEE Trans on Services Computing, 9, 4, pp. 621-632, (2016)
- [4] Li Y., Luo Z., Yin J., Et al., Enterprise pattern: Integrating the business process into a unified enterprise model of modern service company, Enterprise Information Systems, 11, 1, pp. 1-21, (2017)
- [5] Yu W., Yan C., Ding Z., Et al., Modeling and verification of online shopping business processes by considering malicious behavior patterns, IEEE Trans on Automation Science and Engineering, 13, 2, pp. 647-662, (2016)
- [6] Zeng Q., Lu F., Liu C., Et al., Modeling and verification for cross-department collaborative business processes using extended Petri nets, IEEE Trans on Systems, Man, and Cybernetics: Systems, 45, 2, pp. 349-362, (2015)
- [7] Aalst W., Modeling and analyzing interorganizational workflows, Proc of the 1st Int Conf on Application of Concurrency to System Design, pp. 262-272, (1998)
- [8] Salaun G., Bultan T., Roohi N., Realizability of choreographies using process algebra encodings, IEEE Trans on Services Computing, 5, 3, pp. 290-304, (2012)
- [9] Zhang J., Wang H., Cui L., Research on cross-organization workflow modeling based on Pi-calculus, Journal of Computer Research and Development, 44, 7, pp. 1243-1251, (2007)
- [10] Aalst W., Lohmann N., Massuthe P., Et al., From public views to private view correctness by design for services, Proc of the 4th Int Workshop on Web Service and Formal Methods, pp. 139-153, (2007)