• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.202-211
• /
• 2003

Abstract Formal definitions of syntax and semantics for the static and dynamic models in Object Oriented methods are already defined. But the behavior of interacting objects is not formalized. In this paper, we defined the common behavior of interacting objects in terms of process algebra using sequence diagram in UML and regularized properties of interacting objects. Based on the results, we can develop a formal specification by. using of the object interaction instead of the existence dependency suggested by M. Snoeck and G. Dedene[9].

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2001.06a
• /
• pp.231-235
• /
• 2001

Language is not abstract. We use language to communicate out thoughts and emotions. Films are the most public form of arts, where language is all essential part; however, there have been, if any, few films the main theme of which is language. Although language may not be the main theme of films, we can find many kinds of information relating to language and linguistics by careful examination. In reference to some films, we can talk about subjects in the fields of theoretical linguistics such as phonetics, phonology, morphology, syntax, semantics, and pragmatics. In addition, subjects in applied linguistics such as sociolinguistics and computational linguistics may be discussed with reference to other films.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.334-336
• /
• 2001

표절을 쉽게 알아내기 위해, 프로그램 유사성 검사기(CloneChecker)를 만들었다. CloneChecker는 프로그램을 요약해서, 유사성을 계산하고, 비슷한 그룹들로 묶어 낸다. CloneChecker는 두 프로그램의 모든 부 구문트리(abstract syntax sub-tree)들을 서로 비교하므로 구문의 사소한 변화에 민감하지 않으며, 그럼에도 해쉬 함수를 이용하여 빠르게 수행된다. CloneChecker는 실제 강의에서 사용되었으며, C, Java, Scheme, nML로 짜여진 프로그램들에 대해 동작한다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.6
• /
• pp.1557-1564
• /
• 1997

We propose an extension to Prolog called the count term for controlling Prolog execution. The purpose is to allow the programmers as well as the users to have greater flexibility in controlling the execution behavior of Prolog programs and for limiting the number of answers or proofs retrieved when Prolog is used as a database query language. Both syntax and operational semantics of the count term are defined. An implementation strategy based on WAM (Warren Abstract Machine) by modifying instructions related to backtracking behavior has been suggested.

• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.1-10
• /
• 2006

This paper introduces the development XPERT(XML Query Processing Engine using Relational Technologies) which is based on relational model. In our system we have used a decomposed approach to store XML files in relational tables. XML queries are translated to SQLs according to the table schema, and then they are sent to the relational DBMS to get the results back. Our translation scheme produces AST(Abstract Syntax Tree) by analyzing XQuery expressions at first. And on traversing AST proper SQLs are generated. Translated SQLs can reduce the number of joins by using path information and utilize dewey number to preserve document originated orderings among compoments in XML. In addition we propose the efficient algorithms of XPath and XQuery translation. And finally we show the implementation of our prototype system for the functional evaluations.

• The Journal of the Korea Contents Association
• /
• v.10 no.2
• /
• pp.89-98
• /
• 2010

The enterprise system is becoming more complex and larger. With the changes of the times, the system is developing to object-oriented programming method(OOP). However, the same code inserts to the core class repetitiously in the OOP, that causes a decrease in productivity and a trouble of application of another requirement. To solve this weak point, we propose a weaving mechanism what applies to metadata and crosscutting concern. For a class optimization and an integration between different languages, we take the following way. This paper uses three ways, those are, metadata generation using reflection, transformation to Abstract Syntax Tree, and mapping through crosscutting information specified XML. Through the proposed theory, class optimization can be accomplished by solving a functional decentralization and a confusion of codes.

• Korean Institute of Interior Design Journal
• /
• v.16 no.4
• /
• pp.89-98
• /
• 2007

