Adaptive Structural Operational SemanticsResearch Paper
Software systems evolve more and more in complex and changing environments, often requiring runtime adaptation to best deliver their services. When self-adaptation is the main concern of the system, a manual implementation of the underlying feedback loop and trade-off analysis may be desirable. However, the required expertise and substantial development effort make such implementations prohibitively difficult when it is only a secondary concern for the given domain. In this paper, we present ASOS, a metalanguage abstracting the runtime adaptation concern of a given domain in the behavioral semantics of a domain-specific language (DSL), freeing the language user from implementing it from scratch for each system in the domain. We demonstrate our approach on RobLANG, a procedural DSL for robotics, where we abstract a recurrent energy-saving behavior depending on the context. We provide formal semantics for ASOS and pave the way for checking properties such as determinism, completeness, and termination of the resulting self-adaptable language. We provide first results on the performance of our approach compared to a manual implementation of this self-adaptable behavior. We demonstrate, for RobLANG, that our approach provides suitable abstractions for specifying sound adaptive operational semantics while being more efficient.
Mon 23 OctDisplayed time zone: Lisbon change
09:00 - 10:30 | Language implementationSLE at Room II Chair(s): Thomas Degueule CNRS, LaBRI This session will start at 08:50 with a welcome and general announcements from the Conference General Chair. | ||
09:00 30mTalk | Exceptions all Over the Shop: Modular, Customizable, Language-independent Exception Handling LayerResearch Paper SLE DOI | ||
09:30 30mTalk | An Executable Semantics for Faster Development of Optimizing Python CompilersResearch Paper SLE Olivier Melancon Université de Montréal, Marc Feeley Université de Montréal, Manuel Serrano Inria; University of Côte d'Azur DOI | ||
10:00 30mTalk | Adaptive Structural Operational SemanticsResearch Paper SLE Gwendal Jouneaux University of Rennes; Inria; IRISA, Damian Frölich University of Amsterdam, Olivier Barais University of Rennes; Inria; CNRS; IRISA, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Gurvan LE GUERNIC DGA MI & Université de Rennes 1, Gunter Mussbacher McGill University, L. Thomas van Binsbergen University of Amsterdam DOI Pre-print |