Compositional approach to the development of reactive algorithms

Authors:
A. N. Chebotarev
Affiliations:
V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine
Venue:
Cybernetics and Systems Analysis
Year:
2013

Citing 10
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Extending Statecharts with Temporal Logic

IEEE Transactions on Software Engineering
Modular refinement of hierarchic reactive machines

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reactive Modules

Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Confirming Configurations in EFSM Testing

IEEE Transactions on Software Engineering
Design of Traffic Light Control Systems Using Statecharts

The Computer Journal
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions

Electronic Notes in Theoretical Computer Science (ENTCS)
On the class of L*-language formulas that specify finite-memory finite-state machines

Cybernetics and Systems Analysis
Improved method of synthesis of an automaton from its specification in the language L

Cybernetics and Systems Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

A method is proposed for the development of complex finite state machines (FSMs) from their compositional specifications in the logical language L. A compositional specification of an FSM consists of specifications of its component modules and interconnections between them. The FSM synthesized is obtained by combining the state transition graphs of the modules synthesized from their specifications.