Towards a real-time object-oriented modeling approach

Authors:
Jyhjong Lin;David Chenho Kung;Pei Hsia
Affiliations:
Computer Science Engineering, The University of Texas at Arlington, P.O. Box 19015, Arlington, TX;Computer Science Engineering, The University of Texas at Arlington, P.O. Box 19015, Arlington, TX;Computer Science Engineering, The University of Texas at Arlington, P.O. Box 19015, Arlington, TX
Venue:
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Year:
1995

Citing 20
Cited 0

An overview of JSD

IEEE Transactions on Software Engineering
Temporal logic of programs

Temporal logic of programs
Semantic database modeling: survey, applications, and research issues

ACM Computing Surveys (CSUR)
Object-oriented systems analysis: modeling the world in data

Object-oriented systems analysis: modeling the world in data
Modern structured analysis

Modern structured analysis
Semantic data models

ACM Computing Surveys (CSUR)
Object subclass hierarchy in SQL: a simple approach

Communications of the ACM
Object oriented design with applications

Object oriented design with applications
Modeling and Verification of Time Dependent Systems Using Time Petri Nets

IEEE Transactions on Software Engineering
Coherent models for object-oriented analysis

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented systems analysis: a model-driven approach

Object-oriented systems analysis: a model-driven approach
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design

IEEE Transactions on Software Engineering
Object-oriented modeling and design

Object-oriented modeling and design
Object-relationship diagrams for object-oriented modeling with concurrency feature

Microprocessing and Microprogramming
How to cook a temporal proof system for your pet language

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Deciding Properties of Timed Transition Models

IEEE Transactions on Parallel and Distributed Systems
Object-Oriented Analysis and Top-Down Software Development

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
An Object-Oriented Temporal Model

CAiSE '93 Proceedings of Advanced Information Systems Engineering
A study of the recoverability of computing systems.

A study of the recoverability of computing systems.
System development (Prentice-Hall International series in computer science)

System development (Prentice-Hall International series in computer science)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present an object-oriented modeling approach for specifying and analyzing real-time systems. Two models are used: one is an object interaction model that describes the system hierarchy and causal interactions among objects, the other is an object specification model that coherently specifies the structural, behavioral, and control aspects of objects. Our approach is applied to a simple illustrative example, the modeling of a house heating system.