Release the beasts: When formal methods meet real world data

Rudolf Schlatte, Einar Broch Johnsen*, Jacopo Mauro, S. Lizeth Tapia Tarifa, Ingrid Chieh Yu

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Abstract

It is well-known that the difference between theory and practice seems smaller in theory than in practice. From the perspective of the coordinator, the coordinated components play the role of wild beasts, fortunately imprisoned in boxes. From the perspective of the care-free semanticist, the development of tools is merely a minor step away (possibly hidden in promises of future work). This paper draws parallels between beasts and tool building by describing challenges we have encountered and sharing experiences and lesson learned when going from a compositional semantics to a well-functioning tool interacting with industrial use cases. Concretely, we discuss the development of the simulation backend for Real-Time ABS. In addition to his scientific contributions, Farhad Arbab has always been an outstanding speaker with a flair for inspiring talks and memorable punchlines. This paper is written for a highly appreciated colleague.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number of pages15
PublisherSpringer
Publication date1. Jan 2018
Pages107-121
DOIs
Publication statusPublished - 1. Jan 2018
Externally publishedYes
SeriesLecture Notes in Computer Science
Volume10865 LNCS
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Release the beasts: When formal methods meet real world data'. Together they form a unique fingerprint.

Cite this