Extending the object-process methodology to handle real-time systems

Mor Peleg, Dov Dori

Research output: Contribution to journalArticlepeer-review


There is a general consensus in software literature that real-time systems are difficult to model, specify, and design. It is an important and challenging task to develop an intuitive and easy-to-use, yet coherent and concise method for specifying such systems. The Object-Process Methodology (OPM) graphically specifies systems in a single unified model that describes the static-structural and behavioral-procedural aspects of a system by a set of Object-Process Diagrams. In this article we present OPM/T, as an extension of OPM for specification of reactive and real-time systems. A detailed telephone-call example demonstrates the power of OPM/T to express such notions as timing constraints, events, conditions, exceptions, and control flow constructs.

Original languageEnglish
Pages (from-to)53-58
Number of pages6
JournalJOOP - Journal of Object-Oriented Programming
Issue number8
StatePublished - Jan 1999
Externally publishedYes

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Extending the object-process methodology to handle real-time systems'. Together they form a unique fingerprint.

Cite this