科研工作


个人专业兴趣领域：程序理论，形式化方法，程序语言，Web语言和服务的形式化基础

研究组项目

  • FMOWS：Formal Modelling of Web-Services
  • MORACS: MOdelling and Reasoning About Complex States

近年论文

  • Ke Zhang, Hongli Yang, Zongyan Qiu, Generating Scenarios from Web Service Choreography. In the Proceedings of 2011 IEEE Asia-Pacific Services Computing Conference (APSCC 2011), pp290-297, December 12-15, 2011, Jeju, Korea, IEEE CS, 2011.
  • Lei Jinjiang and Qiu Zongyan, Verification of Scalable Synchronous Queue. In the Proceedings of First International Conference on Certified Programs and Proofs (CPP 2011), December 7-9, 2011, Kenting of Taiwan, China, LNCS 7086, pp247-263, Springer, 2011.
  • Kang He, Hongli Yang, Zongyan Qiu and Meng Sun, An approach of modeling and analyzing data gathering protocol. Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS2011), October 19-21, Beijing, 2011.
  • Liu Yijing, Qiu Zongyan, and Long Quan. WP Semantics and Behavioral Subtyping. In the Proceedings of International Colloquium on Theoretical Aspects of Computing 2011 (ICTAC 2011). August 31 - September 2, 2011, Johannesburg, South Africa, LNCS 6916, pp 154-172, Springer, 2011.
  • Liu Yijing, Hong Ali and Qiu Zongyan. Inheritance and Modularity in Specification and Verification of OO Programs. In the Proceedings of 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), pp19-26, August 29 - 31, 2011, Xi'an, China. IEEE CS 2011.
  • Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu and Huibiao Zhu. Towards an Axiomatic Verification System for JavaScript. In the proceedings of 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), pp133-141. August 29 - 31, 2011, Xi'an, China. IEEE CS 2011
  • Chen Deng, Zongyan Qiu and Hongli Yang. Analysis of WS-BPEL Processes in PRISM, In the proceedings of 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), pp199-202. August 29 - 31, 2011, Xi'an, China. IEEE CS 2011
  • Shu Qin, Qiu Zongyan, and Wang Shuling, A Confinement Framework for OO Programs, 5th International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (IWACO 2011), 25th July 2011, Lancaster, UK.
  • Liu Yijing and Qiu Zongyan, A Separation Logic for OO Programs, In 7th International Workshop on Formal Aspects of Component Software (FACS 2010), October 14-16, 2010, Guimaraes, Portugal. The Proceedings is Markus Lumpe and Luis Barbosa (eds.), LNCS 6921, pp88-105, Springer, 2011.
  • Shengyi Wang, Zongyan Qiu, Shengchao Qin, and Wei-Ngan Chin, Stack Bound Inference for Abstract Java Bytecode, In the Proceedings of 4th IEEE Symposium on Theoretical Aspects of Software Engineering (TASE 2010), pp57-66, August 25-27, 2010, Taipei of Taiwan, China, IEEE CS, 2010.8.
  • Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu, A Probabilistic QoS Model-Checking for Dynamic Routing Protocol, In the Proceedings of 2010 10th International Conference on Quality Software (QSIC), pp441-448, July 14-15, 2010, Zhengjiajie, China. IEEE CS, 2010.7.
  • Qiu Zongyan, Peng Liyang, and Yang Hongli, A Framework for Integrating Human Processes with Business Artifacts, In the Proceedings of 2010 Fifth IEEE International Symposium on Service Oriented System Engineering (SOSE 2010), pp252-259,June 4-5, 2010, Nanjing, China, IEEE CS, 2010.6.
  • Wang Shuling, Shu Qin, Liu Yijing, and Qiu Zongyan, A Semantic Model of Confinement and Locality Theorem, Frontiers of Computer Science in China, Vol. 4, No. 1, pp28-46, DOI10.1007/s11704-009-0075-6, HEP & Springer, 2010.3.
  • Liyang Peng, Chao Cai, Qiu Zongyan, and Geguang Pu, Verification of Channel Passing in Choreography with Model Checking, IEEE International Conference on Service-Oriented Computing and Applications (SOCA) 2009, pp286-290, Dec. 14-15, Taipei of Taiwan, China. IEEE CS Press, 2009.
  • Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, and Bin Gu, Towards Scalable Compositional Test Generation, In Proceedings of The 9th International Conference on Quality Software (QSIC 2009), pp353-358, Aug. 24-25, 2009. Jejiu, Korea. IEEE CS Press, 2009.
  • Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu, Enforcing Constraints on Life Cycles of Business Artifacts, in The Proceedings of 3nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE 2009), pp 111-118, Tianjin, China, 2009.7. IEEE CS Press, 2009.
  • Wang Shengyi, Qiu Zongyan, A Tool For Estimating Memory Usage, in The Proceedings of 3nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE 2009), pp 287-288, Tianjin, China, 2009.7. IEEE CS Press, 2009.
  • Chao Cai, Zongyan Qiu, Hongli Yang and Xiangpeng Zhao, A Top-down Approach to Rigorously Develop Distributed System with Exception Handling, Journal of Computer Science and Technology, 24(2), pp 238-249, Springer, 2009.
  • Liang Zhao, Xiaojian Liu, Zhiming Liu and Zongyan Qiu, Graph Transformations for Object-Oriented Refinement, Formal Aspects of Computing, 21(1), pp 103-131, Springer, 2009.
  • Chenguang Luo, Shengchao Qin and Zongyan Qiu, Verifying BPEL-like Programs with Hoare Logic (Extended Version), Frontiers of Computer Science in China, 2(4), pp344-356, HEP & Springer, December 2008.
  • Hongli Yang, Xiangpeng Zhao, Chao Cai and Zongyan Qiu, Model-checking of Web Services Choreography, In the Proceedings of The Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE 2008), pp79-84. Dec 18-19, 2008, National Central University, Jhongli of Taiwan, China. IEEE CS, 2008.
  • Long Quan, Qiu Zongyan and Zhiming Liu, Formal Use of Design Patterns and Refactoring, In the Proceedings of Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium (ISoLA 2008), pp323-338, Porto Sani, Greece, October 13-15, 2008. Communications in Computer and Information Science 17, Springer, 2008.10.
  • Chao Cai, Zongyan Qiu, Xiangpeng Zhao, and Hongli Yang, Correct Channel Passing by Construction, In Proceedings of 10th International Conference on Formal Engineering Methods (ICFEM 2008), pp358-374. Kitakyushu-City, Japan, 2008.10. Lecture Notes on Computer Science 5256, Springer, 2008.
  • Cai Chao and Qiu Zongyan, An Approach to Check Choreography with Channel Passing in WS-CDL, In Proceedings of 2008 IEEE International Conference on Web Services (ICWS 2008), pp700-707. Beijing, China, 2008.9. IEEE CS, 2008.
  • Zhao Xiangpeng, Qiu Zongyan, Cai Chao, and Yang Hongli, A Formal Model of Human Workflow, In Proceedings of 2008 IEEE International Conference on Web Services (ICWS 2008), pp 195-202. Beijing, China, 2008.9. IEEE CS, 2008.
  • Cai Chao, Yang Hongli, Zhao Xiangpeng and Qiu Zongyan, A Formal Model for Channel Passing in Web Service Composition, In Proceedings of 2008 IEEE International Conference on Services Computing (SCC 2008), Work in progress paper, pp495-496. Hawaii, USA, 2008.7. IEEE CS, 2008.
  • Chenguang Luo, Shengchao Qin and Zongyan Qiu, Verifying BPEL-like Programs with Hoare Logic, In Proceedings of 2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE 2008), pp151-158. July 17-19, 2008. Nanjing, China, 2008.6. IEEE CS Press, 2008.
  • Shuling Wang and Zongyan Qiu, A Generic Model for Confinement and Its Application, In Proceedings of 2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE 2008), pp57-64. July 17-19, 2008. Nanjing, China, 2008.6. IEEE CS Press, 2008.
  • Yang Hongli, Cai Chao, Peng Liyang, Zhao Xiangpeng and Qiu Zongyan, Reasoning about Channel Passing in Choreography, In Proceedings of 2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE 2008), pp135-142. July 17-19, 2008. Nanjing, China, 2008.6. IEEE CS Press, 2008.
  • Zhao Xiangpeng, Cai Chao, Yang Hongli, and Qiu Zongyan, A QoS View of Web Service Choreography, Third IEEE International Workshop on Service-Oriented System Engineering (SOSE2007). In the Proceedings of the IEEE International Conference of e-Business Engineering (ICEBE 2007), pp607-611. Hong Kong, China, 2007.10. IEEE CS, 2007.
  • Yang Hongli, Zhao Xiangpeng, Cai Chao, and Qiu Zongyan, Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation, In Proceedings of 27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2007), pp81-96. Tallinn, Estonia, 2007.6. Lecture Notes on Computer Science 4574, Springer, 2007.
  • Qiu Zongyan, Wang Shuling and Quan Long, Sequential μJava: Formal Foundations (Invited Talk), Fifth Asian Workshop on Foundations of Software (AWSF07), Xiamen, China, June 1-3, 2007.
  • Jing Dong, Tu Peng, and Zongyan Qiu, Commutability of Design Pattern Instantiation and Integration, In Proceedings of 1st IEEE&IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007), pp283-292. Shanghai, China, 2007.6. IEEE CS, 2007.
  • Qiu Zongyan, Zhao Xiangpeng, Cai Chao, and Yang Hongli, Towards the Theoretical Foundation of Choreography, In Proceedings of Sixteenth International World Wide Web Conference (WWW 2007), pp973-982. Banff, Alberta, Canada, May 8-12, 2007. ACM Press, 2007.
  • Sun Meng, Yang Hongli, Zhang Naixiao and Qiu Zongyan. Using UML for Specification and Refinement of Software Architectures, ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS PEKINENSIS, Vol.43, No.1, pp1-10, 2007. 英文论文, 北京大学学报(自然科学), 2007年第1期, pp 1-10, 2007年1月出版.
  • Wang Shuling, Long Quan, and Qiu Zongyan, Type safe for FJ and FGJ, In Proceedings of 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), pp257-271. Tunisia, Tunis, 2006.11. Lecture Notes on Computer Science 4281, Springer. 2006.
  • Geguang Pu, Huibiao Zhu, Jifeng He, Zhao Xiangpeng, Qiu Zongyan, and Yang Hongli, Patterns with algebraic properties in BPEL0, In Proceedings of 2nd IEEE-EASST International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), pp363-370. November 15-19, Paphos, Cyprus. IEEE CS Press, 2006.
  • Zhao Xiangpeng, Yang Hongli, Cai Chao, Dai Xiwu and Qiu Zongyan, Verification of WS-CDL Choreography, 1st International Workshop on Asian Working Conference on Verified Software (AWCVS 2006), 2006.11, Macao, China. Preliminary Proceedings pp 163-178, UNU-IIST Report No. 347, 2006.
  • Zhao Xiangpeng, Quan Long, and Qiu Zongyan, Model Checking Dynamic UML Consistency, In Proceedings of 8th International Conference on Formal Engineering Methods (ICFEM 2006), pp 440-459. Macao, China, 2006.11. Lecture Notes on Computer Science 4260, Springer, 2006.
  • Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, and Geguang Pu, Type Checking Choreography Description Language, In Proceedings of 8th International Conference on Formal Engineering Methods (ICFEM 2006), pp 264-283. Macao, China, 2006.11. Lecture Notes on Computer Science 4260, Springer, 2006.
  • Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, and Jifeng He, A Hybrid Heuristic Algorithm for HW-SW Partitioning within Timed Automata, In Proceedings of 10th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems (KES2006), pp 459-466. Bournemouth, UK, 2006.10. Lecture Notes on Artificial Intelligence 4251, Springer, 2006.
  • Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, and Shuling Wang, A Formal Model for Web Service Choreography Language (WS-CDL), In Proceedings of International Conference on Web Services (ICWS 2006), pp 893-894, Work in progress paper. Chicago, USA, 2006.9. IEEE, CS Press, 2006.
  • Zhao Xiangpeng, Yang Hongli, and Qiu Zongyan, Towards the Formal Model and Verification of Web Service Choreography Description Language, In the Proceedings of 3rd International Workshop on Web Service and Formal Methods (WSFM'06), pp 273-287. September 8-9, 2006. Vienna, Austria. Lecture Notes on Computer Science 4184, Springer, 2006.
  • Zhao Liang, Zhao Xiangpeng, Long Quan, and Qiu Zongyan, A Type System for the Relational Calculus of Object Systems. In Proceedings of 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), pp 189-198. August 15-17, 2006. Stanford University, CA, USA, 2006.8. IEEE CS Press, 2006.
  • Geguang Pu, Chong Zhang, Qiu Zongyan, He Jifeng, and Wang Yi, Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. In Proceedings of 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), pp 131-138. August 15-17, 2006. Stanford University, CA, USA, 2006.8. IEEE CS Press, 2006.
  • Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He, Theoretical Foundation of Scope-based Compensable Flow Language for Web Service, In Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06). June 14-16, 2006. Bologna, Italy. Lecture Notes on Computer Science 4037, pp 251-266, Springer, 2006.
  • Pu Geguang, He Jifeng, and Qiu Zongyan, An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem, In Proceedings of the 9th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'06), pp 151-152. April 18-21, 2006. Prague, Czech. IEEE CS Press, 2006.
  • Shengchao Qin, Wie-Hgan Chin, Jifeng He, and Zongyan Qiu, From Statecharts to Verilog: a formal approach to hardware/software co-specification, Innovations in Systems and Software Engineering, A NASA Journal, Volume 2, Number 1, pp 17-38, Springer, 2006.3.
  • Dang Van Hung, He Jifeng, Pu Geguang, Qiu Zongyan, and Wang Yi, An optimal approach to Hardware/Software partitioning for synchronous model, Formal Aspects of Computing, Vol. 17, No. 4, pp 443-460, Springer, 2005.12.
  • Quan Long, Qiu Zongyan, Zhiming Liu, Lingshuang Shao, and He Jifeng, POST: A case study for an incremental development in rCOS, In Proceedings of 2nd International Colloquium on Theoretical Aspects of Computing (ICTAC 2005), pp498-513. October 17-21, 2005. Henoi, Viet Nam. Lecture Notes on Computer Science 3722, Springer, 2005.
  • Chong Zhang, Lin Zuoquan, Pu Geguang, Qiu Zhongyan, Wang Shuling, Zhao Xiangpeng, Robust tabu search for resource predictions in high level synthesis, In Proceedings of The 6th Metaheuristics International Conference (MIC 2005). Vienna, Austria, 2005.9.
  • Qiu Zongyan, Wang Shuling, Pu Geguang, Zhao Xiangpeng, Semantics of BPEL4WS-like fault and compensation handling, In Proceedings of International Symposium of Formal Methods Europe (FM2005), pp350-365. July 18-22, 2005. New Castle, UK. Lecture Notes on Computer Science 3582, Springer, 2005.
  • Pu Geguang, Zhao Xiangpeng, Wang Shuling, and Qiu Zongyan, Towards the semantics and verification of BPEL4WS, In Proceedings of International Workshop on Web Languages and Formal Methods (WLFM 2005), New Castle, UK, 2005.7, edited by A. Arenas, J.S. Dong, A. Martin and B. Matthews. Electronic Notes in Theoretical Computer Science, Volume 151, Issue 2, pp33-52, Elsevier, 2006.5.
  • Pu Geguang, Qiu Zongyan, He Jifeng, Integrating time and resource into Circus, In Proceedings of the Brazilian Symposium on Formal Methods (SBMF2004), 29 November - 01 December 2004, Edited by A. Mota; A. Moura. Electronic Notes in Theoretical Computer Science, Volume 130, pp401-418, Elsevier, 2005.5.
