Formalization of Object-Oriented Dynamic Modeling Technique

객체지향 동적 모델링 기법의 정형화

In the traditional object modeling methodologies, the object model can be said as formal since it has been based on rich semantic model. But almost of all methodolgies lack in formality the dyamic model and modeling process. Dynamic model cannot represent exctly the timing constraints and the interaction among the objects, which are very important features in real-time and multimedia system. In this paper, we formalize the synamic moedl and modeling proxess based on object behavior and state. This model defines the object state space using the concepts in algebra stucture and defines the object behavior func-tion. Also this model can formalize object kifecycle and conurrency among the objects usint the temporal logiction. Also this model can frlmaize object lifecycle and conurrency among the objects using the tempral logic and behavior founction. We apply firing rules to behacior function for modeling the dependency of interaction among the objescts.

기존에 제안된 객체 모델링 방법론에서 정적 측면의 모델링은 시멘틱 모델 등의 풍부한 시멘틱을 제공하여 모델과 모델링의 많은 부분들을 정형화할 수 있다 그러나 대부분의 방법론들은 동적 모델과 모델링의 정형화가 미흡하다. 또한 기존의 동적 모델은 실시간과 멀티미디어 시스템에서 매우 중요한 특성인 객체간의 상호적용 관계 및 시간적 제약성을 정확하게 표현할 수 없다. 본 논문에서는 이러한 문제들을 해결 하기 위해서 행위를 기반으로한 정형적인 동적 모델과 모델링 절차를 제안한다. 이 모델은 대수구조 개념을 도입하여 객체의 상태 영역을 정의하고, 객체의 행위를 하나의 함수로 정의한다. 또한 이 모델은 시제논리와 정의된 행위함수를 사용하여 객체의 라이프사이클과 행성을 정형화한다. finig rule들을 사용하여 객체간의 행위적 종속성을 표현하므로써 기존의 객체 중심의 동적 모델에서 표현할 수 없는 시스템 관점의 행위도 일부 표현할 수 있다. 제안된 정형화된 모델을 기반으로 문제를 분 석할 수 있는 모델링 도구와 절차를 정형화 한다.