Checking compositions of UML sequence diagrams for timing inconsistency

Xuandong Li; J. Lilius

doi:10.1109/APSEC.2000.896694

A
APSEC
2000
Seventh Asia-Pacific Software Engineering Conference (APSEC'00)
Abstract - Checking compositions of UML sequence diagrams for timing inconsistency

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	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 Xuandong Li Articles by J. Lilius

Seventh Asia-Pacific Software Engineering Conference (APSEC'00)

Checking compositions of UML sequence diagrams for timing inconsistency

Singapore

December 05-December 08

ISBN: 0-7695-0915-0

	ASCII Text	x
	Xuandong Li, J. Lilius, "Checking compositions of UML sequence diagrams for timing inconsistency," Asia-Pacific Software Engineering Conference, pp. 154, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000.

	BibTex	x
	@article{ 10.1109/APSEC.2000.896694, author = {Xuandong Li and J. Lilius}, title = {Checking compositions of UML sequence diagrams for timing inconsistency}, journal ={Asia-Pacific Software Engineering Conference}, volume = {0}, year = {2000}, issn = {1530-1362}, pages = {154}, doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896694}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Asia-Pacific Software Engineering Conference TI - Checking compositions of UML sequence diagrams for timing inconsistency SN - 1530-1362 SP EP A1 - Xuandong Li, A1 - J. Lilius, PY - 2000 KW - specification languages; sequences; diagrams; formal verification; timing; real-time systems; graphs; UML sequence diagram composition checking; Unified Modeling Language; timing inconsistency checking; real-time systems specification; object interactions; system behaviour scenarios; high-level graphs; model checking VL - 0 JA - Asia-Pacific Software Engineering Conference ER -

Xuandong Li, Dept. of Comput. Sci. & Technol., Nanjing Univ., China

J. Lilius, Dept. of Comput. Sci. & Technol., Nanjing Univ., China

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896694

For real-time systems, UML sequence diagrams describe interactions among objects, which show scenarios of the system behaviour. A simple UML sequence diagram describes exactly one scenario. For describing multiple scenarios and specifying real-time systems, we need to consider the compositions of UML sequence diagrams. In this paper, we introduce high-level graphs to describe compositions of UML sequence diagrams, and develop an algorithm for checking them for timing inconsistencies.

Index Terms:

specification languages; sequences; diagrams; formal verification; timing; real-time systems; graphs; UML sequence diagram composition checking; Unified Modeling Language; timing inconsistency checking; real-time systems specification; object interactions; system behaviour scenarios; high-level graphs; model checking

Citation:

Xuandong Li, J. Lilius, "Checking compositions of UML sequence diagrams for timing inconsistency," apsec, pp.154, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000

Peer Review Notice | Give Us Feedback

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