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.
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