TY - GEN
T1 - SSR
T2 - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003
AU - Jang, Sung Ho
AU - Bang, Ki Seok
AU - Choi, Jin Young
PY - 2003
Y1 - 2003
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
AN - SCOPUS:78149467528
SN - 0780382250
SN - 9780780382251
T3 - Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003
SP - 198
EP - 200
BT - Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003
Y2 - 28 October 2003 through 31 October 2003
ER -