Timed Extension of the Ambient Calculus and its Application for Freight System Specifications

点击翻译按钮获取中文摘要

We investigate extensions of the Ambient Calculus for specifying freight systems, which include various timing constraints and deal more than thousands of container objects. For specifying timing constraints, we propose the Timed Ambient Calculus by introducing capabilities with expiration time, waiting capability, and special ambient to express timing violation. For dealing with large amounts of container, we propose the Multiple Ambient Calculus, which enables us to model freight systems by a set of formulas. We also investigate model checking on the extended calculus and the way for constructing distribution monitoring systems based on the formulas in the extended calculus.