Concurrent Software Design Based on Constraints on State Diagrams
Software Engineering
2017-03-27 v1
Abstract
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.
Cite
@article{arxiv.1703.08242,
title = {Concurrent Software Design Based on Constraints on State Diagrams},
author = {Bogdan D. Czejdo and Wiktor B. Daszczuk and Jerzy Mieścicki},
journal= {arXiv preprint arXiv:1703.08242},
year = {2017}
}
Comments
17 pages, 12 figures, 3rd Biennial World Conference on Integrated Design & Process Technology, Berlin, July 6-9, 1998