The Quantification of Seal Calculus

DOI

10.2991/icamcs-16.2016.98How to use a DOI?

Keywords

seal calculus, quantification of seal calculus, calculus, mobile modeling

Abstract

Seal calculus is a kind of tool targeting at the modeling of the mobile system. Since there are some restrictions on the regions and levels, the seal calculus, when compared with calculus, could imitate the actual concurrent mobile system in a more convenient and efficient way. However, in the realistic system modeling analysis, the analyses concern not only about the internal business logic of the system, as well as the restrictions on the region and the levels processed in the analysis, but also about whether the system could satisfy the resource demands of the process . In order to imitate as closely to the actual modeling as possible, this paper introduces the concept of quantification analysis to carry on nine kinds of extensions in the use of seal calculus. Besides the preservation of the business logic analysis within the system, the paper analyzes emphatically on how the external resource supplies limit the resource demands of the process, in order to realize the quantitative and qualitative analysis of the model.

Copyright

© 2016, 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  - Hao Bu
AU  - Shihong Chen
AU  - Rong Zhu
AU  - Xiaoqiong Tan
PY  - 2016/06
DA  - 2016/06
TI  - The Quantification of Seal Calculus
BT  - Proceedings of the 2016 5th International Conference on Advanced Materials and Computer Science
PB  - Atlantis Press
SP  - 469
EP  - 479
SN  - 2352-5401
UR  - https://doi.org/10.2991/icamcs-16.2016.98
DO  - 10.2991/icamcs-16.2016.98
ID  - Bu2016/06
ER  -