Verifying Compositional Designs for Scenario-Based Timing Specifications

Vienna, Austria May 12-May 14

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/ISORC.2004.1300367

Seventh IEEE International Symposium ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Li Xuandong Articles by Zhao Jianhua Articles by Gong Jiayu Articles by Shi Yaoxin Articles by Zheng Guoliang

	ASCII Text	x
	Li Xuandong, Zhao Jianhua, Gong Jiayu, Shi Yaoxin, Zheng Guoliang, "Verifying Compositional Designs for Scenario-Based Timing Specifications," Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, pp. 253-256, Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'04), 2004.

	BibTex	x
	@article{ 10.1109/ISORC.2004.1300367, author = {Li Xuandong and Zhao Jianhua and Gong Jiayu and Shi Yaoxin and Zheng Guoliang}, title = {Verifying Compositional Designs for Scenario-Based Timing Specifications}, journal ={Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on}, volume = {0}, year = {2004}, isbn = {0-7695-2124-X}, pages = {253-256}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2004.1300367}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on TI - Verifying Compositional Designs for Scenario-Based Timing Specifications SN - 0-7695-2124-X SP253 EP256 A1 - Li Xuandong, A1 - Zhao Jianhua, A1 - Gong Jiayu, A1 - Shi Yaoxin, A1 - Zheng Guoliang, PY - 2004 KW - null VL - 0 JA - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on ER -

Li Xuandong, Nanjing University

Zhao Jianhua, Nanjing University

Gong Jiayu, Nanjing University

Shi Yaoxin, Nanjing University

Zheng Guoliang, Nanjing University

In this paper, we use networks of UML statechart diagrams to model compositional designs for real-time systems, and present an algorithm for checking networks of statechart diagrams for the scenario-based specifications expressed by UML sequence diagrams with timing constraints. The algorithm is based on investigating the reachability graph of the integer state space of a network of statechart diagrams.

Citation:

Li Xuandong, Zhao Jianhua, Gong Jiayu, Shi Yaoxin, Zheng Guoliang, "Verifying Compositional Designs for Scenario-Based Timing Specifications," isorc, pp.253-256, Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.