Concurrent Software Design Based on Constraints on State Diagrams

Concurrent software for engineering computations consists of multiple cooperating modules. The behavior of individual modules is described by means on state diagrams. In the paper, the constraints on state diagrams are proposed, allowing for the specification of designer's intentions as to the...

Full description

Saved in:
Bibliographic Details
Main Authors Czejdo, Bogdan D, Daszczuk, Wiktor B, Mieścicki, Jerzy
Format Journal Article
LanguageEnglish
Published 23.03.2017
Subjects
Computer Science - Software Engineering
Online AccessGet full text

Cover

More Information
Summary:Concurrent software for engineering computations consists of multiple cooperating modules. The behavior of individual modules is described by means on state diagrams. In the paper, the constraints on state diagrams are proposed, allowing for the specification of designer's intentions as to the synchronization of modules. Also, the translation of state diagrams (with enforcement constraints) into Concurrent State Machines is shown, which provides formal framework for the verification of inter-module synchronization. An example of engineering software design based on the method is presented.
DOI:10.48550/arxiv.1703.08242