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 proceedingConference contribution

3 Citations (Scopus)

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 languageEnglish (US)
Title of host publicationProceedings of the High-Assurance Systems Engineering Workshop
Place of PublicationLos Alamitos, CA, United States
PublisherIEEE
Pages32-39
Number of pages8
StatePublished - 1997
Externally publishedYes
EventProceedings of the 1996 High-Assurance Systems Engineering Workshop - Niagara, Can
Duration: Oct 21 1996Oct 22 1996

Other

OtherProceedings of the 1996 High-Assurance Systems Engineering Workshop
CityNiagara, Can
Period10/21/9610/22/96

Fingerprint

Specifications
Real time systems
Systems analysis

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Vishnuvajjala, R. V., Tsai, W. T., Mojdehbakhsh, R., & Elliott, L. (1997). Specifying timing constraints in real-time object-oriented systems. In Proceedings of the High-Assurance Systems Engineering Workshop (pp. 32-39). Los Alamitos, CA, United States: IEEE.

Specifying timing constraints in real-time object-oriented systems. / Vishnuvajjala, Ramakrishna V.; Tsai, Wei Tek; Mojdehbakhsh, Ramin; Elliott, Lynn.

Proceedings of the High-Assurance Systems Engineering Workshop. Los Alamitos, CA, United States : IEEE, 1997. p. 32-39.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Vishnuvajjala, RV, Tsai, WT, Mojdehbakhsh, R & Elliott, L 1997, Specifying timing constraints in real-time object-oriented systems. in Proceedings of the High-Assurance Systems Engineering Workshop. IEEE, Los Alamitos, CA, United States, pp. 32-39, Proceedings of the 1996 High-Assurance Systems Engineering Workshop, Niagara, Can, 10/21/96.
Vishnuvajjala RV, Tsai WT, Mojdehbakhsh R, Elliott L. Specifying timing constraints in real-time object-oriented systems. In Proceedings of the High-Assurance Systems Engineering Workshop. Los Alamitos, CA, United States: IEEE. 1997. p. 32-39
Vishnuvajjala, Ramakrishna V. ; Tsai, Wei Tek ; Mojdehbakhsh, Ramin ; Elliott, Lynn. / Specifying timing constraints in real-time object-oriented systems. Proceedings of the High-Assurance Systems Engineering Workshop. Los Alamitos, CA, United States : IEEE, 1997. pp. 32-39
@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",

}

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

SP - 32

EP - 39

BT - Proceedings of the High-Assurance Systems Engineering Workshop

PB - IEEE

CY - Los Alamitos, CA, United States

ER -