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

^*Corresponding author for this work

University of Minnesota Twin Cities

Research output: Contribution to conference › Paper › peer-review

3 Scopus citations

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
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: 21 Oct 1996 → 22 Oct 1996

Conference

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

Cite this

@conference{17dd8c49d36247a9afa52863cc3dfc3b,

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 = "英语",

pages = "32--39",

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

}

TY - CONF

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 - https://www.scopus.com/pages/publications/0030721105

M3 - 论文

AN - SCOPUS:0030721105

SP - 32

EP - 39

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

Conference

Other files and links

Fingerprint

Cite this