Proceedings of the 2016 5th International Conference on Advanced Materials and Computer Science

The Quantification of Seal Calculus

Authors
Hao Bu, Shihong Chen, Rong Zhu, Xiaoqiong Tan
Corresponding Author
Hao Bu
Available Online June 2016.
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)

Volume Title
Proceedings of the 2016 5th International Conference on Advanced Materials and Computer Science
Series
Advances in Engineering Research
Publication Date
June 2016
ISBN
978-94-6252-189-6
ISSN
2352-5401
DOI
10.2991/icamcs-16.2016.98How to use a DOI?
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/).

Cite this article

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  -