专业领域社会服务：
  • PC member, ICFEM 2012 (14th International Conference on Formal Engineering Methods). 12-16 November 2012, Kyoto, JAPAN
  • PC member, SLBP 2012 (16th Brazilian Symposium on Programming Languages). 23-28 September, 2012, Natal-RN, Brazil
  • PC member，ICTAC 2012 (9th International Colloquium on Theoretical Aspects of Computing), 24-27 September 2012, Bangalore, India.
  • PC member, UTP 2012 (4th International Symposium on Unifying Theories of Programming), August 27 - 28, 2012. Paris, France
  • PC Co-chair, TASE 2012 (The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering), 4-6 July 2012, Beijing, China
  • PC member, FTfJP 2012 (Formal Techniques for Java-like Programs), 11-16 June 2012, Beijing, China
  • PC Co-chair, ICFEM 2011 (13th International Conference on Formal Engineering Methods). 25th-28th October 2011, Durham, United Kingdom
  • PC member, TASE 2011 (5th IEEE International Conference on Theoretical Aspects of Software Engineering). August 29 - 31, 2011, Xi'an, China
  • PC member, AWFS 2011 (The Eighth Asian Workshop on Foundation of Software). Shanghai Jiao Tong University. May 13-14, 2011. Shanghai, China.
  • PC member, ICFEM 2010 (12th International Conference on Formal Engineering Methods, Nov 16 - 19, 2010, Shanghai, China
  • PC member, UTP 2010 (3rd International Symposium on Unifying Theories of Programming), Nov 15 - 16, 2010, Shanghai, China
  • PC member, AWFS 2010 (The Seventh Asian Workshop on Foundation of Software), Beihang University, Beijing, China May 14-16, 2010
  • PC member, ICIS 2010 (9th IEEE/ACIS International Conference on Computer and Information Science), August 18–20, 2010, Yamagata, Japan
  • PC member, ATVA 2010 (8th International Symposium on Automatics Technology for Verification and Analysis), September 21 - 24, 2010, Singapore
  • PC member, TASE 2010 (4th IEEE Symposium on Theoretical Aspects of Software Engineering), August 25 - 27, 2010, Taipei, Taiwan, China
  • PC member, WS-FM'09, 6th International Workshop on Web Services and Formal Methods, Bologna, Italy, September 4 - 5, 2009
  • PC member, APSEC 2009 (XVI Asia Pacific Software Engineering Conference), Dec 1-3, 2009, Penang, Malaysia
  • PC member, TASE 2009 (3nd IEEE Symposium on Theoretical Aspects of Software Engineering), July 29-31, 2009, Tianjin, China
  • PC Member, ICIS 2009 (8th IEEE/ACIS International Conference on Computer and Information Science), June 1-3, 2009, Shanghai, China
  • PC member, AWFS 2009 (Sixth Asian Workshop on Foundations of Software), GRACE Center of National Institute of Informatics, Tokyo, Japan, April 6-8, 2009
  • PC member, APSEC 2008 (XV Asia Pacific Software Engineering Conference), Dec 3-5, 2008, Beijing, China
  • PC member, TASE 2008 (2nd IEEE Symposium on Theoretical Aspects of Software Engineering), June 17-19, 2008, Nanjing, China
  • PC member, ICESS 2008 (The 2008 International Conference on Embedded Software and Systems), July 29-31, 2008, Chnegdu, Sichuan, China
  • PC member, TTSS'07 (1st Intl. Workshop on Harnessing Theories for Tool Support in Software), 22-23 September 2007, Macau, China
  • PC member, APSEC 2007 (XIV Asia Pacific Software Engineering Conference), Nagoya, Japan, Dec 5-7, 2007
  • PC member, ICECCS 2007 (12th IEEE International Conference on Engineering Complex Computer Systems), Auckland, New Zealand, July 11 - 14, 2007
  • PC member，TASE 2007 (1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering), Shanghai, China, 2007
  • PC member，APSEC 2006 (XIII Asia Pacific Software Engineering Conference), Dec. 6-8, 2006, Bangalore, India
  • PC member，ICFEM 2006 (International Conference on Formal Engineering Methods), Macau, China
  • PC member，APLAS 2004 (Asian Symposium on Programming Languages and Systems)
  • PC member，ICTAC 2004 (International Colloquium on Theoretical Aspects of Computing)
  • Publicity Chair，ICFEM 2003 (International Conference on Formal Engineering Methods), Singapore
负责科研项目：
  • 自然科学基金 "对象封装和保护的理论和技术研究"（2008）
  • 自然科学基金 "Web服务编排和协作的形式化模型"（2008）
  • 自然科学基金 "复杂状态程序和系统的语义模型研究"（2006）
  • 自然科学基金 "实时系统理论及系统开发的形式化方法研究"（2002）
  • 自然科学基金 "实时系统的逻辑理论基础"（1999）

近年参加科研项目：

  • 973项目"数学机械化方法及其在信息技术中的应用"（2004-2006）
  • 973项目"数学机械化和自动推理平台"（1999-2003）
2012.2