Yeongbok Choe, Sunghyeon Lee, Moonkun Lee



dT-Calculus: A Process Algebra to Model Timed Movements of Processes

pdf PDF


There are strong needs for both mobile and temporal properties in process algebras designed to specify and analyze distributed mobile real-time systems (DMRS). However there is no practical process algebra with both properties. For example, there is no mobile property in TCCS with the temporal, and, similarly, there is limited temporal property in d-Calculus with the mobile. In order to solve these limitations, this paper proposes dT-Calculus with expressive power of movements of processes with temporal condition. dT-Calculus extended the basic temporal properties of synchronous process movement of d-Calculus into more specific temporal properties in order to specify and analyze the temporal property of DMRS more effectively: ready time, execution time, waiting time, deadline, etc. In order to simulate the proposed process movement with temporal properties, the SAVE tool has been developed on ADOxx Meta-Modeling Platform and demonstrates efficiency and effectiveness of the proposed approach with an EMS example.


dT-calculus, d-calculus, Process Algebra, Mobility, Time, SAVE


[1] Haxthausen AE, Peleska Jan. Formal development and verification of a distributed railway control system. Software Engineering IEEE Transactions on Vol. 26, No. 8. August. 2000. pp. 687-701.

[2] N.Saeedloei and G.Gupta, Timed π -Calculus, Trustworthy Global Computing. TGC 2013. Lecture Notes in Computer Science, vol 8358. Springer, Cham, 2014.

[3] Y. Choe and M. Lee, δ-Calculus: Process Algebra to Model Secure Movements of Distributed Mobile Processes in Real-Time Business Application, 23rd European Conference on Information Systems, 2015.

[4] R. Milner, J. Parrow and D. Walker, "A calculus of mobile processes(i-ii)," Information and Computation, pp. 1-77, 1992.

[5] Y. Choe, W. Choi, G. Jeon and M. Lee, A Tool for Visual Specification and Verification for Secure Process Movements, eChallenges e-2015, November 2015.

[6] H. Fill and D. Karagiannis, On the Conceptualisation of Modeling Methods Using the ADOxx Meta Modeling Platform, Enterprise Modeling and Information Systems Architectures 8(1), pp.4-25, 2013.

Cite this paper

Yeongbok Choe, Sunghyeon Lee, Moonkun Lee. (2017) dT-Calculus: A Process Algebra to Model Timed Movements of Processes. International Journal of Computers, 2, 53-62


Copyright © 2017 Author(s) retain the copyright of this article.
This article is published under the terms of the Creative Commons Attribution License 4.0