Equivalence checking of two statechart specifications

Myung Hwan Park, Ki Seok Bang, Jin Young Choi, Inhye Kang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

In this paper, we give a process algebraic semantics for Statechart via a translation into Algebra of Communicating Shared Resources (ACSR). Also, we propose a formal verification method for Statechart specifications by showing an equivalence relationship between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.

Original languageEnglish
Title of host publicationProceedings of the International Workshop on Rapid System Prototyping
PublisherIEEE
Pages46-51
Number of pages6
Publication statusPublished - 2000
EventRSP 2000: 11th IEEE International Workshop on Rapid System Prototyping - Paris, France
Duration: 2000 Jun 212000 Jun 23

Other

OtherRSP 2000: 11th IEEE International Workshop on Rapid System Prototyping
CityParis, France
Period00/6/2100/6/23

Fingerprint

Algebra
Specifications
Semantics
Formal verification

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this

Park, M. H., Bang, K. S., Choi, J. Y., & Kang, I. (2000). Equivalence checking of two statechart specifications. In Proceedings of the International Workshop on Rapid System Prototyping (pp. 46-51). IEEE.

Equivalence checking of two statechart specifications. / Park, Myung Hwan; Bang, Ki Seok; Choi, Jin Young; Kang, Inhye.

Proceedings of the International Workshop on Rapid System Prototyping. IEEE, 2000. p. 46-51.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Park, MH, Bang, KS, Choi, JY & Kang, I 2000, Equivalence checking of two statechart specifications. in Proceedings of the International Workshop on Rapid System Prototyping. IEEE, pp. 46-51, RSP 2000: 11th IEEE International Workshop on Rapid System Prototyping, Paris, France, 00/6/21.
Park MH, Bang KS, Choi JY, Kang I. Equivalence checking of two statechart specifications. In Proceedings of the International Workshop on Rapid System Prototyping. IEEE. 2000. p. 46-51
Park, Myung Hwan ; Bang, Ki Seok ; Choi, Jin Young ; Kang, Inhye. / Equivalence checking of two statechart specifications. Proceedings of the International Workshop on Rapid System Prototyping. IEEE, 2000. pp. 46-51
@inproceedings{b5c6e42972934a9fa2bd6eac2628eaf3,
title = "Equivalence checking of two statechart specifications",
abstract = "In this paper, we give a process algebraic semantics for Statechart via a translation into Algebra of Communicating Shared Resources (ACSR). Also, we propose a formal verification method for Statechart specifications by showing an equivalence relationship between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.",
author = "Park, {Myung Hwan} and Bang, {Ki Seok} and Choi, {Jin Young} and Inhye Kang",
year = "2000",
language = "English",
pages = "46--51",
booktitle = "Proceedings of the International Workshop on Rapid System Prototyping",
publisher = "IEEE",

}

TY - GEN

T1 - Equivalence checking of two statechart specifications

AU - Park, Myung Hwan

AU - Bang, Ki Seok

AU - Choi, Jin Young

AU - Kang, Inhye

PY - 2000

Y1 - 2000

N2 - In this paper, we give a process algebraic semantics for Statechart via a translation into Algebra of Communicating Shared Resources (ACSR). Also, we propose a formal verification method for Statechart specifications by showing an equivalence relationship between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.

AB - In this paper, we give a process algebraic semantics for Statechart via a translation into Algebra of Communicating Shared Resources (ACSR). Also, we propose a formal verification method for Statechart specifications by showing an equivalence relationship between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.

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

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

M3 - Conference contribution

SP - 46

EP - 51

BT - Proceedings of the International Workshop on Rapid System Prototyping

PB - IEEE

ER -