Formal Modelling Intelligent Service Component Based on Extenics Theory

DOI

10.2991/eame-15.2015.168How to use a DOI?

Keywords

Extenics theory; intelligent service component; ,formal modelling

Abstract

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.

Copyright

© 2015, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - R. Fan
AU  - C.L. Liang
PY  - 2015/07
DA  - 2015/07
TI  - Formal Modelling Intelligent Service Component Based on Extenics Theory
BT  - Proceedings of the 2015 International Conference on Electrical, Automation and Mechanical Engineering
PB  - Atlantis Press
SP  - 607
EP  - 610
SN  - 2352-5401
UR  - https://doi.org/10.2991/eame-15.2015.168
DO  - 10.2991/eame-15.2015.168
ID  - Fan2015/07
ER  -