Specifying timing constraints in real-time object-oriented systems

Ramakrishna V. Vishnuvajjala; Wei Tek Tsai; Ramin Mojdehbakhsh; Lynn Elliott

Specifying timing constraints in real-time object-oriented systems

Ramakrishna V. Vishnuvajjala, Wei Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Modeling object interactions is an important aspect of Object-Oriented (OO) system design and development. In this paper, 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.

Original language	English (US)
Title of host publication	Proceedings of the High-Assurance Systems Engineering Workshop
Place of Publication	Los Alamitos, CA, United States
Publisher	IEEE
Pages	32-39
Number of pages	8
State	Published - 1997
Externally published	Yes
Event	Proceedings of the 1996 High-Assurance Systems Engineering Workshop - Niagara, Can Duration: Oct 21 1996 → Oct 22 1996

Other

Other	Proceedings of the 1996 High-Assurance Systems Engineering Workshop
City	Niagara, Can
Period	10/21/96 → 10/22/96

ASJC Scopus subject areas

General Engineering

Cite this

@inproceedings{a9d0aa1f248f4c419dfea64a6e1ae758,

title = "Specifying timing constraints in real-time object-oriented systems",

abstract = "Modeling object interactions is an important aspect of Object-Oriented (OO) system design and development. In this paper, 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.",

author = "Vishnuvajjala, {Ramakrishna V.} and Tsai, {Wei Tek} and Ramin Mojdehbakhsh and Lynn Elliott",

year = "1997",

language = "English (US)",

pages = "32--39",

booktitle = "Proceedings of the High-Assurance Systems Engineering Workshop",

publisher = "IEEE",

note = "Proceedings of the 1996 High-Assurance Systems Engineering Workshop ; Conference date: 21-10-1996 Through 22-10-1996",

}

TY - GEN

T1 - Specifying timing constraints in real-time object-oriented systems

AU - Vishnuvajjala, Ramakrishna V.

AU - Tsai, Wei Tek

AU - Mojdehbakhsh, Ramin

AU - Elliott, Lynn

PY - 1997

Y1 - 1997

N2 - Modeling object interactions is an important aspect of Object-Oriented (OO) system design and development. In this paper, 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.

AB - Modeling object interactions is an important aspect of Object-Oriented (OO) system design and development. In this paper, 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.

UR - http://www.scopus.com/inward/record.url?scp=0030721105&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030721105&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0030721105

SP - 32

EP - 39

BT - Proceedings of the High-Assurance Systems Engineering Workshop

PB - IEEE

CY - Los Alamitos, CA, United States

T2 - Proceedings of the 1996 High-Assurance Systems Engineering Workshop

Y2 - 21 October 1996 through 22 October 1996

ER -

Specifying timing constraints in real-time object-oriented systems

Abstract

Other

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this