DocumentCode :
2836346
Title :
Notice of Retraction
Active Internetware´s Refining Design and Service Sequence´s Combination and Evolution Based on Architecture-Centric Platform
Author :
Xiaona Xia ; Baoxiang Cao ; Jiguo Yu
Author_Institution :
Sch. of Comput. & Sci., Qufu Normal Univ., Rizhao, China
fYear :
2009
fDate :
19-20 Dec. 2009
Firstpage :
1
Lastpage :
4
Abstract :
Notice of Retraction

After careful and considered review of the content of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE´s Publication Principles.

We hereby retract the content of this paper. Reasonable effort should be made to remove all past references to this paper.

The presenting author of this paper has the option to appeal this decision by contacting TPII@ieee.org.

Integrating active internetware´s position and viewing architecture-centric platform, this paper analyzes aggregation evolution´s drawback about state-space explosion of architecture´s granularity, and completes corresponding expansion´s evolution of granularities. Then, using refinement method and counterexample validation theorem, Architecture-centric Kripke service evolution structure is built and self-adaptive internetware´s abstraction is processed, and designs autonomous criterion´s strategy and sequence process, and finishes the formal effective strategy´s verification, optimal topology´s building of corresponding granularities about sequence services´ process and active thought´s logic, Furthermore, it is to enhance the overall degree of architecture-centric business flow´s adaptation.
Keywords :
formal verification; refinement calculus; state-space methods; active Internetwares refining design; aggregation evolution drawback; architecture centric platform; architecture granularity; business flow adaptation; counterexample validation theorem; kripke service evolution structure; refinement method; self adaptive Internetware abstraction; service sequences combination; state space explosion; Buildings; Business communication; Computer architecture; Decision making; Explosions; Logic design; Logic programming; Process design; Topology; Web and internet services;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Engineering and Computer Science, 2009. ICIECS 2009. International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-4994-1
Type :
conf
DOI :
10.1109/ICIECS.2009.5364451
Filename :
5364451
Link To Document :
بازگشت