文献类型：会议论文

英文题名：Formal Modelling Intelligent Service Component Based on Extenics Theory

作者：Fan, R.[1];Liang, C. L.[1]

机构：[1]Guangdong Ocean Univ, Sch Software, Guangzhou, Guangdong, Peoples R China

会议论文集：International Conference on Automation, Mechanical and Electrical Engineering (AMEE)

会议日期：JUL 26-27, 2015

会议地点：Phuket, THAILAND

语种：英文

外文关键词：Extenics theory; intelligent service component; formal modelling

外文摘要：After twenty years, Extenics made great progress in innovation theory, formal method and real application. Through the formalized research for its logical cell basic-element, the information-knowledge-strategy formalized system, extension analysis methods, extension transformation methods and superiority evaluation methods are set up. We introduce Extenics theory to describe, analyze and evaluate self-adaptive nature, scope and extent about the intelligent service component. First, software entities are defined by basic-element, the intelligent service component is structured into basic-element net, which is analyzed, transformed and evaluated by method of combining qualitative with quantitative. Final, intelligent service component formal model is established.