Multi-Aspect System Analysis Using State Machines Extracted from Specifications in VDM–SL - Collections

＜conference paper＞
Multi-Aspect System Analysis Using State Machines Extracted from Specifications in VDM–SL

Creator	Creator Name Miyoshi, Kengo 三好, 健吾ミヨシ, ケンゴ Affiliation Affiliation Name Department of Computer Science and Communication Engineering, Faculty of Information Science and Electrical Engineering, Kyushu University 九州大学システム情報科学研究院情報工学部門
	Creator Name Hirachi, Satoru 平地, 智ヒラチ, サトル Affiliation Affiliation Name Department of Computer Science and Communication Engineering, Faculty of Information Science and Electrical Engineering, Kyushu University 九州大学システム情報科学研究院情報工学部門
	Author PID K000227 Creator Name Kusakabe, Shigeru 日下部, 茂クサカベ, シゲル Affiliation Affiliation Name Department of Computer Science and Communication Engineering, Faculty of Information Science and Electrical Engineering, Kyushu University 九州大学システム情報科学研究院情報工学部門
	Author PID K000218 Creator Name Araki, Keijiro 荒木, 啓二郎アラキ, ケイジロウ Affiliation Affiliation Name Department of Computer Science and Communication Engineering, Faculty of Information Science and Electrical Engineering, Kyushu University 九州大学システム情報科学研究院情報工学部門
Language	English
Publisher	Software Engineers Association
Publisher	ソフトウェア技術者協会
Date	2004-10-21
Source Title	The Proceedings of ISFST-2004
First Page	200
Last Page	205
Publication Type	Version of Record
Access Rights	open access
Related DOI
Related DOI	The Proceedings of ISFST-2004 \|\| p200-205
Related DOI	http://www.sea.jp/Events/isfst/ISFST2004/
Related URI	The Proceedings of ISFST-2004 \|\| p200-205
Related URI	http://www.sea.jp/Events/isfst/ISFST2004/
Related URI	isIdenticalTo http://www.sea.jp/Events/isfst/ISFST2004/CDROM04/Presented04/2A1-T3/isfst2004_J353.pdf
Related HDL
Relation	The Proceedings of ISFST-2004 \|\| p200-205
Relation	http://www.sea.jp/Events/isfst/ISFST2004/
Abstract	Model-oriented formal specification languages such as VDM-SL is useful to describe functional requirements of the target systems. However, since single-aspect analysis is not enough to make reliable s...pecifications, we also use other approaches such as model checking to analyze dynamic aspects of the system as a part of multi-aspect analysis. In this paper, we discuss our approach to extract state machines from specifications in VDM-SL.We can analyze both static and dynamic aspect by using these two different kinds of specification languages, model-oriented and state-machine languages in an integrated manner.show more

Hide fulltext details.

File	FileType	Size	Views	Description
isfst2004_J353	pdf	36.6 KB	115

Details

Record ID	6305
Peer-Reviewed	Unrefereed
Related URI	http://www.sea.jp/Events/isfst/ISFST2004/CDROM04/Presented04/2A1-T3/isfst2004_J353.pdf
Subject Terms	Formal Methods
	Multi-Aspect Analysis
	Formal Specification
	VDM–SL
	State Machine
ISBN	4-916227-17-4
Notes	The 8th International Symposium on Future Software Technology (ISFST-2004), October 20(Wed) - 22(Fri), 2004, Xian, China
Type	会議発表論文
Created Date	2009.04.22
Modified Date	2020.11.17

Export

Link to this page

Search Other Services

Statistics

＜conference paper＞ Multi-Aspect System Analysis Using State Machines Extracted from Specifications in VDM–SL

Hide fulltext details.

Details

People who viewed this item also viewed

＜conference paper＞
Multi-Aspect System Analysis Using State Machines Extracted from Specifications in VDM–SL