Volume 7 Number 3 (Mar. 2012)
Home > Archive > 2012 > Volume 7 Number 3 (Mar. 2012) >
JSW 2012 Vol.7(3): 564-574 ISSN: 1796-217X
doi: 10.4304/jsw.7.3.564-574

Towards a calculus for distributed, real-time and mobile systems

Toufik Messaoud Maarouk1, Djamel Eddine Saidouni1, and Mohamed Khergag2
1University Center of Khenchela, Algeria,MISC Laboratory, Mentouri University of Constantine, Algeria
2Ferhat Abbes University, Setif, Algeria

Abstract—This paper introduces a model for modeling realtime and mobile systems, which extends the DD-LOTOS language by the mobility nature of processes. Our model allows processes to move between distributed sites or localities, i.e. mobility of processes. Two types of communication are present in our model, local communication, i.e. the exchange of information between two processes in the same location, and remote communication, i.e. the exchange of information between two different localities, the latter is ensured by message exchange. We propose a syntactic and structured operational semantics based on true-concurrency semantics, expressing parallel behaviors and supporting at the same time temporal constraints, explicit actions durations, structural and temporal non-atomicity of actions and urgency. We also propose a semantic model for automatic verication tools, this model expresses aspects of the language DD-LOTOS, and adds mobility of process.

Index Terms—True concurrency semantics, Mobility, Real time systems, Distributed systems, LOTOS.

[PDF]

Cite: Toufik Messaoud Maarouk, Djamel Eddine Saidouni, and Mohamed Khergag, "Towards a calculus for distributed, real-time and mobile systems," Journal of Software vol. 7, no. 3, pp. 564-574, 2012.

General Information

ISSN: 1796-217X (Online)
Frequency:  Bimonthly 
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKIGoogle Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Apr 26, 2021 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Nov 18, 2021 News!

    Papers published in JSW Vol 16, No 1- Vol 16, No 6 have been indexed by DBLP   [Click]

  • Dec 24, 2021 News!

     Vol 15, No 1- Vol 15, No 6 has been indexed by IET-(Inspec)   [Click]

  • Nov 18, 2021 News!

    [CFP] 2022 the annual meeting of JSW Editorial Board, ICCSM 2022, will be held in Rome, Italy, July 21-23, 2022   [Click]

  • Jul 26, 2022 News!

     Vol 17, No 5 has been published with online version     [Click]