This paper studied the spatial factors activating the personal interaction based on case studies of $M\'{e}diath\'{e}ques$ in France. The spatial factors are analyzed into material factors and dematerial factors. The material factors have physical features in space and directly or indirectly activate the personal interaction. They consist of 8 elements including pocket space, balcony, atrium, stairs, elevators, windows, conference rooms and furnitures. The dematerial factors consist of 6 elements including polycentrism, continuance, mixture, interpenetration, dematerialization, transparency. They are compounded of material factors and explain them conceptually. But dematerial factors are abstract concepts. To provide reliability I confirm the relationship with dematerial factors by using a connections, topology, a phased depth of the Depthmap as the framework of the visual recognition of the space syntax covering the characteristic of dematerial factors. The result of the quantitative analysis human-behavior in $V\'{e}nissieux$ $M\'{e}diath\'{e}que$ and the result of applying the spatial factors of $M\'{e}diath\'{e}ques$ as the community center to the $V\'{e}nissieux$ $M\'{e}diath\'{e}que$ proved that the spatial factors are significant factors of the $M\'{e}diath\'{e}ques$ as the community center.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.669-672
• /
• 2006

본 연구팀은 유비쿼터스 게임 플랫폼을 위한 Embedded C++ 컴파일러를 개발하였으며, 컴파일러 개발 과정에서 객체지향언어인 C++과 Java 언어를 모두 수용할 수 있는 심벌 테이블을 설계하였다. 심벌 테이블은 컴파일러의 어휘 분석과 구문 분석 과정을 거친 후 SDT(syntax-directed translation)에 의해 생성된 AST(Abstract Syntax Tree)를 분석하여 인식된 명칭(identifier)과 그 속성(attribute)들을 수집하여 저장하는 자료구조로써, 심벌 테이블에 저장된 속성들은 의미 분석(semantic analysis) 단계에서 수집된 속성과 참조된 명칭의 사용이 타당한지를 검사하고, 코드 생성(code generation) 단계에서 올바른 코드가 생성되도록 하는 중요한 요소이다. 따라서 심벌 테이블의 설계가 올바른지와 입력된 속성이 정확한지에 대한 검증과 분석은 필수 불가결하다. 본 논문에서는 컴파일러 개발과정에서 설계한 심벌 테이블을 검증하고 분석하기 위한 목적으로써 심벌 테이블을 이용하여 선언문을 복원시키는 역번역기(detranslator)에 대하여 기술한다. 구현된 역번역기는 C++ 컴파일러와 Java 컴파일러의 선언문 처리 과정에서 심벌 테이블에 입력된 속성들을 본래의 입력 프로그램으로 역번역한다. 따라서 역번역기를 통하여 심벌 테이블의 완전성과 심벌 테이블에 입력된 속성 정보의 정확성을 쉽게 검증할 수 있으며, 역번역과 함께 출력되는 디버그 정보를 이용하여 효율적으로 컴파일러의 개발과 수정을 할 수 있다.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.38 no.3
• /
• pp.19-27
• /
• 2001

Accordingly it is very important to not only develop the stack of protocol, but also try an international standardization regarding the standard protocol of VoIP. Has compared to the advanced countries having already some success in commercialization, Korea is relatively much less involved in relation to this technology and endeavors. In this regards, this paper is focused on developing a protocol stack made with encoder/decoder, the generator or the header file, syntax analyzer etc. based on the protocol grammars of Session Description Protocol supported by IETF RFC2327. For the sake of it, first describe the SDP BNF grammar based on IETF RFC2327 Augmented BNF. And then we produce the Abstract Syntax Tree, header file generator for encoding/decoding as applying the method of syntax directed to SDP protocol grammar.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.52-55
• /
• 2004

VMS (virtual manufacturing system) may be defined as a transparent interface/control mechanism to support human decision-making via simulation and monitoring of real operating situation through modeling of all activities in RMS (real manufacturing system). The three main layers in VMS are business process layer, manufacturing execution layer, and facility operation layer, and each layer is represented by a specific software system having its own input modeler module. The current version of these input modelers has been implemented based on its own 'local' framework, and as a result, there are no information sharing mechanism, nor a common user view among them. Proposed in this paper is a unified modeler framework covering the three VMS layers, in which the concept of PPR (product-process-resource) model is employed as a common semantics framework and a 2D graphic network model is used as a syntax framework. For this purpose, abstract class PPRObject and GraphicObject are defined and then a subclass is inherited from the abstract class for each application layer. This feature would make it easier to develop and maintain the individual software systems. For information sharing, XML is used as a common data format.