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

zbMATH Open1374.68111MaRDI QIDQ2979869FDOQ2979869

Authors: Igor S. Anureev 

Publication date: 26 April 2017

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

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

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)

Cited In (3)

• Denotational semantics of a user-oriented, domain-specific language
• Title not available (Why is that?)
• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans

Uses Software

• AsmL
• XASM

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)