Skip to content Skip to navigation

Faculty

Min Yuan Associate Professor

Academic Area: 
Services Computing and Software Engineering
Research Interests: 
  • Formal Methods in Software Engineering
  • Mathematical foundation of Services Computing
  • Cloud computing, distributed computing and grid computing
  • Web Services coordination and transactions
Bio: 

Educational Background:

PhD, Computer Science and Technology, Nanjing University of Aeronautics and Astronautics (2012)

MA, Software Engineering, Southeast University (2007)

 

Research

 

Research Projects:

The Hunan Provincial Natural Science Foundation of China, “Modeling and Verifying Web Services Transaction Supported for Resource Coordination”, No. 09JJ3114, Principal Investigator, by science and technology office of Hunan province, (2009-2011).

The Hunan Provincial Natural Science Foundation of China, “Period-Effective Index Services Based on Information Grid Technology”, No. 05JJ40102, Principal Investigator, by science and technology office of Hunan province, (2005-2007).

The Education Science Programs for Hunan Province China in the period of "11th Five-year Plan", “Integration and Sharing Strategies of Educational Resources Based Open Architecture”, No. XJK06QXJ024, Principal Investigator, by science and technology office of Hunan province, (2006-2009).

The Scientific Research Foundation for high-level personnel, “The coordination mechanism of business transaction for SOA”, Principal Investigator, by Nanjing Normal University, (2014-2016).

The National Natural Science Foundation of China, “The research on the consistency guarantee of software dynamic evolution based model checking”, No. 61202002, Co-Investigator, by Ministry of Science and Technology P. R. China (2012-2015).

The National Natural Science Foundation of China, “The Process Algebra characterization and model checking for the component composition software in Internet environment”, No. 61262002, Co-Investigator, by Ministry of Science and Technology P. R. China (2012-2016).

 

Journal and Conference Proceeding Articles:

Min Yuan, Zhiqiu Huang, Jun Hu. “Modeling and Verification of Cross-organizational Multi-business Transactions”, Journal of Software, 2012,23(3):517-538. (in Chinese).

Min Yuan, Zhiqiu Huang, Zining Cao, Fangxiong Xiao. “An Extended π-Calculus and its Transactional Bisimulation”, Journal of Computer Research and Development, 2010, 47(3):541-548. (in Chinese).

Min Yuan, Zhiqiu Huang, Xiang Li, Yan Yan. “Business Transaction Verification Approach Based on Service Coordination Model”, Computer Integrated Manufacturing Systems(CIMS), 2012,18(3):662-671. (in Chinese).

Min Yuan, Zhiqiu Huang, Xiang Li. “Business Transaction Verification-Enabled Service Coordination Model”, Journal  of  Chinese  Computer Systems, 2011,32(9):1734-1739.(in Chinese).

Min Yuan, Zhiqiu Huang, Xiang Li, Yan Yan. “Towards a Formal Verification Approach for Business Process Coordination”. Presented at and published in the proc. of 2010 IEEE International Conference on Web Services (ICWS), Miami, USA, IEEE Computer Society, 2010: 361-368. (Acceptance rate: 17.5%).

Min Yuan, Zhiqiu Huang, Jun Hu, Xiang Li, Yi Zhu. “Ensuring Coordination of Multi-business Interactions”. Presented at and published in the proc. of 2009 IEEE International Conference on Services computing (SCC), Bangalore, India, IEEE Computer Society, 2009: 356-363. (Acceptance rate: 18.5%).

Min Yuan, Zhiqiu Huang, Jian Zhao, Xiang Li. “Modeling and Verification of Automatic Multi-business Transactions”. Presented at and published in the proc. of 21st International Conference on Software Engineering & Knowledge Engineering (SEKE), Boston, USA, 2009:274-279. (Acceptance rate: 38%).

Min Yuan, Zhiqiu Huang, Fangxiong Xiao. “Modeling and Analysis of Flexible Transaction for Web Services”. Presented at and published in the proc. of 2009 IEEE International Conference on Web Services (ICWS), Los Angeles, USA, IEEE Computer Society, 2009: 1008-1009.

Min Yuan, Zhiqiu Huang, Shouping Gao. “Building Multi-business Processes Coordination Model in Pi-Calculus”, Presented at and published in the proc. of 2009 International Conference on New Trends in Information and Service Science (NISS), Beijing, China, IEEE Computer Society, 2009: 77-82. (Acceptance rate: 29%).

Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, Linyuan Liu, Min Yuan. “Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS”, International Journal of Web Services Research (JWSR), 2011,8(4):47-80.

Xiao Fangxiong, Huang Zhiqiu, Cao Zining, Yuan Min, Zhang Junhua. “Describing and Cost Analyzing of Web Services Composition Using PPA”. Journal of Computer Research and Development. 2009,46(5):832-840. (in Chinese)

Xiaodong Zhu, Zhiqiu Huang, Guohua Shen, Min Yuan. “Variable slide window based frequent itemsets mining algorithm on large data streams”. Journal of Control and Decision, 2009, 24(6):832-836,842. (in Chinese)

Yan Yan, Zhiqiu Huang, Min Yuan. “Modeling of Service-oriented Transactions in Multi-participants Coordination”, Journal of Frontiers of Computer Science and Technology, 2011, 5(4): 356-366. (in Chinese)

Xiao Fangxiong, Huang Zhiqiu, Hu Jun, Yuan Min, Zhang Junhua. “Support Web Services Composition with Optimal Cost Using PPA”. In: Proceedings of 2008 IEEE International Conference on Web Services (ICWS), IEEE Computer Society, 2008: 760-761.

 

Software Copyright:

Mobile process system automatic transform to automaton supporting system, Certificate No.:2015SR270043, Beijing: Copyright Protection Center of China.

Transactional resource management software in cloud environment, Certificate No.:2016SR100068, Beijing: Copyright Protection Center of China.

 

Honors and Awards:

International Participants Funding, Sponsored by UNU-IIST, International Institute for Software Technology, United Nations University (2010).

The Second-Best of Excellent Achievements in Developing Educational Reform of Hunan Provincial Education Department, by education office of Hunan province, P. R. China (2008).

The Second-Best of Excellent Achievements in Education Science Programs for Hunan Province China in the period of "10th Five-year Plan", by education office of Hunan province, P. R. China (2007).

 

Academic Title:

Associate Professor of Computer Science and Technology

Master's Supervisor, College of Computer Science and Technology, Nanjing Normal University

 

Contact:

+86 136 05151968

myuan@njnu.edu.cn