이벤트 위주의 실시간 OCL과 그 응용 = An Event - Driven Real - Time OCL and Its Application

다국어 초록 (Multilingual Abstract)

OCL was used in the UML Semantics document to specify the well-formedness rules of the UML metamodel. 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 that can be easily translated to Real-Time languages. Also we apply event-driven real time OCL to the development of Nrcl simulator.

국문 초록 (Abstract)

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

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 실시간 시스템 요구사항과 OCL
• 3. 관련연구
• 4. 실시간 OCL
• 5. 권선기 시뮬레이터 모델링
• 6. 결론
• 참고문헌
• Appendix
• 저자소개