包力 讲师
所属学科：软件工程
电子邮箱：ebond@163.com
联系电话：
一、基本情况
包力，男，1980年10月生，蒙古族，内蒙古乌兰察布人，博士，讲师，硕士生导师。现就职于内蒙古工业大学软件工程学科。
二、招生信息
【1】招生专业：0835-软件工程
【2】研究方向：软件形式化技术、服务计算
【3】研究生培养情况：已指导毕业硕士生6人。
三、教育背景
【1】1999年.9月-2003年.7月 大连民族学院计算机系计算机科学与技术专业，获得工学学士学位;
【2】2003年.9月-2006年.4月 大连海事大学信息学院计算机应用技术专业，获得工学硕士学位;
【3】2006年.4月-2009年.12月 大连海事大学航海学院交通信息工程及控制专业，获得工学博士学位。
四、学术兼职、人才工程或专家称谓
无
五、发表论文（代表作5篇）
【1】Li Bao^*; Yi Deng; A Pi-Calculus based Context-Aware Model for Web Service Composition, 2017 4th International Conference on Information Science and Control Engineering(ICISCE), Changsha, China, 2017-07-21 to 2017-07-23，pp.77-81.
【2】Li Bao^*; Zhiqiang Liu; Yonghong Tian; A Formal context-aware model for web service composition; International Conference on Control Engineering & Electronics Engineering(CCEEE), Chengdu, China, 2014-04-25 to 2014-04-27, pp.391-399.
【3】 Bao Li^*; Zhang Weishi; Xie Xiong; A Formal Model for Abstracting the Interaction of Web Services. Journal of Computers, 2010, 5(1): 91-98.
【4】Bao Li^*; Zhang Weishi; Xie Xiong; Abstracting the Interaction of Web Services Using IMWSC, Journal of Information and Computational Science, 2009, 6(2): 699-708.
【5】包力^*; Web服务组合模型的研究, 内蒙古工业大学学报, 2014, 3: 222-226.
六、出版专著或教材：
【1】赵亮, 包力. 计算机软件测试技术与管理研究, 中国商业出版社, 2020.
七、科研创新：
【1】发明专利. 包力, 李瑞国, 郭颖. 一种软件管理系统, 2021-3-5, 中国, ZL 1.2.