Understanding Safety Constraints Coalgebraically

Safety constraints are crucial to the development of mission-critical systems. The practice of developing software for systems of this type requires reliable methods for identifying and analysing project artefacts. This paper proposes a coalgebraic approach to understanding behavioural constraints f...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2020-01
Main Authors: Zholtkevych, Grygoriy, Labzhaniia, Maksym
Format: Article
Language:English
Subjects:
Domain specific languages
Identification methods
Safety
Software development
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Safety constraints are crucial to the development of mission-critical systems. The practice of developing software for systems of this type requires reliable methods for identifying and analysing project artefacts. This paper proposes a coalgebraic approach to understanding behavioural constraints for systems of a kind. The advantage of the proposed approach is that it gives a framework for providing abstract semantic models of the domain-specific languages designed for specifying behavioural constraints.
ISSN:2331-8422