Specifying timing constraints in real-time object-oriented systems

Authors:
R. V. Vishnuvajjala;Wei-Tek Tsai;R. Mojdehbakhsh;L. Elliott
Affiliations:
-;-;-;-
Venue:
HASE '96 Proceedings of the 1996 High-Assurance Systems Engineering Workshop
Year:
1996

Citing 0
Cited 2

Specifying Constraints with Message Sequence Specifications

APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Sequence Specification for Concurrent Object-Oriented Applications

WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.