Adaptive Structural Operational Semantics
summary
A new DSL metalanguage called ASOS metalanguage extends MSOS to express runtime adaptations as modular semantic rules, provides formal semantics and proofs for determinism and completeness, and translates semantics to executable Java via generates SEALS code. The authors implement an energy‑saving adaptation in RobLANG energy-saving adaptation, detect possible nontermination patterns conservatively, and report correct adaptive behavior plus a surprising performance win over a hand‑written version across 30 runs (likely due to JVM effects).
AI-written summary · about
chapters (15)
- 0:00Adaptive DSLs introduction
- 2:57Manual adaptation challenges
- 4:04SEALS framework
- 5:51ASOS meta-language
- 7:18Defining adaptive semantics
- 9:10ASOS semantic rules
- 12:20ASOS adaptation modules
- 14:11Adaptive semantics meta-model
- 15:16Adaptation selection formal semantics
- 16:21ASOS to SEALS translation
- 18:33Executing adaptive semantics
- 19:38ASOS semantics verification
- 20:42Robling DSL validation
- 21:25ASOS adaptation performance
- 22:29Conclusion
related talks
12mSEALS: A framework for building Self-Adaptive Virtual Machines
26mArchSem: Reusable Rigorous Semantics of Relaxed Architectures
18mSemantics Lifting for Syntactic Sugar
20mCertified Abstract Machines for Skeletal Semantics
40mFormal semantics for multi-language programs
20mThe Lands Platform: Lan.guages and D.omain S.yntax
25mA Semantic Approach to Robust Property Preservation
24mTowards a Higher-Order Mathematical Operational Semantics