SSR

Statechart with shared resources

Sung Ho Jang, Ki Seok Bang, Jin Young Choi

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

1 Citation (Scopus)

Abstract

In order to achieve an implementation correctly, it has been known that specification and its verification in early design stage is important, especially, during developing systems like safety critical systems or embedded real-time systems. Statechart is a widely used graphical formal specification language, however, it is not trivial to specify system with shared resources. In this paper, we introduce an extension of statechart, called statechart with shared resources (in short, SSR) and present process algebraic semantics of SSR. Having an abstraction of shared resources, designers can capture design requirement efficiently without any functional or implemental details of shared resources in the system. Since its semantics is based on a process algebra, SSR can be translated into a process algebra and its properties can be verified using process algebraic tools.

Original languageEnglish
Title of host publicationProceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003
Pages198-200
Number of pages3
DOIs
Publication statusPublished - 2003 Dec 1
Event2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003 - Auckland, New Zealand
Duration: 2003 Oct 282003 Oct 31

Other

Other2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003
CountryNew Zealand
CityAuckland
Period03/10/2803/10/31

Fingerprint

Algebra
Computer systems
Semantics
Specification languages
Real time systems
Embedded systems
Specifications
Formal specification

ASJC Scopus subject areas

  • Artificial Intelligence
  • Control and Systems Engineering

Cite this

Jang, S. H., Bang, K. S., & Choi, J. Y. (2003). SSR: Statechart with shared resources. In Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003 (pp. 198-200). [1260229] https://doi.org/10.1109/HCC.2003.1260229

SSR : Statechart with shared resources. / Jang, Sung Ho; Bang, Ki Seok; Choi, Jin Young.

Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003. 2003. p. 198-200 1260229.

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

Jang, SH, Bang, KS & Choi, JY 2003, SSR: Statechart with shared resources. in Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003., 1260229, pp. 198-200, 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003, Auckland, New Zealand, 03/10/28. https://doi.org/10.1109/HCC.2003.1260229
Jang SH, Bang KS, Choi JY. SSR: Statechart with shared resources. In Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003. 2003. p. 198-200. 1260229 https://doi.org/10.1109/HCC.2003.1260229
Jang, Sung Ho ; Bang, Ki Seok ; Choi, Jin Young. / SSR : Statechart with shared resources. Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003. 2003. pp. 198-200
@inproceedings{d41861be7df242fb8bd3d8b4f289780b,
title = "SSR: Statechart with shared resources",
abstract = "In order to achieve an implementation correctly, it has been known that specification and its verification in early design stage is important, especially, during developing systems like safety critical systems or embedded real-time systems. Statechart is a widely used graphical formal specification language, however, it is not trivial to specify system with shared resources. In this paper, we introduce an extension of statechart, called statechart with shared resources (in short, SSR) and present process algebraic semantics of SSR. Having an abstraction of shared resources, designers can capture design requirement efficiently without any functional or implemental details of shared resources in the system. Since its semantics is based on a process algebra, SSR can be translated into a process algebra and its properties can be verified using process algebraic tools.",
author = "Jang, {Sung Ho} and Bang, {Ki Seok} and Choi, {Jin Young}",
year = "2003",
month = "12",
day = "1",
doi = "10.1109/HCC.2003.1260229",
language = "English",
isbn = "0780382250",
pages = "198--200",
booktitle = "Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003",

}

TY - GEN

T1 - SSR

T2 - Statechart with shared resources

AU - Jang, Sung Ho

AU - Bang, Ki Seok

AU - Choi, Jin Young

PY - 2003/12/1

Y1 - 2003/12/1

N2 - In order to achieve an implementation correctly, it has been known that specification and its verification in early design stage is important, especially, during developing systems like safety critical systems or embedded real-time systems. Statechart is a widely used graphical formal specification language, however, it is not trivial to specify system with shared resources. In this paper, we introduce an extension of statechart, called statechart with shared resources (in short, SSR) and present process algebraic semantics of SSR. Having an abstraction of shared resources, designers can capture design requirement efficiently without any functional or implemental details of shared resources in the system. Since its semantics is based on a process algebra, SSR can be translated into a process algebra and its properties can be verified using process algebraic tools.

AB - In order to achieve an implementation correctly, it has been known that specification and its verification in early design stage is important, especially, during developing systems like safety critical systems or embedded real-time systems. Statechart is a widely used graphical formal specification language, however, it is not trivial to specify system with shared resources. In this paper, we introduce an extension of statechart, called statechart with shared resources (in short, SSR) and present process algebraic semantics of SSR. Having an abstraction of shared resources, designers can capture design requirement efficiently without any functional or implemental details of shared resources in the system. Since its semantics is based on a process algebra, SSR can be translated into a process algebra and its properties can be verified using process algebraic tools.

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

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

U2 - 10.1109/HCC.2003.1260229

DO - 10.1109/HCC.2003.1260229

M3 - Conference contribution

SN - 0780382250

SN - 9780780382251

SP - 198

EP - 200

BT - Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003

ER -