当前位置: X-MOL首页全球导师 国内导师 › 张亮

个人简介

张亮,复旦大学教授,博士生导师。中国计算机学会高级会员、IEEE 会员、ACM 会员、中国计算机学会服务计算专委会委员、协同计算专委会委员。主要研究方向包括服务计算,反应式流程与服务系统、CPS/IoT 服务、跨界服务融合、群智多方协作等。其研究工作受到中国自然科学基金、973、863、国家重点研发项目的资助。现任 ICSOC Steering Committee 委员,中国业务过程管理大会指导委员会委员。

研究领域

Web 与服务计算,以数据为中心的工作流

近期论文

查看导师最新文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认)

Lin Ye, Biqi Zhu, Chenglong Hu, Liang Zhang, Hong-Linh Truong. On-the-fly Collaboration for Legacy Business Process Systems in An Open Service Environment. ICWS’2019, July 8-13, 2019. Milan, Italy. (Short paper) Xiaofei Bai, Jian Gao, Chenglong Hu and Liang Zhang. Constructing an Adversary Solver for Equihash. In Procs. of NDSS’2019, 2019 Guosheng Kang, Liqin Yang, Liang Zhang. Verification of behavioral soundness for artifact-centric business process model with synchronizations. Future Generation Computer Systems. (accepted), 2019 Xi Chen, Biqi Zhu, Lin Ye, Liang Zhang, Hong-Linh Truong. Convenient Reuse of Enterprise Legacy Business Process Models. CCF ICSS’2019. Tianjin, China Biqi Zhu, Xi Chen, Lin Ye, Liang Zhang, Hong-Linh Truong. Coordinators Design for Instant Cross-enterprise Collaboration. CCF ICSS’2019. Tianjin, China Zeyuan Yu, Liang Zhang. A User Profile SystemBased on Spatio-temporal Trajectory Data Mining. CCF ICSS’2019. Tianjin, China Chenlong Hu, Liang Zhang. A Priority-based Policy for Autonomous Intersection Control. CCF ICSS’2019. Tianjin, China (best student paper) Guosheng Kang, Liqin Yang, Liang Zhang. Towards Configurable Modeling for Artifact-centric Business Processes. Concurrency and Computation: Practice and Experience. (accepted), 2019 C. Janiesch, A. Koschmider, M. Mecella, B. Weber, A. Burattin, C. Di Ciccio, A. Gal, U. Kannengiesser, F. Mannhardt, J. Mendling, A. Oberweis, M. Reichert, S. Rinderle-Ma, W. Song, J. Su, V. Torres, M. Weidlich, M. Weske, L. Zhang, The internet-of-things meets business process management: mutual benefits and challenges, CoRR (2017). https://arxiv.org/abs/1709.03628 Liyan Zeng, Zhuoya Gu, et al.. Discovery of a high-altitude ecotype and ancient lineage of Arabidopsis thaliana from Tibet. Science Bulletin. 62(24):1628-1630, 2017 J Lei J, Bai R, Guo L, et al. Towards a Scalable Framework for Artifact-Centric Business Process Management Systems[C]// International Conference on Web Information Systems Engineering. Springer International Publishing, 2016:309-323. Lin Ye, Kaiyu Qian, and Liang Zhang. S-PDH: A CPS Service Contract Framework for Composition. A. Norta et al. (Eds.): ICSOC 2015 Workshops, LNCS 9586, pp. 79–90, 2016. Fei Yu, Lipeng Guo, and Liang Zhang. Process Modeling Leveraged by Workflow Structure and Running Logs Analysis. In . Cao et al. (Eds.): PAS 2015, CCIS 602, pp. 29–39, 2016 Springer 张亮,路红, 唐志强. 符合CS2013规范的计算机系统类课程设计. 计算机教育. 2015年地17期: 29-34, 2015 杨丽琴, 康国胜, 郭立鹏, 田朝阳, 张亮, 张笑楠, 高翔. 一种适用于多样性环境的高效业务流程挖掘方法, 软件学报, 2014已录用 Guosheng Kang, Liqin Yang, Wei Xu, Zhaoyang Tian, Liang Zhang. Artifact-centric Business Process Configuration, International Journal of High Performance Computing and Networking, Inderscience Publishers, 2014 (in press) Guosheng Kang, Zhaoyang Tian, Xiao Zhang, Lixin Ma, Xiang Gao, Xiaonan Zhang, Zizhe Ding. Heterogeneous Business Process Consolidation: A Pattern-driven Approach. International Conference on Service Science (ICSS 2014), Wuxi, China, 2014/05/22-23 田朝阳, 康国胜, 杨丽琴, 张亮, 张笑楠, 高翔. 基于jBPM5的业务模式执行方法与实现, 第五届中国服务计算学术会议 (NCSC 2014), 天津, 2014/09/27-29 周征奇,张亮. 延迟绑定任务间相互依赖型业务流程的建模与实现. 小型微型计算机系统, 12: 2681-2685. 2013 叶林, 汤瀑, 郭立鹏, 张亮.基于混成系统的物联网服务建模与验证. 小型微型计算机系统, 12: 2663-2668, 2013 汤瀑, 叶林, 郭立鹏, 张亮. 物联网系统的组合与验证. 计算机工程, 39(9): 45-48, 2013 Qing Wang, Liang Zhang. Least squares online linear discriminant analysis. Expert Systems with Applications. 39(1): 1510–1517, 2012 李杰辉, 张亮, 陈健, 南蓬. 基于Hadoop的化合物生物活性分析系统. 计算机工程. 38(13): 48-50. 2012 陈彦光, 徐玮, 张亮, 苏建文. EZMS:支持EZ-Flow的工作流管理系统. 计算机技术与发展. 22(12): 1-6, 2012 刘伟, 杨勇, 张亮. 一种考虑消息类型的服务可替换性验证方法. 计算机工程. 38(13): 40-43, 2012 Yong Yang, Marlon Dumas, Luciano García-Ba?uelos, Artem Polyvyanyy, Liang Zhang. Generalized Aggregate Quality of Service Computation for Composite Services. Journal of Systems and Software, 85 (8): 1818-1830, Elsevier, 2012 Wei Xu, Jianwen Su, Zhimin Yan, Jian Yang, Liang Zhang. An Artifact-Centric Approach to Dynamic Modification of Workflow Execution. in Procs. of CoopIS 2011, LNCS 7044 : 256-273, 2011 Leilei Chen, Jian Yang, Liang Zhang. Time Based QoS Modeling and Prediction for Web Services. In Procs. of ICSOC 2011 (short paper), LNCS 7084, pp. 532–540, 2011. Qing Wang, Liang Zhang. Online updating the generalized inverse of centered matrix. In Procs. of the 25th AAAI Conference on Artificial Intelligence (AAAI’11), (Poster), 2011 Marlon Dumas, Luciano García-Ba?uelos, Artem Polyvyanyy, Yong Yang and Liang Zhang. Aggregate Quality of Service Computation for Composite Services. in Procs. of ICSOC 2010, LNCS: 6470: 213-227, 2010 Marlon Dumas, Yong Yang, Liang Zhang. Improving Web Service Survivability via Gracefully Degraded Substitution. in Procs. of IEEE/ACM WI 2010 :597-600 (short paper), 2010 Marlon Dumas, Yong Yang, Liang Zhang. Towards a Formalization of Contracts for Service Substitution. in Procs. of Services 2010: 423- 430, IEEE Press Leilei Chen, Qing Wang, Wei Xu, Liang Zhang. Evaluating the Survivability of SOA Systems based on HMM. in Procs. of ICWS 2010 (WIP), 673- 675, 2010 Yanguang Chen, Jiehui Li, Yi Lv, Haihuan Qin, Liang Zhang. DRWSC — To Simplify Dynamic Invocation for RESTful Web services. in Procs. of ICSES 2010:226-229, IEEE Press Yutian Sun, Liang Zhang, Zhengqi Zhou, Yangjun Cai, Zhencun Xie, Zhimin Yan. Reconstructing Meaningful Work?ow from Transaction Logs. in Procs. of ICSES 2010:308-311, IEEE Press Qing Wang, Liang Zhang. Ensemble Learning based on Multi-Task Class Labels, PAKDD LNAI 6119: 464 – 475, 2010. Guohua Liu, Xi Liu, Haihuan Qin, Jianwen Su, Zhimin Yan, Liang Zhang. Automated Realization of Business Workflow Specification. in LNCS: 6275, Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 96-108. Position Paper, 2010 徐玮,成伟华,严志民,张亮. 基于ACOM模型的业务逻辑变更研究.计算机研究与发展.第46卷增刊:178-184,2009 Qing Wang, Liang Zhang, Mingmin Chi, Jiankui Guo. MTForest: Ensemble Decision Trees based on Multi-Task Learning. In Procs. of The 18th European Conference on Artificial Intelligence (ECAI’08): 122-126, IOS press. 2008 Mira Kajko-Mattsson, Liang ZHANG, Yuansha ZHOU. There are no National Boundaries when Teaching Software Lifecycle Management. In Procs. of 2008 International Conference on Information Technology in Education. 2008 刘方方, 史玉良, 张亮, 施伯乐. 基于进程代数的Web服务合成的替换分析. 计算机学报. 2007 30(11): 2033-2039 史玉良, 王海洋, 张亮, 施伯乐. Web 服务合成的相容性与替换性分析. 计算机研究与发展. 44 (11) : 1955-1961 , 2007 张亮, 李然, 汪卫, 施伯乐. XML数据物化模式的生成与优化技术. 软件学报. 18(2): 323-331, 2007 Fangfang Liu, Yuliang Shi, Liang Zhang, Lili Lin, Baile Shi. Analysis of Web Services Composition and Substitution via CCS. In J. Lee et al. (Eds.): Proc. DEECS 2006, LNCS 4055:236-245, 2006 史玉良, 黄光安, 叶炜, 张亮, 施伯乐. 基于任务依赖信息的Web服务自动合成,计算机研究与发展, 2006. 43(12) 2110-2116 Yuliang Shi, Liang Zhang, Baile Shi. TDWF:A Workflow Model Based on Cooperation of Web Services. in Procs. of the 10th International Conference on Computer Supported Cooperative Work in Design (CSCWD’2006). May, 2006, Nanjing, China. Yuliang Shi, Guang’an Huang, Liang Zhang, Baile Shi. A Method to Select the Optimum Web Services. In X. Zhou et al (eds.), Procs. of Frontiers of WWW Research and Development – APWeb 2006: 8th Asia-Pacific Web Conference, LNCS 3841: 868 – 873, Springer-Verlag, 2006. IDS Number: BDV60 Yanfei Xu, Liang Zhang, Wei Liu. Cubic Analysis of Social Bookmarking for Personalized Recommendation. In X. Zhou et al (eds.), Procs. of Frontiers of WWW Research and Development – APWeb 2006: 8th Asia-Pacific Web Conference, LNCS 3841: 733-738, Springer-Verlag, 2006. IDS Number: BDV60 Yanfei Xu, Liang Zhang. Personalized Information Service Based on Social Bookmarking. In E.A. Fox et al. (Eds.) Procs. of the 8th International Conference on Asian Digital Libraries (ICADL’05) (poster). LNCS 3815: 475-477, Springer-Verlag Berlin Heidelberg 2005 Xiangdong Zhou, Jianye Ye, Lian Chen, Liang Zhang, and Baile Shi. Automatic Image Annotation Based on Topic-Based Smoothing. In M. Gallagher, J. Hogan, and F. Maire (Eds.): Procs. of IDEAL 2005, LNCS 3578, pp. 86–93, Springer-Verlag Berlin Heidelberg 2005 IDS Number: BDG49 陶春, 张亮, 施伯乐. 基于本体的XML数据集成的查询处理.计算机研究与发展.2005,42(3).468-477 Yuliang Shi, Liang Zhang, Fangfang Liu, Lili Lin, Baile Shi. Compatibility Analysis of Web Services. In Proc. Of The 2005 IEEE/WIC/ACM International Conference on Web Intelligence, 19-22 Sept, 2005, France. Pages 483 – 486. IDS Number: BDM68. Liang Zhang, Chaoran Li, Yanfei Xu, Baile Shi. An Efficient Solution to Factor Drifting Problem in the pLSA Model. In Porcs. of the 15th International Conference on Computer and Information Technology (CIT 2005): 175-179, IEEE Press, 2005 IDS Number: BDF38 Yuliang Shi, Liang Zhang, Bing Liu, Fangfang Liu, Lili Lin, Baile Shi. A Formal Specification for Web Services Composition and Verification. In Porc. of The 15th International Conference on Computer and Information Technology(CIT 2005): 252-256, IEEE Press, 2005 IDS Number: BDF38 Yuliang Shi, Liang Zhang, Fangfang Liu, Lili Lin, Baile Shi. Web Service Collaboration Analysis via Automata. In W. Fan, Z. Wu, and J. Yang (Eds.): WAIM 2005, Lecture Notes in Computer Science 3739: 858-863, 2005. Springer-Verlag IDS Number: BDG49 Jianye Ye, Xiangdong Zhou, Jian Pei, Lian Chen, Liang Zhang. Stratification-Based Approach to Accurate and Fast Image Annotation In W. Fan, Z. Wu, and J. Yang (Eds.): Procs. of WAIM 2005, LNCS 3739, 2005. Springer-Verlag IDS Number: BDG49 Fangfang Liu, Liang Zhang, Yuliang Shi, Lili Lin, Baile Shi. Formal Analysis of Compatibility of Web Services via CCS. In Procs. of International Conference on Next Generation Web Services Practices (NWeSP’05): 143-148, IEEE Press Yan LU, Liang ZHANG. Multiple Schema Based XML Indexing. in Procs. of International Conference on Computer Networks and Mobile Computing (ICCNMC) 2005. X. Lu and W. Zhao (Eds.), LNCS 3619:891-900, Springer-Verlag, 2005 IDS Number: BCT45 路燕,郝忠孝,张亮.一种DTDs完全一致性判断算法.计算机研究与发展. 42(11):1977-1982, 2005 路燕,郝忠孝,张亮. 基于编码的XML关系数据库存储.计算机研究与发展. 42(11):1983-1988, 2005 路燕,张亮,段起阳,施伯乐.一种基于DTD的XML索引方法. 计算机研究与发展, 2005 42(1):30-37 张亮,周向东,张琪,施伯乐. 图像检索中基于长期学习的动态用户模型, 软件学报. 16(2): 233-238, 2005 Liang ZHANG, Guowen WU, Yanfei XU, Wei LI, Yang ZHONG. Multilingual Collection Searching via Ontology Alignment. In Procs. of the 7th International Conference of Asian Digital Libraries (ICADL’04), LNCS 3334: 510-514, Springer-Verlag, IDS Number: BBO59 Guowen WU, Liang ZHANG, Yin KANG, Jun YIN, Xiangdong ZHOU, Peiyi ZHANG, Lin ZHAO. A Metasearch Engine with Automatic Resource Binding Ability. In Procs. of the 7th International Conference of Asian Digital Libraries (ICADL’04) LNCS 3334:642, posert, Springer-Verlag, IDS Number: BBO59 黄光安,肖璐,张亮,施伯乐. 一种基于文档编码的XML优化查询方法. 计算机研究与发展,第41卷增刊, 2004.10: 376-381 肖璐,黄光安,张亮,施伯乐. XML文档到本体的自动映射. 计算机研究与发展,第41卷增刊, 2004.10: 397-403 Lu XIAO, Liang ZHANG, Guang’an HUANG, Baile SHI. Automatic Mapping from XML Documents to Ontologies. In Daming Wei et al. eds. Procs. of the 4th International Conference on Computer and Information Technology (CIT2004) : 321-325, IEEE Press, 2004, ISTP: IDS Number: BBB01 Yuliang SHI, Liang ZHANG, Baile SHI. Exception Handling of Workflow for Web Services. In Daming Wei et al. eds. Procs. of the 4th International Conference on Computer and Information Technology (CIT2004) : 273-277, IEEE Press, 2004, ISTP: IDS Number: BBB01 葛亮, 冷德宏, 谢祖铭, 马坚, 张亮, 施伯乐. 基于本体的Web站点建模. 计算机工程 30(15): 50-52, 2004 葛亮, 谢祖铭, 马坚, 周振, 张亮, 施伯乐. 基于本体的实体/联系模型, 计算机工程 30(15): 54,91, 2004 张亮, 施伯乐, 周向东, 刘莉, 张琪. 发掘相关反馈日志中关联信息的图像检索方法. 软件学报. 2004. 15(1):41-48, EI Number: EIP04248214386 刘国华, 汪卫, 张亮, 施伯乐. 基于有向图的对象范式生成算法. 软件学报. 2004. 15(5):730-740, EI Number: EIP04338313322 周向东, 施伯乐, 张琪, 张亮, 刘莉. 基于长期学习的多媒体数据库相似性检索. 软件学报. 2004. 15(1):86-93, EI Number: EIP04248214391 周向东, 张亮, 张琪, 刘莉, 施伯乐.基于反馈日志分析的图像检索相关反馈方法. 计算机研究与发展, 2004. 41(1): 111-117 路燕, 张亮, 汪卫, 张彪, 施伯乐. 一种新的XML文档编码机制. 计算机研究与发展. 2004. 41(3): 500-503 周向东, 张亮, 张琪, 刘莉, 施伯乐. 基于多聚类中心的图像检索方法. 模式识别与人工智能. 2003. 16(2):152-157, 2003.6. 路燕, 张亮, 汪卫, 段起阳, 施伯乐. XML查询中DTD的排序技术. 计算机研究与发展, 2003. 40(11):1579-1585 Xiangdong Zhou, Qi Zhang, Li Liu, Liang Zhang, Baile Shi. An Image Retrieval method based on analysis of Feedback Sequence Log. Pattern Recognition Letters. Elsevier Science. 2003. 24(14): 2499-2508, EI Number: EIP03327587158; IDS Number: 703QU Xiangdong Zhou, Qi Zhang, Li Liu, Ailin Deng, Liang Zhang, Baile Shi. An Image Retrieval Method Based on Information Filtering of User Relevance Feedback Records. In Procs. of the 4th Int’l Conf. On Web-Age Information Management. LNCS 2690: 1024-1031, Springer-Verlag, IDS Number: BX60B, ISTP: IDS Number: BX60B Xiangdong Zhou, Qi Zhang, Liang Zhang, Li Liu, Baile Shi. An Image Retrieval Method based on Collaborative Filtering. In Procs. of the 4th Int’l Conf. On Intelligent Data Engineering and Automated Learning 2003, LNCS 2762: 421-432, Springer-Verlag, SCIE: IDS Number: BX61G, ISTP: IDS Number: BX61G Yang Zhong, Xiaoyan Zhang, Jian Ma, Liang Zhang. Rapid development of bioinformatics education in China. Journal of Biological Education. 2003. 37(2), 75-78, IDS Number: 662AR 刘炜, 张亮. 数字图书馆的体系结构与元数据方案. 情报学报. 2003. 22(2). 148-154 马坚, 楼宇波, 张亮. 基于本体的XML Schema生成方法. 计算机工程与应用, 2003 11:65-68 肖璐, 路燕, 张亮, 汪卫, 施伯乐. 多DTD环境中XML的关系数据库存储. 第20届全国数据库学术会议论文集. 计算机科学 2003. 30(8)( 增刊A集) Xiangdong ZHOU, Liang Zhang, Li Liu, Qi Zhang, Baile Shi. A Relevance Feedback Method In Image Retrieval By Analyzing Feedback Log File. In Procs. of International Conference on Machine Learning 2002. 1641-1646, EI Number: EIP03127405854, ISTP: IDS Number: BW27J Zhang Biao, Duan Qiyang, Lu Yan, Zhang Liang,Shi Baile. Smart XML Query. In Procs. of 2002 International Conference on Computer and Information Technology: 6-12, Aizu-Wakamatsu, Japan, Sep. 2002 周向东, 张亮, 张琪, 刘莉, 殷慷, 施伯乐. 一种新的图像检索相关反馈方法. 第19届全国数据库学术会议论文集. 计算机科学 2002. 29(8)( 增刊A集): 234-236 Ma Jian, Zhang Liang. FIMBIDS: Fudan Integrated System of Multiple Bioinformatics Data Source. 第二届中国生物信息学大会论文集: 107-108, 2002. 6 北京 季文赟, 周傲英, 张亮, 金文. 一种基于遗传算法的优化分类器的方法. 软件学报, 2002. 13(2):245-249, EI Number: EIP02407123417 施伯乐, 张亮, 王勇, 陈智峰. 基于视觉相似性的中文古籍内容检索方法. 软件学报,2001. 12(9): 1336-1342, EI Number: EIP02176928799 陆璐, 张亮, 施伯乐. 数字图书馆多媒体信息传输服务质量管理方案的研究. 信息与控制. 2001. 30(3): 213-217 Zhong Yang, Zhang Liang, Su Deming. Collaborations tailored for bioinformatics projects. Science 2000. 290:2074, IDS Number: 383ER 钟扬, 张亮, 任文伟, 陈家宽. 生物多样性信息学:一个正在兴起的新方向及其关键技术. 生物多样性 2000. 8(4):397-404 Chen Zhifeng, Wang Yong, Zhang Liang, Shi Baile. Retrieving Content Directly from Antique Book Images. LNCS 2000. 1846: 380-385,Springer-Verlag, IDS Number: BS80G,; ISTP: IDS Number: BS80G Ji Wenyun, Zhang Liang, Jin Wen. 2000. Optimize Classifiers by Genetic Algorithm. LNCS. 2000. 1846: 455-460, Springer-Verlag, IDS Number: BS80G; ISTP: IDS Number: BS80G 王勇, 张亮, 胡乃静, 施伯乐. 基于Agent的数字图书馆系统设计. 计算机科学, 2000. 27(10)(增刊), 409- 412

推荐链接
down
wechat
bug