• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.22 no.4
• /
• pp.323-330
• /
• 2009

This paper proposes a methodology for automatic hierarchy classification of subtitles in a engineering document by the a fact that heading symbols of subtitles represent a hierarchical structure of the document. The proposed methodology is composed of two methods: extracting subtitles from plan text document and determining hierarchical structure of the subtitles. The subtitles in a document is extracted by comparing heading symbol patterns with predefined heading symbol groups, and the depth levels of the subtitles are determined by analyzing relative location of subtitles according to change of the heading symbol patterns. A prototype module, which can transform a plain text document into a structured XML document in accordance with a hierarchical structure of subtitles, is developed based on the proposed methodology, and the performance of the module is analyzed with 20 engineering documents.

• Journal of KIISE:Software and Applications
• /
• v.26 no.8
• /
• pp.988-999
• /
• 1999

본 논문은 SCR 방법으로 작성된 요구사항 명세의 정형적인 의미론을 제안한다. 먼저 우리는 SCR 명세를 시간적전이시스템으로 변환함으로써 SCR 명세의 의미론을 정의한다. 그리고 우리는 SCR 방법을 실시간 시스템의 명세를 위하여 확장하며, 확장된 SCR 명세의 의미론 또한 시간적전이시스템으로의 변환을 통하여 정의한다. 이러한 의미론은 SCR 명세의 병행성과 시간 개념을 제대로 나타낼 수 있으며, 시간적전이시스템에서의 검증 방법을 SCR 명세의 검증에 직접 적용할 수 있게 하는 장점이 있다.Abstract This paper presents a formal semantics for requirements specifications written in the SCR method. We define a semantics for SCR specifications by a translational approach into timed transition systems. Then we extend the SCR method for real-time systems and define a semantics for timed SCR specifications. The main benefit from providing such semantics is that it provides a natural modeling of concurrency and time in SCR specifications. The semantics enables us to directly apply verification methods for timed transition systems to SCR specifications.

• Information Systems Review
• /
• v.8 no.1
• /
• pp.25-41
• /
• 2006

This paper is about how to drive a Business Process Management(BPM) implementation project from selecting a target process to BPM deployment. For guidance of BPM implementation, LG CNS BPM Methodology and enPAM(Entrue Process Assessment Model) were used. This paper focuses on the methodology of process selection and presents a case study from the telecommunication industry. The enPAM consists of three major criteria in determining process priority for BPM system deployment: business impact, BPM adequateness and implementation feasibility. These three criteria can be easily modified for other telecommunication business just as we did to suit this telecom case. Moreover, it could provide useful ideas to companies that consider introducing a BPM solution for process management. Although we propose a comprehensive design methodology for selecting a proper target business process for BPM implementation, more work is still needed to extend the results for rigorous and practical method.

• Korean Journal of Cognitive Science
• /
• v.11 no.3_4
• /
• pp.23-32
• /
• 2000

The distinction between main structure and side structure in discourse which was central to narrative studies has lacked an adequate. formal definition. This study supports the contention that there exists a hierarchical structure between discourse units constituting main structures, substructures, and side structures. The aim of this study is twofold: (j) to present an adequate. formal definition that provides a general identification criterion for distinguishing main structure from substructure and side structure proposed by Kuppevelt, and (jj) to propose conceptual relations representing hierarchical structures in discourse based on Sowa's Conceptual Structure Theory. The proposed conceptual relations which represent hierarchy and pragmatic relations of discourse segments are: DIGR (digression). T-SHFT (topic shift), and FRAM (frame). This s study shows pragmatic functions can be incorporated within CST in a systematic way.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05b
• /
• pp.487-492
• /
• 1996

이 논문은 원자력발전소의 중대사고를 중지 또는 완화시키기 위하여 제시된 사고관리 방안의 실현가능성을 평가하기 위한 새로운 방법론을 소개하고 있다. 이 방법론은 사고관리 방안의 수행실패 요인으로 운전원 진단 및 의사결정 오류, 운전원 수행오류, 관련기기 실패로 인한 오류, 수행지연으로 인한 오류 등으로 나누고, 각각에 대하여 평가 방법을 제시하였다 .운전원 진단 및 의사결정 오류 평가시 고려하여야 할 주요 인자들을 제시하였으며, 수행지연으로 인한 오류 평가시에는 시스템 가용시간과 방안 수행 소요시간을 정의하고 각각에 대한 분포 획득 방법과 이를 이용한 평가 방법을 제시하였다. 제시된 방법론을 영광 3.4호기 공동범람 방안의 평가에 적용하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.139-141
• /
• 2003

