一、个人简介
金仙力，男，汉族，1978年6月生，福建莆田人。职称 ：副教授，主要研究领域：可信计算理论及其在软件工程、云计算和物联网中的应用。
二、研究方向及主要成果
目前研究方向包括：可信计算基础理论研究及其在软件工程、云计算和物联网中的应用发展研究。
主要成果简介：作为主要完成人曾负责或参与过国家重点基础研究发展规划(973)项目1项，国家自然科学基金项目6项，教育部新世纪优秀人才支持计划1项，江苏省高校自然科学研究计划1项，校引进人才计划1项、校级教改项目1项以及横向项目十多项。发表论文20余篇，EI收录9篇，ISTP收录2篇。
三、代表性著作
[1] Xianli Jin, Geng Yang. Model-Checking of Merging Events for Digital Forensics[J]. International Journal of Digital Content Technology and its Applications, 2012, 6(22):785-793.(EI, No.20125215835387)
[2] Xianli Jin. A Scalable Distributed Multimedia Service Management Architecture[C]. The 2011 2nd International Congress on Computer Applications and Computational Science (CACS 2011), 2011, pp.139-145.(EI,No.20122715186898)
[3] Xianli Jin, Xi Shao. The Formal Model of Real-time Service Components Composition Based on DCValid. The 2009 World Congress on Computer Science and Information Engineering (CSIE 2009), 2009, pp.835-839. (EI, No.20094712464439)
[4] Xianli Jin, Huadong Ma, Zonghua Gu. Real-Time Component Composition Using Hierarchical Timed Automata. The Seventh International Conference on Quality Software (IEEE QSIC 2OO7), 2007, pp.90-99. (SCI, No.000251848400010; EI, No.082811367324)
[5] 金仙力, 马华东. 基于OCL的服务构件特征语义描述模型[J].计算机研究与发展, 2007, 44(12):2112-2121. (EI Compendex, No.080311032583) Jin Xianli, Ma Huadong. A Semantic Description Model of Features for Service Composition Using OCL. Journal of Computer Research and Development, 2007, 44(12):2112-2121.
[6] Xianli Jin, Huadong Ma. Hierarchically Modeling the Component-based Real-time System with Duration Calculus. The Fifth International Conference on Information, Communications and Signal Processing (IEEE ICICS2005), 2005, pp.1411-1415. (EI Compendex, No.071610553138)
[7] Xianli Jin, Huadong Ma. An Approach to Formally Modeling the Component-based E-commerce System, IEEE International Workshop on Service-Oriented System Engineering (IEEE SOSE2005), Beijing, China, October, 2005. (EI Compendex, No.065110314509)
[8] Keda Lv, Huadong Ma, Xianli Jin. A Policy-based Conflict Detection Model for Billing Rules. The First IASTED International Conference on Communication Systems and Networks(AsiaCSN2007), Phuket, Thailand, April 2-4, 2007. (EI, No. 084511678109)
[9] Zehui Shao, Qiufeng Ding, Xianli Jin, Guozi Sun. A Static Semantic Model for Trusted Forensics Using OCL. Future Information Technology, Lecture Notes in Electrical Engineering, Volume 276, 2014, pp 259-268. (EI, No.20142017707614)
[10] 金仙力,杨庚.一种基于ODE的服务组合自动化部署方案[J].计算机与数字工程, 2012, 40(10):73-75.
[11] 金仙力,孙国梓,杨庚.基于层次时间自动机的动态行为取证建模方法[J].微电子学与计算机, 2012, 29(11):18-21.(江苏省计算机学会2012年度优秀论文)
四、联系方式
办公地点：8188cc威尼斯仙林校区行政北楼508室（计算机软件教学中心）
单位电话：85866151
Email：jxl@njupt.edu.cn