Pragmatics Twelve Years Later: A Report on Lingua Franca

• Published in: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering pp. 60 - 89
• Main Authors: von Hanxleden, Reinhard, Lee, Edward A., Fuhrmann, Hauke, Schulz-Rosengarten, Alexander, Domrös, Sören, Lohstroh, Marten, Bateni, Soroush, Menard, Christian
• Format: Book Chapter
• Language: English
• Published: Cham Springer Nature Switzerland
• Series: Lecture Notes in Computer Science
• Subjects: Diagram synthesis; KIELER; Lingua Franca; Model-driven engineering; Pragmatics
• ISBN: 3031197550; 9783031197550
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-031-19756-7_5

In 2010, Fuhrmann et al. argued for enhancing modeler productivity by providing tooling that, put simply, combines the best of textual and graphical worlds. They referred to this as pragmatics, and argued that a key enabler would be the ability to automatically synthesize customized graphical views from a (possibly textual) model. The model would be the “ground truth” used, for example, for downstream code synthesis and simulation; the graphical views would typically be abstractions from the model serving various purposes, including documentation. Twelve years later, we reflect on their proposal, and illustrate the current state with the recently developed polyglot coordination language Lingua Franca (LF). LF has been designed with pragmatics in mind since early on, and some characteristics of LF make it particularly suited for pragmatics-aware programming and modeling. However, the underlying pragmatic principles are broadly applicable, and by now a set of mature open source tools is available for putting them into practice.