一、个人简介

    金仙力，男，汉族，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年度优秀论文)

四、联系方式

    办公地点：伟德bv1946官方网站仙林校区行政北楼508室（计算机软件教学中心）

    单位电话：85866151

    Email：jxl@njupt.edu.cn