Extending Z with state transition constraints

Kenji Taguchi, Keijiro Araki

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

This paper proposes an extended notation of Z by which one can explicitly specify the intended behavior of operation schemas in the form of state transitions. The notation is based on a labeled transition system which is tractable to analyze the operational behavior of Z. In this paper we mainly focus on the semantical framework which enables us to express constraints both locally and globally. Simple examples are presented and some research issues on operational interpretation of schemas are discussed with respect to our semantical framework.

Original languageEnglish
Pages (from-to)254-260
Number of pages7
JournalUnknown Journal
Publication statusPublished - 1996
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

Taguchi, K., & Araki, K. (1996). Extending Z with state transition constraints. Unknown Journal, 254-260.

Extending Z with state transition constraints. / Taguchi, Kenji; Araki, Keijiro.

In: Unknown Journal, 1996, p. 254-260.

Research output: Contribution to journalArticle

Taguchi, K & Araki, K 1996, 'Extending Z with state transition constraints', Unknown Journal, pp. 254-260.
Taguchi, Kenji ; Araki, Keijiro. / Extending Z with state transition constraints. In: Unknown Journal. 1996 ; pp. 254-260.
@article{b581baca8b514981be007751e7493ab7,
title = "Extending Z with state transition constraints",
abstract = "This paper proposes an extended notation of Z by which one can explicitly specify the intended behavior of operation schemas in the form of state transitions. The notation is based on a labeled transition system which is tractable to analyze the operational behavior of Z. In this paper we mainly focus on the semantical framework which enables us to express constraints both locally and globally. Simple examples are presented and some research issues on operational interpretation of schemas are discussed with respect to our semantical framework.",
author = "Kenji Taguchi and Keijiro Araki",
year = "1996",
language = "English",
pages = "254--260",
journal = "Quaternary International",
issn = "1040-6182",
publisher = "Elsevier Limited",

}

TY - JOUR

T1 - Extending Z with state transition constraints

AU - Taguchi, Kenji

AU - Araki, Keijiro

PY - 1996

Y1 - 1996

N2 - This paper proposes an extended notation of Z by which one can explicitly specify the intended behavior of operation schemas in the form of state transitions. The notation is based on a labeled transition system which is tractable to analyze the operational behavior of Z. In this paper we mainly focus on the semantical framework which enables us to express constraints both locally and globally. Simple examples are presented and some research issues on operational interpretation of schemas are discussed with respect to our semantical framework.

AB - This paper proposes an extended notation of Z by which one can explicitly specify the intended behavior of operation schemas in the form of state transitions. The notation is based on a labeled transition system which is tractable to analyze the operational behavior of Z. In this paper we mainly focus on the semantical framework which enables us to express constraints both locally and globally. Simple examples are presented and some research issues on operational interpretation of schemas are discussed with respect to our semantical framework.

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

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

M3 - Article

AN - SCOPUS:0029717427

SP - 254

EP - 260

JO - Quaternary International

JF - Quaternary International

SN - 1040-6182

ER -