GNSS 시스템을 구축하는데 있어서 기존의 절차지향이나 객채지향 방법에서 벗어나 컴포넌트 개발(CBD) 방법론을 이용하는 것이 재사용성, 유지 보수성, 비용 절감 및 효율성 측면에서 적합하다는 타당성이 제기되고 있다. 따라서 본 논문에서는 기존의 여러 CBD 방법론 중 GNSS 문제 도메인에 가장 적합한 UML Components 방법론을 테일러링하여 GNSS 컴포넌트 추출을 위한 프로세스를 정의한 후에, 그 프로세스에 마라 GNSS 컴포넌트를 추출한다.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.05a
• /
• pp.164-170
• /
• 2000

본 논문은 과거 많은 학자들에 의해 제기된 주구조와 부구조, 하위구조 등의 담화 내 계층적 구조에 대한 증거로 일탈을 중심으로 부구조를 분석하였다. 먼저 주제 일탈의 구조와 정의에 관해 분석하고 중단과 화제 전환 등과의 차이를 설명하였다. 지식 표현 언어인 Sowa의 개념구조론의 체계 내에서 담화의 계층적 구조와 그 구조를 나타내는 언어적 표시인 담화 표지의 예를 기술하는 방법을 제시한다. 개념 관계로 일탈, 화제 전환, 틀의 관계를 설정하여 담화 내 계층구조와 담화 부분과의 화용적인 관계를 규명하였다. 기존의 개념구조론은 선택적 제약, 조응 등의 의미론적인 개념들을 간결하고 정확하게 기술할 수 있었는데 화용론적인 측면의 기술도 가능함을 보여준다.

• Annual Conference of KIPS
• /
• 2005.05a
• /
• pp.293-296
• /
• 2005

소프트웨어 개발 방법론의 새로운 페러다임으로 제시되고있는 서비스 지향적 컴퓨팅방법론은 소프트웨어의 개발에 서비스라는 요소를 이용하고 있다는 점에서 다른 방법론과는 많은 차이점을 가지고 있다. 기존의 여러 방법론은 그 동안 여러 논문에서 효율적인 개발 프로세스 모델을 제시하고 있지만, 서비스 지향적 컴퓨팅방법론은 아직 개발 프로세스 모델에 대한 연구는 진행중이지 못한 실정이다. 기존은 방법론과 서비스 지향적 컴퓨팅방법론의 여러 차이점 때문에 기존 방법론에 대한 개발 프로세스 모델을 적용하기에는 여러 문제점이 따르며 새로운 개발 프로세스 모델에 대한 연구가 필요하다. 개발 프로세스 모델에 대한 연구를 하기 위해서는 서비스 지향적 컴퓨팅 방법론에서 요구사항분석 및 정의, 설계, 개발, 실행, 유지보수와 같은 각각의 프로세스에 대한 연구가 선행되어져야 할 것이다. 이에 본 논문에서는 서비스 지향적 컴퓨팅방법론의 특징을 살펴봄으로써 개발 프로세스 모델에서 사용되어질 프로세스들을 제시해보고자 한다.

• Korean Journal of Social Welfare
• /
• v.67 no.4
• /
• pp.325-348
• /
• 2015

The main purpose of the study is to explore the implications of Recognition Paradigm for domains of social work, especially focusing on the arguments exchanged between Axel Honneth and Nancy Fraser, two eminent scholars in this field. The Recognition paradigm, which is an alternative perspective in practical philosophy developed to cope with the changing socio-political situations in the late modern society, is providing the domain of social work with a lot of important theoretical and practical implications as well. In particular, Honneth's recognition theory which considers the recognition as a basic prototype in human development and construction of society is able to clarify the fundamental mission and territory the social work profession is to pursue. But for the meanwhile, Fraser's dual perspective of justice, which is an extended version of redistributive justice introducing the recognition component in it, can suggest diverse practical strategies to confront complex injustice-making structures effectively in the later modern society. In spite of these abundant implications in both theoretical and practical areas, the recognition paradigm still save several fundamental considerations for social work, such as the real meaning of the recognition in social work, the exact population from whom social work seek to get recognition, and the adequate strategy, so-called "recognition struggle" which social work is to employ to acquire the recognition.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.1
• /
• pp.29-34
• /
• 2016

One of the most important aspects of the research on multi-agent systems is the definition of agent communication languages(ACLs) and the specification of a proper formal semantics of ACLs. In this paper, we propose an illocutionary effect-based FIPA-ACL semantics which overcomes the two traditional semantic approaches. The key idea of this new semantics is based on the semantic concepts of success and satisfaction conditions of illocutionary acts in speech act theory, and the common ground theory-based framework. As case studies using this new semantics, we define the primitive speech acts of FIPA-ACL such as inform and request. For the strengths of the proposed approach we illustrate our new semantics on an e-commerce agent purchase negotiation. Also, we compare this approach with two traditional semantic approaches for ACLs.