Domain-specific transition systems and their application to a formal definition of a model programming language

MaRDI QIDQ2979869zbMATH OpenFDO

Authors Igor S. Anureev

Publication date 26 April 2017

Full work available at URL http://bulletin.iis.nsk.su/files/article/bul2014anureev.pdf

zbMATH Keywords

operational semanticsstate transition systemdomain-specific transition system

Mathematics Subject Classification ID

Knowledge representation (68T30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Operational ontological approach to formal programming language specification
• scientific article; zbMATH DE number 1926608
• Domain-specific semantics and data refinement of object models
• Interpretable program specification language
• scientific article; zbMATH DE number 1481757

Cited in

(3)

• Denotational semantics of a user-oriented, domain-specific language
• scientific article; zbMATH DE number 1926608 (Why is no real title available?)
• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans

Describes a project that uses

Uses Software

• XASM
• AsmL

This page was built for publication: Domain-specific transition systems and their application to a formal definition of a model programming language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2979869)