State diagram matrix for hierarchical specification of reactive system

Tomohiro Murata, Kenzou Kurihara, Ayako Ashida

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

Reactive systems respond to internal or external stimuli and act in an event-driven manner. It is generally difficult to specify a complex reactive systems' behavior using conventional state machine formalism. One reason is that actual reactive systems are usually formed by combining plural state-machines that behave concurrently. This paper presents the State Diagram Matrix (SDM) which is a visual and hierarchical formalism of such a reactive system's behavior. SDM has two concepts. The first is matrix plane description on which 3-dimensional state space is projected. The second is state abstraction for hierarchical state-machine definition. Understandability and reliability of control software was improved as a consequence of adopting SDM for specifying disk-subsystem control requirements. The development support functions of SDM using a workstation are also described.

Original languageEnglish
Pages (from-to)1591-1592
Number of pages2
JournalIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
VolumeE76-A
Issue number10
Publication statusPublished - 1993 Oct
Externally publishedYes

Fingerprint

Reactive Systems
Diagram
Specification
Specifications
State Machine
Support Function
Control Software
Event-driven
Complex Systems
Subsystem
State Space
Internal
Requirements

ASJC Scopus subject areas

  • Hardware and Architecture
  • Information Systems
  • Electrical and Electronic Engineering

Cite this

State diagram matrix for hierarchical specification of reactive system. / Murata, Tomohiro; Kurihara, Kenzou; Ashida, Ayako.

In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E76-A, No. 10, 10.1993, p. 1591-1592.

Research output: Contribution to journalArticle

@article{eee80a5052dd4ae1893709e1b0487700,
title = "State diagram matrix for hierarchical specification of reactive system",
abstract = "Reactive systems respond to internal or external stimuli and act in an event-driven manner. It is generally difficult to specify a complex reactive systems' behavior using conventional state machine formalism. One reason is that actual reactive systems are usually formed by combining plural state-machines that behave concurrently. This paper presents the State Diagram Matrix (SDM) which is a visual and hierarchical formalism of such a reactive system's behavior. SDM has two concepts. The first is matrix plane description on which 3-dimensional state space is projected. The second is state abstraction for hierarchical state-machine definition. Understandability and reliability of control software was improved as a consequence of adopting SDM for specifying disk-subsystem control requirements. The development support functions of SDM using a workstation are also described.",
author = "Tomohiro Murata and Kenzou Kurihara and Ayako Ashida",
year = "1993",
month = "10",
language = "English",
volume = "E76-A",
pages = "1591--1592",
journal = "IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences",
issn = "0916-8508",
publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
number = "10",

}

TY - JOUR

T1 - State diagram matrix for hierarchical specification of reactive system

AU - Murata, Tomohiro

AU - Kurihara, Kenzou

AU - Ashida, Ayako

PY - 1993/10

Y1 - 1993/10

N2 - Reactive systems respond to internal or external stimuli and act in an event-driven manner. It is generally difficult to specify a complex reactive systems' behavior using conventional state machine formalism. One reason is that actual reactive systems are usually formed by combining plural state-machines that behave concurrently. This paper presents the State Diagram Matrix (SDM) which is a visual and hierarchical formalism of such a reactive system's behavior. SDM has two concepts. The first is matrix plane description on which 3-dimensional state space is projected. The second is state abstraction for hierarchical state-machine definition. Understandability and reliability of control software was improved as a consequence of adopting SDM for specifying disk-subsystem control requirements. The development support functions of SDM using a workstation are also described.

AB - Reactive systems respond to internal or external stimuli and act in an event-driven manner. It is generally difficult to specify a complex reactive systems' behavior using conventional state machine formalism. One reason is that actual reactive systems are usually formed by combining plural state-machines that behave concurrently. This paper presents the State Diagram Matrix (SDM) which is a visual and hierarchical formalism of such a reactive system's behavior. SDM has two concepts. The first is matrix plane description on which 3-dimensional state space is projected. The second is state abstraction for hierarchical state-machine definition. Understandability and reliability of control software was improved as a consequence of adopting SDM for specifying disk-subsystem control requirements. The development support functions of SDM using a workstation are also described.

UR - http://www.scopus.com/inward/record.url?scp=0027685537&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027685537&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0027685537

VL - E76-A

SP - 1591

EP - 1592

JO - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

JF - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

SN - 0916-8508

IS - 10

ER -