Contemporary CASE tools contain a certain types of knowledge to provide their users with a limited intelligent support for a development methodology. For more intelligent support, various types of knowledge should ne incorporated into CASE. The knowledge can be categorized as structural and behavioral knowledge and operational knowledge. The operational knowledge is again classified as knowledge on the methodology constraint, constraint checking time, way of constraint check, and informative feedbacks of a CASE tool. A metasystem should capture these of knowledge in it's metamodel to generate a practival CASE tool. Contemporary metamodels, however, can represent only structural and behavioral knowledge because they are based on Entity-Relationship (ER) or extended ER data model. This thesis proposes and implements a representation scheme of the operational knowledge in a metamodel called RBM (Rule Based Metamodel). In the new metamodel, operational knowledge is represented as rules. Each rule is defined in an object/relationship type definition or as a constraint type. A rule consists of three parts : event part, condition part, and action part. Event part defines the triggering time (condition checking time) of the rule. Condition part identifies methodology constraints associated with the rule. Action part is used to specify informative feedback knowledge which is given to users when they violate the rules of the CASE tool supporting methodology. A new metasystem based on the RBM is implemented in C and inference engine of the CLIPS under PC environment.
메타 시스템 접근방법은 사용자가 필요로 하는 CASE 도구를 메타 시스템의 메타모형을 이용하여 명세하고 이를 자동적으로 생성시켜 사용하는데 목적이 있다. 그러나, 현재 개발된 메타 시스템들의 메타모형들은 대상 CASE 도구를 명세함에 있어 다음과 같은 한계점을 갖는다. 대부분의 CASE 도구들은 나름대로의 철학을 가지고 특정한 방법론을 지원하기 위하여 그 방법론이 지니고 있는 규칙들에 대한 검사기능을 포함한 여러가지 운영적 지식들을 지니고 있다. 따라서, 메타 모형을 개발하려 할 경우 이러한 운영적 지식들을 그 안에 포함시킬 필요가 있는데 현재의 메타모형들은 객체-관계 혹은 확장된 객체-관계 데이타 모형에 기반하고 있기 때문에 이러한 여러가지 운영적 지식들을 충분히 표현하고 있지 못하다. 이 논문에서는 이러한 한계점을 극복할 수 있도록 하기 위해 메타모형안에 운영적 지식들을 표현하는 방안을 제시하고 구현하였다. 여러 운영적 정보들은 ECA (Event-Condition-Action) 규칙을 통하여 하나의 모형요소 정의부분안에 혹은 하나의 제약 유형으로 표현된다. 하나의 ECA 규칙은 사건 부분, 조건 부분, 활동 부분으로 구성되어 있는데, 사건 부분에서는 해당 규칙의 조건 부분이 검사되는 시점에 관한 지식들이 표현된다. 또한, 조건 부분에서는 해당 CASE 도구들이 지원하는 방법론들이 지니고 있는 제약 지식들을 표현하기 위하여 존재한다. 활동 부분에서는 조건 부분이 만족될 경우 사용자에게 필요한 경고 메세지나 에러 메세지 혹은 사용자가 정의한 인스턴스들에 대한 조작에 관한 명령들이 제시된다. 마지막으로, C언어 와 CLIPS의 추론 기관을 이용하여 개발된 메타모형을 기반으로 해서 기존의 메타 시스템들이 가졌던 문제점을 극복하는 새로운 메타시스템의 규칙시스템이 구현되었다.