Polyglot Modal Models through Lingua Franca

Author(s): Schulz-Rosengarten, Alexander and Lohstroh, Marten and Bateni, Soroush and von Hanxleden, Reinhard and Lee, Edward A.

Abstract
Complex software systems often feature distinct modes of operation, each designed to handle a particular scenario that may require the system to respond in a certain way. Breaking down system behavior into mutually exclusive modes and discrete transitions between modes is a commonly used strategy to reduce implementation complexity and promote code readability. However, such capabilities often come in the form of self-contained domain specific languages or language-specific frameworks. The work in this paper aims to bring the advantages of modal models to mainstream programming languages, by following the polyglot coordination approach of Lingua Franca (LF), in which verbatim target code (e. g., C, C++, Python, Typescript, or Rust) is encapsulated in composable reactive components called reactors. Reactors can form a dataflow network, are triggered by timed as well as sporadic events, execute concurrently, and can be distributed across nodes on a network. With modal models in LF, we introduce a lean extension to the concept of reactors that enables the coordination of reactive tasks based on modes of operation.

Electronic Downloads

• https://doi.org/10.1145/3576914.3587498

---

Citation Formats

• APA
  

                  
  Schulz-Rosengarten, Alexander and Lohstroh, Marten and Bateni, Soroush and von Hanxleden, Reinhard and Lee, Edward A.. (2023). Polyglot Modal Models through Lingua Franca. In Workshop on Time-Centric Reactive Systems (TCRS), CPS-IoT Week Workshops, San Antonio, TX, USA.  doi:10.1145/3576914.3587498.                     
                  
                  

• MLA
  

                  
  Schulz-Rosengarten, Alexander and Lohstroh, Marten and Bateni, Soroush and von Hanxleden, Reinhard and Lee, Edward A.. "Polyglot Modal Models through Lingua Franca." Workshop on Time-Centric Reactive Systems (TCRS), CPS-IoT Week Workshops, San Antonio, TX, USA, 2023.  doi:10.1145/3576914.3587498.                     
                  
                  

• Chicago
  

                  
  Schulz-Rosengarten, Alexander and Lohstroh, Marten and Bateni, Soroush and von Hanxleden, Reinhard and Lee, Edward A.. "Polyglot Modal Models through Lingua Franca." Workshop on Time-Centric Reactive Systems (TCRS), CPS-IoT Week Workshops, San Antonio, TX, USA, 2023.  doi:10.1145/3576914.3587498.                     
                  
                  

• BibTeX
  

                      
  @inproceedings{SchulzRosengartenEtAl:23:Modal,
  	author = {Schulz-Rosengarten, Alexander and Lohstroh, Marten and Bateni, Soroush and von Hanxleden, Reinhard and Lee, Edward A.},
  	title = {Polyglot Modal Models through Lingua Franca},
  	booktitle = {Workshop on Time-Centric Reactive Systems (TCRS), CPS-IoT Week Workshops, San Antonio, TX, USA},
  	month = {May 9},
  	year = {2023},
  	doi = {10.1145/3576914.3587498},
  	abstract = {Complex software systems often feature distinct modes of operation, each designed to handle a particular scenario that may require the system to respond in a certain way. Breaking down system behavior into mutually exclusive modes and discrete transitions between modes is a commonly used strategy to reduce implementation complexity and promote code readability. However, such capabilities often come in the form of self-contained domain specific languages or language-specific frameworks. The work in this paper aims to bring the advantages of modal models to mainstream programming languages, by following the polyglot coordination approach of Lingua Franca (LF), in which verbatim target code (e. g., C, C++, Python, Typescript, or Rust) is encapsulated in composable reactive components called reactors. Reactors can form a dataflow network, are triggered by timed as well as sporadic events, execute concurrently, and can be distributed across nodes on a network. With modal models in LF, we introduce a lean extension to the concept of reactors that enables the coordination of reactive tasks based on modes of operation.},
  	URL = {https://doi.org/10.1145/3576914.3587498}}