Paper Title:
Modeling the Large-Scale Device Collaboration System Based on PI-Calculus
  Abstract

The modeling and simulation of large-scale Device Collaboration systems is an important issue for seamless integration and collaboration of distributed device integration. Based on the advantage of PI-Calculus in modeling concurrent and dynamic systems, a method concentrating on the modeling of large-scale Device Collaboration system is presented. Firstly, it transforms device behaviors and interactions into PI-Calculus processes. Secondly, weak dissimulation of multiple internal control flows is defined through the application of behavior equivalent theory of PI-Calculus. Following that, external behavior equivalence of system dynamic ontology is discussed. With the help of operational and transitional semantics and a formal deduction, our method can discover system problems in design stage, thus improving architecture correctness and execution stability of Device Collaboration systems.

  Info
Periodical
Advanced Materials Research (Volumes 143-144)
Edited by
H. Wang, B.J. Zhang, X.Z. Liu, D.Z. Luo, S.B. Zhong
Pages
905-909
DOI
10.4028/www.scientific.net/AMR.143-144.905
Citation
P. Deng, J. W. Zhang, X. H. Rong, F. Chen, "Modeling the Large-Scale Device Collaboration System Based on PI-Calculus", Advanced Materials Research, Vols. 143-144, pp. 905-909, 2011
Online since
October 2010
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Yong Tao Huang, Gang Wang, Bing Yin Ren, Hao Yun Zhang
Chapter 5: Materials in Energy and Environment (2)
Abstract:To formally verify the correctness of supply chain business process model (SCBPM), a model validation scheme was proposed based on...
2614
Authors: Juan Zhu Liang
Chapter 20: Computer Applications in Industry and Engineering
Abstract:As an important value-added function for GIS service, GIS service chain provides the application foundation for reusing and automation...
2923
Authors: Yan Cheng Li, Hua Duan, Qing Tian Zeng, Fa Ming Lu
Chapter 3: Communication, Computer Engineering and Information Technologies
Abstract:User-interactive question answering systems are catching more and more attention, however users complaints arise within it from such problems...
2178
Authors: Qi Wang, Yong Bin Wang
Chapter 9: Information Technologies, WEB and Networks Engineering, Information Security and Software Application
Abstract:Dynamic evolving characteristic is the key of modeling internetware architecture. However, it is lack of formal description and theoretical...
5333