CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation

Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun
Digital Printed Abstract View Cite
Type
Conference paper
Publication
6th International Conference on ASM, Alloy, B, TLA, VDM, and Z (ABZ'18)

Abstract

The Abstract State Machine (ASM) theory is a well-known formal method, which can be used to specify arbitrary algorithms, applications or even whole systems. Over the past years, there have been many approaches to implement concrete ASM-based modeling and specification languages. All of those approaches define their type systems and operator semantics differently in their internal representation, which leads to undesired or unexpected behavior during the modeling, the execution, and code generation of such ASM specifications. In this paper, we present CASM-IR, an Intermediate Representation (IR), designed to aid ASM-based language engineering which is based on a well-formed ASM-based specification format. Moreover, CASM-IR is conceptualized from the ground up to ease the formalization of ASM-based analysis and transformation passes. The feasibility of CASM-IR solving the uniform ASM representation problem is depicted. Based on our CASM-IR implementation, we were able to integrate a front-end of our statically inferred Corinthian Abstract State Machine (CASM) modeling language.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{PaulweberPZ18,
  author       = {Philipp Paulweber and
                  Emmanuel Pescosta and
                  Uwe Zdun},
  editor       = {Michael J. Butler and
                  Alexander Raschke and
                  Thai Son Hoang and
                  Klaus Reichl},
  title        = {{CASM-IR:} Uniform ASM-Based Intermediate Representation for Model
                  Specification, Execution, and Transformation},
  booktitle    = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
                  Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10817},
  pages        = {39--54},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91271-4\_4},
  doi          = {10.1007/978-3-319-91271-4\_4},
  timestamp    = {Sat, 09 Apr 2022 12:45:50 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/PaulweberPZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'18

Related