Release the beasts: When formal methods meet real world data

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

*Kontaktforfatter for dette arbejde

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

Abstrakt

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.

OriginalsprogEngelsk
TitelLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Antal sider15
ForlagSpringer
Publikationsdato1. jan. 2018
Sider107-121
DOI
StatusUdgivet - 1. jan. 2018
Udgivet eksterntJa
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind10865 LNCS
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Release the beasts: When formal methods meet real world data'. Sammen danner de et unikt fingeraftryk.

Citationsformater