Seal-Calculus Based Dynamic Evolution Model for Internetware

Qi Wang; Yong Bin Wang

doi:10.4028/www.scientific.net/AMM.556-562.5333

Paper Titles

A Study on Network Security Situation Evaluation Model
p.5312

Attack and Analysis on the Vulnerability of Tenda Wireless Routers
p.5316

The Study on the Methodology of Transactionevent in the Ale of Rfid Networks
p.5321

Research on the Route Optimization as to Timing Uncertainty of Wartime Transportation
p.5328

Seal-Calculus Based Dynamic Evolution Model for Internetware
p.5333

The Application Research of HR Performance Appraisal System Based on Collaboration OA System
p.5338

Core Selection to Solve Multicast Routing with Delay and Delay-Variation Constraints
p.5343

Research on the Search Strategy of Complex Network Based on Breadth-First
p.5348

Efficient Distributed RNN Query Processing with Caching
p.5352

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 556-562Seal-Calculus Based Dynamic Evolution Model for...

Seal-Calculus Based Dynamic Evolution Model for Internetware

Abstract:

Dynamic evolving characteristic is the key of modeling internetware architecture. However, it is lack of formal description and theoretical analysis for model dynamic evolution for the moment, a new kind of internetware dynamic evolving modeling method based on Seal-Calculus of process algebra is presented and formalized analysis is conducted for evolving process in practical applications, which is convenient to express obviously and strictly the dynamic process of the system, providing a new means and theoretical basis.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 556-562)

Pages:

5333-5337

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.556-562.5333

Citation:

Cite this paper

Online since:

May 2014

Authors:

Qi Wang*, Yong Bin Wang

Keywords:

Agent, Dynamic Evolving, Formal Analysis, Internetware, Seal-Calculus

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Yang F Q, Lu J, Mei H. Internetware System: An approach of architecture-centred[J]. Science in China(Series E: Information Sciences), 2008，38(6): 818-828.

Google Scholar

[2] Mei H，Chang J C，Yang F Q. Software component composition based on ADL and middleware[J]. Science in China(Series E: Information Sciences), 2001, 44(2): 136—151.

DOI: 10.1007/bf02713972

Google Scholar

[3] LU Wen-tian, YU Ping, MA Xiao-xing, TAO Xian-ping, LV Jian. Componentized Software Service and Its Application in Artemis-ARC[J]. Application Research of Computers, 2007, 24(3): 169-172.

Google Scholar

[4] WANG Yuan, LV Jian, XU Feng, ZHANG Lin. A Trust Measurement and Evolution Model for Internetware[J]. Journal of Software, 2006, 17(4): 682-690.

Google Scholar

[5] WANG Wei, ZHANG Wen-bo, WEI Jun, ZHONG Hua, HUANG Tao. Resource-Aware Performance Diagnostic Method for Web Applications[J]. Journal of Software, 2010, 21(2): 194-208.

DOI: 10.3724/sp.j.1001.2010.03781

Google Scholar

[6] MAO Xin-jun, LI Xue-si, YIN Jun-wen, DONG Meng-gao, HU Cui-yun, WU Bin. SADE: An Integrated Development Environment for Self Adaptive Internetwares[J]. TA ELECTRONICA SINICA, 2010, 38(B02): 207-212.

Google Scholar

[7] MILNER R, PARROW J, WALKER D. A calculus of mobile processesⅡ[J]. Information and Computation, 1992, 100(1): 41-77.

DOI: 10.1016/0890-5401(92)90009-5

Google Scholar