• 논리연구
• /
• 제14권2호
• /
• pp.105-121
• /
• 2011

고 김영정 교수는 존재 예화 규칙이 다도 논법의 구조를 가진다는 것을 통해 그 규칙을 직관적으로 설명하고자 했다. 그리고 그의 그런 설명은 존재 예화 규칙에 사용되는 전제에 자유 변항이 나타난다는 주장과 그런 자유 변항이 나타나는 식이 보편 명제라는 주장에 의거했다. 본 논문에서 필자는 우선 그와 같은 독특한 자유 변항 개념에 호소하는 것이 여러 어려운 문제들을 낳는다는 것을 보인다. 그리고 그런 개념에 호소하지 않고서도 존재 예화 규칙이 다도 논법의 구조를 가진다는 통찰을 구체화할 수 있다는 것을 보여 주기위해서, 보다 기본적인 규칙인 보편 조건문화 규칙(Universalized Conditionalization Rule)을 도입한다. 그리고 필자는 우리가 그 보편 조건문화 규칙을 사용해 존재 예화 규칙이나 보편 일반화 규칙을 직관적으로 설명할 수 있다는 것을 보인다. 그리고 그런 과정에서 존재 예화 규칙이 다도 논법의 구조를 가진다는 김영정 교수의 통찰도 적절한 자리를 부여받게 된다.

• Asia pacific journal of information systems
• /
• 제14권1호
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2004년도 e-Biz World Conference
• /
• pp.318-326
• /
• 2004

