Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

An Event-Driven Real-Time OCL and Its Application

이벤트 위주의 실시간 OCL과 그 응용

  • 최성운 (명지대학교 컴퓨터학부) ;
  • 이영환 (대전대학교 기초과학부)
  • Published : 2001.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

OCL was used in the UML Semantics document to specify the well-formedness rules of the UML metarmodel. UML was extended to apply it to system developments of several fields, for example real-time UML and web applications with UML. In particular the dependability is important in designing and building hard real-time system. Thus OCL is needed to express real-time UML formally and so it must extended. In this paper, we extend OCL to define event-driven real-time OCL to the development of Nrcl simulator.

PCL(Object Constraint Language)은 UML, 메타모델을 정밀하게 명세화하기 위해서 UML 의미론의 도큐먼트에 사용되어졌다. 피리고 UMLl-은 실시간 UML 웹 개발 UML 등과 같이 다양한 시스템을 개발하기 위해서 확장되었다. 특히 실시간 시스템을 개발할 때 적시성, 동시성, 예측성, 신뢰성이 고려되어야 한다 이에 따라 실시간 UML을 정밀하게 표현하고 구현을 쉽게 하기 위해서 OCL을 사용해야 하지만 현재의 OCL로 실시간을 묘사하기에는 부적합하다. 본 논문에서는 실시간 시스템을 개발하는데 있어서 실시간 언어고 쉽게 변환이 가능하도록 이벤트 위주로 실시간 OCL을 제안하였고 그 효용성의 검증으로서 권선기 시뮬레이터 개발에 응용하였다.

Keywords

References

  1. R. Gerber and S. S. Hong, 'Compiling Real-Time Programs with Timing Constraint Refinement and Structural Code Motion,' Transactions on Software Engineering, IEEE, 1995 https://doi.org/10.1109/32.387469
  2. B. Hoogeboom and W. A Halang, 'The Concept of Time in the Specification of Real Time Systems,' Real-Time Systems, IEEE Computer Soc. Press, pp. 26-28, 1992
  3. B. P. Douglass, Real-Time UML, Addison Wesley, 1998
  4. B. P. Douglass, Doing Hard Time, Addison Wesley, 1999
  5. UML Proposal to the Object Constraint Language, http://www.rationalcom/uml. 1997
  6. J. B. Warwer and A.G. Kleppe, The object constraint language, Addison-Wesley, 1999
  7. D. F. D'souza and A C. Willis. Object, Constraint, and Frameworks with UML, Addison-Wesley, 1998
  8. Y. Ishikawn, H. Tokuda, and C. W. Mercer, Objected-oriented Real Time language Design: Construct for Timing Constraints, Canegic-Mellon Techical Report CMU-CS-SO-111, 1990
  9. K. J. Lin, Expressing and Maintaining Timing Constraints in FLEX, Proc. IEEE Real Time Systems Symposium, pp. 96-105, 1988 https://doi.org/10.1109/REAL.1988.51105
  10. H. Gomma, Software design for distributed real time applications, Journal of Systems and Software, pp. 81-94, 1989
  11. H. Gomaa, Software design method for concurrent and real-time systems, Addison - Wesley, 1993
  12. S. S. Hong and R. Gerber, 'Slicing Real-Time Programs for Enhanced Schedulability,' Transactions on Programming Languages and Systems, ACM, Volume 8, pp.526, 1997
  13. B. Furht et al., Real-time UNIX systems - design and application guide, Kluwer, 1991
  14. N. Nissanke, Realtime Systems, Prentice Hall, 1997
  15. B. Selic, G. Gullekson, and P. T. Ward, Real Time Objected Modeling, John Willey & Sons, 1994