Specifying timing constraints in real-time object-oriented systems

	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 R.V. Vishnuvajjala Articles by Wei-Tek Tsai Articles by R. Mojdehbakhsh Articles by L. Elliott

1996 High-Assurance Systems Engineering Workshop (HASE '96)

Niagara, CANADA

October 22-October 22

ISBN: 0-8186-7629-9

	ASCII Text	x
	R.V. Vishnuvajjala, Wei-Tek Tsai, R. Mojdehbakhsh, L. Elliott, "Specifying timing constraints in real-time object-oriented systems," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 32, 1996 High-Assurance Systems Engineering Workshop (HASE '96), 1996.

	BibTex	x
	@article{ 10.1109/HASE.1996.618558, author = {R.V. Vishnuvajjala and Wei-Tek Tsai and R. Mojdehbakhsh and L. Elliott}, title = {Specifying timing constraints in real-time object-oriented systems}, journal ={High-Assurance Systems Engineering, IEEE International Symposium on}, volume = {0}, year = {1996}, isbn = {0-8186-7629-9}, pages = {32}, doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.1996.618558}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - High-Assurance Systems Engineering, IEEE International Symposium on TI - Specifying timing constraints in real-time object-oriented systems SN - 0-8186-7629-9 SP EP A1 - R.V. Vishnuvajjala, A1 - Wei-Tek Tsai, A1 - R. Mojdehbakhsh, A1 - L. Elliott, PY - 1996 KW - real-time systems; timing constraint specification; real-time object-oriented systems; object interaction modeling; object-oriented system design; specification technique; Guarded Method Sequence Specification; GMtSS; guard constructs; sequencing relationships; extensibility; specialization; software reuse VL - 0 JA - High-Assurance Systems Engineering, IEEE International Symposium on ER -

R.V. Vishnuvajjala, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

Wei-Tek Tsai, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

R. Mojdehbakhsh, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

L. Elliott, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HASE.1996.618558

Modeling object interactions is an important aspect of object-oriented (OO) system design and development. We propose a specification technique, Guarded Method Sequence Specification (GMtSS), for modeling such interactions in real-time OO systems. GMtSS extends another specification technique, MtSS, by adding guard constructs that can be used to specify timing constraints in conjunction with sequencing relationships that can be expressed using MtSS. The paper also discusses interpretation mechanisms for GMtSS and examples showing how GMtSS can be used for modeling system properties involving sequencing as well as timing constraints. GMtSS specialization, a technique that can be used for reuse and extensibility of OO real-time systems is also discussed.

Index Terms:

real-time systems; timing constraint specification; real-time object-oriented systems; object interaction modeling; object-oriented system design; specification technique; Guarded Method Sequence Specification; GMtSS; guard constructs; sequencing relationships; extensibility; specialization; software reuse

Citation:

R.V. Vishnuvajjala, Wei-Tek Tsai, R. Mojdehbakhsh, L. Elliott, "Specifying timing constraints in real-time object-oriented systems," hase, pp.32, 1996 High-Assurance Systems Engineering Workshop (HASE '96), 1996

Peer Review Notice | Give Us Feedback

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