Toward Dynamism in Distributed Lingua Franca Programs

Author(s): Chadlia Jerad and Edward A. Lee

Abstract
Distributed systems often require dynamic capabilities to ensure adaptability, efficiency, and fault-tolerance. In applications where determinism and timing are crucial, a clear and well-defined approach to deterministic dynamism is much needed, but inherently difficult to define. This work gives dynamism deterministic semantics, thus enabling precise and repeatable behavior. To this end, we select the Lingua Franca (LF) coordination language that is based on the reactor model, and introduce dynamism to the distributed LF programs, referred to as federations. This paper outlines the challenges associated with incorporating transient federates, which are capable of joining and leaving the federation at arbitrary times, and proposes solutions to the identified problems. A realistic example of an online auction system is used to illustrate the approach. Furthermore, the potential applications of this mechanism are discussed, along with the challenges that need to be addressed.

Electronic Downloads

• https://ieeexplore.ieee.org/document/10684763

---

Citation Formats

• APA
  

                  
  Chadlia Jerad and Edward A. Lee. (2024). Toward Dynamism in Distributed Lingua Franca Programs. In IEEE Embedd. Syst. Letters, 18(9).                      
                  
                  

• MLA
  

                  
  Chadlia Jerad and Edward A. Lee. "Toward Dynamism in Distributed Lingua Franca Programs." 2024. IEEE Embedd. Syst. Letters, vol. 18, no. 9.                      
                  
                  

• Chicago
  

                  
  Chadlia Jerad and Edward A. Lee. "Toward Dynamism in Distributed Lingua Franca Programs." 2024. In IEEE Embedd. Syst. Letters, vol. 18(9).                      
                  
                  

• BibTeX
  

                      
  @article{JeradLee:24:Transient,
  	author = {Chadlia Jerad and Edward A. Lee},
  	title = {Toward Dynamism in Distributed Lingua Franca Programs},
  	journal = {IEEE Embedd. Syst. Letters},
  	volume = {18},
  	number = {9},
  	month = {September},
  	year = {2024},
  	abstract = {Distributed systems often require dynamic capabilities to ensure adaptability, efficiency, and fault-tolerance. In applications where determinism and timing are crucial, a clear and well-defined approach to deterministic dynamism is much needed, but inherently difficult to define. This work gives dynamism deterministic semantics, thus enabling precise and repeatable behavior. To this end, we select the Lingua Franca (LF) coordination language that is based on the reactor model, and introduce dynamism to the distributed LF programs, referred to as federations. This paper outlines the challenges associated with incorporating transient federates, which are capable of joining and leaving the federation at arbitrary times, and proposes solutions to the identified problems. A realistic example of an online auction system is used to illustrate the approach. Furthermore, the potential applications of this mechanism are discussed, along with the challenges that need to be addressed.},
  	URL = {https://ieeexplore.ieee.org/document/10684763}}