On representation of simulation time in functional programming style
Functional programming plays the big role in the modern computer science and its importance is growing. This is not accidential: this approach helps to create better and more reliable software that is easy to reason about (both manually and automatically). However, these techniques are hardly used i...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2019-02-01
|
Series: | Труды Института системного программирования РАН |
Subjects: | |
Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/1137 |
_version_ | 1818065204326432768 |
---|---|
author | D. V. Buzdalov A. K. Petrenko A. V. Khoroshilov |
author_facet | D. V. Buzdalov A. K. Petrenko A. V. Khoroshilov |
author_sort | D. V. Buzdalov |
collection | DOAJ |
description | Functional programming plays the big role in the modern computer science and its importance is growing. This is not accidential: this approach helps to create better and more reliable software that is easy to reason about (both manually and automatically). However, these techniques are hardly used in the field of tools helping designing and modeling mission-critical systems. In this paper, we are trying to apply some nice techniques of functional programming to create a modeling system, in particular a simulation system for analysis of temporal behavioural properties of mission-critical systems. As a first step, we designed a representation of simulation time in terms of abstractions used in functional programming and tried to study its compositionability properties. |
first_indexed | 2024-12-10T14:48:10Z |
format | Article |
id | doaj.art-89fbd92bc9794df398f0089a34e7f05b |
institution | Directory Open Access Journal |
issn | 2079-8156 2220-6426 |
language | English |
last_indexed | 2024-12-10T14:48:10Z |
publishDate | 2019-02-01 |
publisher | Ivannikov Institute for System Programming of the Russian Academy of Sciences |
record_format | Article |
series | Труды Института системного программирования РАН |
spelling | doaj.art-89fbd92bc9794df398f0089a34e7f05b2022-12-22T01:44:31ZengIvannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262019-02-0130634136610.15514/ISPRAS-2018-30(6)-201136On representation of simulation time in functional programming styleD. V. Buzdalov0A. K. Petrenko1A. V. Khoroshilov2Институт системного программирования им. В.П. Иванникова РАНИнститут системного программирования им. В.П. Иванникова РАН; Московский государственный университет имени М. В. Ломоносова; НИУ “Высшая школа экономики”Институт системного программирования им. В.П. Иванникова РАН; Московский физико-технический институт; Московский государственный университет имени М. В. Ломоносова; НИУ “Высшая школа экономики”Functional programming plays the big role in the modern computer science and its importance is growing. This is not accidential: this approach helps to create better and more reliable software that is easy to reason about (both manually and automatically). However, these techniques are hardly used in the field of tools helping designing and modeling mission-critical systems. In this paper, we are trying to apply some nice techniques of functional programming to create a modeling system, in particular a simulation system for analysis of temporal behavioural properties of mission-critical systems. As a first step, we designed a representation of simulation time in terms of abstractions used in functional programming and tried to study its compositionability properties.https://ispranproceedings.elpub.ru/jour/article/view/1137моделирование архитектурыответственные системымоделирование поведениямодельное времяфункциональное программированиемонады |
spellingShingle | D. V. Buzdalov A. K. Petrenko A. V. Khoroshilov On representation of simulation time in functional programming style Труды Института системного программирования РАН моделирование архитектуры ответственные системы моделирование поведения модельное время функциональное программирование монады |
title | On representation of simulation time in functional programming style |
title_full | On representation of simulation time in functional programming style |
title_fullStr | On representation of simulation time in functional programming style |
title_full_unstemmed | On representation of simulation time in functional programming style |
title_short | On representation of simulation time in functional programming style |
title_sort | on representation of simulation time in functional programming style |
topic | моделирование архитектуры ответственные системы моделирование поведения модельное время функциональное программирование монады |
url | https://ispranproceedings.elpub.ru/jour/article/view/1137 |
work_keys_str_mv | AT dvbuzdalov onrepresentationofsimulationtimeinfunctionalprogrammingstyle AT akpetrenko onrepresentationofsimulationtimeinfunctionalprogrammingstyle AT avkhoroshilov onrepresentationofsimulationtimeinfunctionalprogrammingstyle |