Advanced SearchSearch Tips
A Process Algebra for Modeling Secure Movements of Distributed Mobile Processes
facebook(new window)  Pirnt(new window) E-mail(new window) Excel Download
  • Journal title : Journal of KIISE
  • Volume 43, Issue 3,  2016, pp.314-326
  • Publisher : Korean Institute of Information Scientists and Engineers
  • DOI : 10.5626/JOK.2016.43.3.314
 Title & Authors
A Process Algebra for Modeling Secure Movements of Distributed Mobile Processes
Choe, Yeongbok; Lee, Moonkun;
Some process algebras were applied to enterprise business modelling for formal specification and verification. -calculus and mobile ambient can be considered for the distributed and mobile, especially to represent the movements of distributed real-time business processes. However there are some limitations to model the movements: 1) -calculus passes the name of port for indirect movements, and 2) mobile ambient uses ambient to synchronize asynchronous movements forcefully. As a solution to the limitations, this paper presents a new process algebra, called -calculus, to specify direct and synchronous movements of business processes over geo-temporal space. Any violation of safety or security of the systems caused by the movements can be indicated by the properties of the movements: synchrony, priority and deadline. A tool, called SAVE, was developed on ADOxx metamodelling platform to demonstrate the concept.
-calculus;process algebra;movements;synchrony;time;security;
 Cited by
R. Milner, "Communication and Concurrency," Prentice hall, 1989.

R. Singer and M. Teller, "Process Algebra and the Subject-oriented Business Process Management Approach," S-BPM ONE-Education and industrial developments, pp. 135-150, 2012.

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

L. Cardelli and A. Gordon, "A Mobile Ambients," In: Nivat. M. (ed.) ETAPS 1998 and FOSSACS 1998, LNCS, Vol. 1378, pp. 140-155, Springer, Heidelberg, 1998.

L. Abrams, CryptoLocker Ransomeware Information Guide and FAQ [Online]. Available:

J. On, J. Choi, M. Lee, "A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space," 2008 International Conference of Foundation of Computer Science, 2008.

J. On, "Onion: A Graphical Language for Process Algebra," 35th IEE Annual Computer Software and Application Conference, 2011.

H. Fill and D. karagiannis, "On the Conceptualisation of Modelling Methods Using the ADOxx Meta Modelling Platform," Enterprise Modelling and Information Systems Architectures 8(1), pp. 4-25, 2013.