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

JOOP - Journal of Object-Oriented Programming

Volumn 11, Issue 8, 1999, Pages 53-58

  Peleg, Mor ^a   Dori, Dov ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0009052070     PISSN: 08968438     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (12)

1. Ostroff, J. S. "Formal Methods for the Specification and Design of Real-Time Safety Critical Systems," The Journal of Systems and Software, 18(1):33-60, Apr. 1992.
2. Harel, D. "Statecharts: A Visual Formalism for Complex Systems," Sci. Comput. Program. 8:231-274, 1987.
3. Dori, D. "Object-Process Analysis: Maintaining the Balance Between System Structure and Behavior," Journal of Logic and Computation, 5(2):227-249, Apr. 1995.
4. Rumbaugh, J. et al. Object-Oriented Modeling and Design, Prentice Hall, Englewood Cliffs, NJ, 1991.
5. Embley, D. W., R. B. Jackson, and S. N. Woodfield. "Object-Oriented Systems Analysis: Is It or Isn't It?" IEEE Software, 12(4):19-33, July 1995.
6. Dori, D. and M. Goodman. "On Bridging the Analysis-Design and Structure-Behavior Grand Canyons with Object Paradigms," Report on Object Analysis and Design, 2(5):25-35, Jan./Feb. 1996.
7. Jahanian, F. and A. K. Mok. "Modechart: A Specification Language for Real-Time Systems," IEEE Transactions on Software Engineering, 12(12):933-947, Dec. 1994.
8. Peterson, J. L. Petri Net Theory and the Modeling of Systems, Prentice Hall, Englewood Cliffs, NJ, 1981.
9. Drusinsky, D. and D. Harel. "Using Statecharts for Hardware Description and Synthesis," IEEE Transactions on Computer-Aided Design, 8(7):798-807, July 1989.
10. Harel, D. et al. "STATEMATE: A Working Environment for the Development of Complex Systems," IEEE Transactions on Software Engineering, 16(4):403-414, Apr. 1990.
11. Jackson, M. System Development, Prentice Hall International, 1983.
12. Sanden, B. "Entity-Life Modeling and Structured Analysis in Real-Time Software Design: A Comparison," Communications of the ACM, 32(12):1458-1466, Dec. 1989.