The ebXML (Electronic Business using eXtensible Markup Language) Specification Schema is to provide nominal set of specification elements necessary to specify a collaboration between business partners based on XML. As a part of ebXML Specification Schema, BPSS (Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification is insufficient to specify formal semantic constraints of modeling elements completely. In this study, we propose a classification schema for the BPSS semantic constraints and describe how to represent those semantic constraints formally using OCL (Object Constraint Language). As a way to verify a Business Process Specification (BPS) with the formal semantic constraint modeling, we suggest a rule-based approach to represent the formal constraints and to use the rule-based constraints specification to verify BPSs in a CLIPS prototype implementation.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2004년도 학술대회지
• /
• pp.723-728
• /
• 2004

Recently, because of the extensive use of geographic information in the various fields, the requirement for the easy circulation and utilization of the various geographic information among the individuals, organizations, societies and countries is raised. In order to support the interoperability of the heterogeneous geographic information in the various fields, OGC(Open GIS Consortium) proposed the GML(Geography Markup Language) specification that defines the XML encoding rule about the heterogeneous geographic information. In addition, ISO/TC 211 adopted the GML specification to make it as the international standard. Therefore, in this paper, we first analyzed the GML 3.0 specification in detail that can support the interoperability of the heterogeneous geographic information. And then we suggested and applied the mapping rule that define the encoding method to improve the encoding process easily and efficiently. Finally, we designed and implemented the GML 3.0 encoding system using the mapping rule to encode the geographic information that was constructed in spatial databases into the GML 3.0 document. Especially, we used ZEUS as a spatial database system to test our encoding system in this paper.

• 한국생활과학회지
• /
• 제14권1호
• /
• pp.107-117
• /
• 2005

The purpose of this study is to develop the size and grading increments chart for the middle-aged obese women compared with normal women in middle age. Seven hundred and thirty three women's data from the 4th National Korean Size Survey for Standardization (1997) were analyzed. It was found that size increment of bust and hip girth of obese women was different from that of ordinary middle-aged women. The rate of coverage for a certain set of size specification and the grading increment value for the clothing of Korean obese women in middle aged group were also suggested. The relative percentage value of grading rule based on the change in bust girth increment of Korean obese women was quite different from that of American women. In conclusion, it was noted that the characteristics of the body size specification of obese women was quite different from those of the corresponding age group, so that the separated size specification and grading rule are needed to be used in the manufacturing process of obese women's clothing.

• 한국공간정보시스템학회 논문지
• /
• 제5권1호
• /
• pp.27-38
• /
• 2003

최근 여러 분야에서 지리공간 정보의 활용이 증가함에 따라 기존에 각자 구축해 두었던 각종 지리 공간 정보를 개인.조직 나아가 사회 국가 간에 자유롭게 유통 및 활용하려는 요구가 증가되고 있다. 이를 위해 OGC에서는 다양한 분야의 지리공간 정보를 손쉽게 상호 운용하기 위해 이질적인 환경의 지리공간 정보를 XML로 엔코딩하여 다양한 분야에 사용 가능하도록 하는 GML 명세를 제시하였으며, ISO/TC 211에서도 GML을 채택하여 국제 표준으로 추진 중에 있다. 따라서, 본 논문에서는 지리공간 정보 상호 운용 방법인 GML 3.0을 분석하고, 엔코딩 과정을 좀더 간편하고 효율적으로 바꾸기 위해 엔코딩 방법을 정의하는 매핑 규칙을 작성하여 활용하였다. 마지막으로 공간 데이타베이스에 구축된 지리공간 정보를 GML 3.0 문서로 엔코딩 할 수 있도록 매핑 규칙을 활용한 GML 3.0 엔코딩 시스템을 설계 및 구현하였다. 특히, 본 논문에서는 엔코딩 시스템을 테스트하기 위해 공간 데이타베이스 시스템으로 ZEUS를 사용하였다.

• 한국정보처리학회논문지
• /
• 제1권1호
• /
• pp.114-128
• /
• 1994

초고급 언어에 의한 자동 프로그래밍은 프로그램의 자료구조 이외에 많은 부분을 시스템이 관장함으로써 프로그램 명세의 표현이 추상적이지만 프로그램 의미소가 술 어논리, 집합, 사상, 혹은 제안된 자연언어를 사용하기 때문에 초고급 구조에 익숙하 지 않은 프로그래머들이 이를 이용하여 프로그램을 작성하는 경우 상당한 어려움이 따 르고, 이들 초고급언어 구조에 익숙하기까지 많은 시간이 요하게 된다. 왜냐하면 초 고급언어는 프로그램 명세의 표현이 추상적이지만 프로그램 의미소가 술어 논리, 집합, 사상, 혹은 제한된 자연언어를 사용하기 때문이다. 본 논문에서는 기존의 자동 프로 그램의 어려움을 줄이기 위해서 한글로 구성된 선언적구문, 절차적 구문, aggregate 구문으로 광역언어를 설계하고 구현한다. 본 논문에서는 제안하는 한글 자동 프로그래 밍 시스템(Hangul Automatic Programming)은 입력으로 순수한 한글로 구성되어 있으며 추상 알고리즘(Abstract Algorithm)과 자료형(Data Type)혹은 절차적 구문을 받아서 출력으로는 C 언어 프로그램을 만들어 낸다. 자동 프로그래밍 접근 방식은 프로그램 변형기법과 규칙기반에 바탕을 두고 문제영역은 일반적인 프로그램으로 한정 하였다. 시스템 제어구조는 한글 프로그램을 입력으로 받아서 지식베이스로부터 적절한 규칙 을 선택해서 이것을 변형한 다음 전체 데이타 베이스에 넣는데 이과정을 프로그램이 완성 될 때 까지 반복한다.

• 대한음성학회지:말소리
• /
• 제27_28호
• /
• pp.27-56
• /
• 1994

Processes involving the change of vowel height are natural enough to be found in many languages. It is essential to have a better feature specification for vowel height to grasp these processes properly, Standard Phonology adopts the binary feature system, and vowel height is represented by the two features, i.e., [\pm high] and [\pm low]. This has its own merits. But it is defective because it is misleading when we count the number of features used in a rule to compare the naturalness of rules. This feature system also cannot represent more than three degrees of height, We wi31 discard the binary features for vowel height. We consider to adopt the multivalued feature [n high] for the property of height. However, this feature cannot avoid the arbitrariness resulting from the number values denoting vowel height. It is not easy to expect whether the number in question is the largest or not It also is impossible to decide whether a larger number denotes a higher vowel or a lower vowel. Furthermore this feature specification requires an ad hoc condition such as n > 3 or n \geq 2, whenever we want to refer to a natural class including more than one degree of height The altelnative might be Particle Phonology, or Dependency Phonology. These might be apt for multivalued vowel height systems, as their supporters argue. However, the feature specification of Particle Phonology will be discarded because it does not observe strictly the assumption that the number of the particle a is decisive in representing the height. One a in a representation can denote variant degrees of height such as [e], [I], [a], [a ] and [e ]. This also means that we cannot represent natural classes in terms of the number of the particle a, Dependency Phonology also has problems in specifying a degree of vowel height by the dependency relations between the elements. There is no unique element to represent vowel height since every property has to be defined in terms of the dependency relations between two or more elements, As a result it is difficult to formulate a rule for vowel height change, especially when the phenomenon involves a chain of vowel shifts. Therefore, we suggest a new feature specification for vowel height (see Chapter 3). This specification resorts to a single feature H and a few >'s which refer exclusively to the degree of the tongue height when a vowel is pronounced. It can cope with more than three degrees of height because it is fundamentally a multivalued scalar feature. This feature also obviates the ad hoc condition for a natural class while the [n high] type of multivalued feature suffers from it. Also this feature specification conforms to our expection that the notation should become simpler as the generality of the class increases, in that the fewer angled brackets are used, the more vowels are included, Incidentally, it has also to be noted that, by adopting a single feature for vowel height, it is possible to formulate a simpler version of rules involving the changes of vowel height especially when they involve vowel shifts found in many languages.

• 한국인터넷방송통신학회논문지
• /
• 제9권5호
• /
• pp.169-174
• /
• 2009

본 논문에서는 정확한 분석 모델을 제시할 수 있는 객체 모델링과 정형화 방법을 통해 개발자와 사용자간 효과적인 의사소통을 제공하고 객체모델의 정형화와 표준화에 필요한 형식명세로의 변환 규칙을 제안한다. 사용자의 요구에 따라 최적의 객체모델 선택을 위한 객체 모델 검색 프로토타입을 제시한다. 이를 통해서 적합한 모델을 선택할 수 있으므로 소프트웨어 개발시 비용과 노력을 최소화할 수 있다.

• 한국컴퓨터산업학회논문지
• /
• 제3권2호
• /
• pp.167-178
• /
• 2002

최근에 이 기종 시스템간의 구조적인 문서 교환을 위해 XML(eXtensible Markup Language)이 B2B와 각종 산업계에 급속히 확산되고 있는 시점에서 이를 모델링 하기 위한 객체 지향적인 시각화 도구가 필요하다. XML에서 현재 사용하는 문서구조 정의용 규칙인 DTD(Document Type Declaration)는 여러 산업 분야에 적용시키기가 어렵다. 이에 W3C에서 XML에 더욱 적합하고 사용자를 만족시키기에 충분한 새로운 문서 구조 정의용 규칙인 XML 스키마(Schema)의 권고안(Recommendation)을 발표하였다. 이에 XML 스키마를 객체지향 모델링 기법(UML)을 활용해 설계하면 재사용성이 높고 유연성이 좋은 문서 구조를 정의할 수가 있다. 본 논문은 XML 스키마를 UML(Unified Modeling Language)로 사상(mapping)하는 명세와 알고리즘을 제안한다.