• 한국산업경영시스템학회:학술대회논문집
• /
• 한국산업경영시스템학회 2002년도 춘계학술대회
• /
• pp.57-62
• /
• 2002

Recently, due to the development of internet based information technology, organizations Is utilizing electronic documents as important media for processing business work and sharing Information exchange. These electronic documents are mos4 form like documents and are important user interfaces for business applications. But, presently web-based electronic documents are lack of the characteristics that are taken in documents, such as document writing rules and its workflow. This Paper deals with XML-based business document that include the structure, data, and logic and proposes the framework for validating the data and logic included within business documents using Prolog.

• 한국정보통신학회논문지
• /
• 제7권3호
• /
• pp.363-369
• /
• 2003

소프트웨어 공학 측면에서 웹 기반 프로젝트는 상당히 비효율적인 분야이다. 웹 기반 시스템을 개발하기 위해서는 사용자 인터페이스 디자이너가 먼저 화면 레이아웃을 설계한 후 그 화면의 레이아웃 소스를 가지고 다시 비즈니스 로직 개발자가 코딩을 하여 프로젝트를 완성한다. 유지 보수를 하는 경우에도 이와 비슷한 형태로 작업이 진행된다. 이러한 웹 기반의 소프트웨어 개발 방법은 JSP의 태그 라이브러리와 같은 다양한 형태로 제안되었으나 실제로 적용하는데 여러 가지 문제점이 있으며 기존의 C/S 기반의 소프트웨어 개발에 비해 생산성 측면에서도 매우 좋지 않다. 본 논문에서 제안한 웹 폼 시스템은 기존에 제안된 방법들이 해결하지 못한 사용자 인터페이스 디자인과 비즈니스 로직을 분리하여 웹 기반 소프트웨어의 개발 생산성을 향상시킬 수 있는 방안을 제시하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권3호
• /
• pp.255-266
• /
• 2004

웹 기반 정보 시스템의 데이타 구조 및 프리젠테이션 로직으로부터 비즈니스 프로세스 정보를 분리하는 것은 여러 가지 이점을 가져온다. 그러나 웹 애플리케이션에서 비즈니스 프로세스 로직과 프리젠테이션 로직을 분리하는 것은 쉽지 않다. 심지어는 프리젠테이션 로직으로부터 데이타가 분리되지 않는 경우도 있다. 그러므로 비즈니스 프로세스에 대한 추상적인 모델을 정의하고, 프로세스 로직, 데이타 구조 및 프리젠테이션 로직을 분리하는 전략을 이용하여 그것을 동적인 사용자 인터페이스에 매핑 시키는 작업이 요구된다. 본 논문에서는 데이타 구조 및 프리젠테이션 로직으로부터 비즈니스 프로세스 정보를 분리하고자 XSLT(Extensible Stylesheet Language Transformations)를 확장하여 프로세스를 인식하는 스타일 쉬트를 제안한다. 이를 위하여 비즈니스 프로세스의 추상적인 명세를 제공하고, 비즈니스 모델을 프로세스 관점에서 살펴보고자 페트리네트 표기법을 이용하여 비즈니스 모델 요소 및 상호작용 활동을 추출한다. 이것은 웹 애플리케이션의 프로세스 구조로부터 상호작용 웹 문서의 동적인 부분, 즉 비즈니스 프로세스에서 사용자와 상호 작용하는 부분을 분리하기 위한 시도이다. 본 연구에서 제안하는 아키텍처의 핵심은 XSLT 컨트롤러로서 이것은 워크플로 엔진과 웹 브라우저간의 인터페이스 역할을 한다. XSLT 컨트롤러는 XSLT 템플릿을 활성화시키는 인터프리터로서 프로세스 상태를 프리젠테이션 레이어에 매핑 시킨다. 이렇게 각 부분을 모듈화 하는 것은 사용자 인터페이스를 변경하여도 프로세스나 데이타의 논리적인 표현에 영향을 미치지 않도록 하며, 레이아웃 변형 명세서와 독립적으로 프로세스 로직을 변경할 수 있도록 한다. 즉, 웹 애플리케이션을 독립적인 방법으로 개발할 수 있어 개발을 보다 용이하게 하고 유지보수가 용이해진다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 1997년도 한국전자거래학회 종합학술대회지
• /
• pp.43-51
• /
• 1997

본 논문에서는 현재 구현되어 있는 전자 상거래 서버가 특정 지불 방식만을 Transaction Logic안에 포함하고 있으므로 계속적으로 발전하고 있는 지불 방식의 추가를 위해서 서버 프로그램의 Transaction Logic을 고쳐야 하는 문제점을 제시하고 전자상거래 Transaction Logic으로부터 지불 방식을 분리하여 새로운 지불 방식 추가 시 효과적으로 새로운 지불 방식을 추가 적용할 수 있도록 서버 구현 시각 지불 방식 사용에 있어 동일한 Interface를 이용하여 구현을 쉽게 하는 Adapter 설계 방법을 제시하는 것을 그 목적으로 한다.

• 정보처리학회논문지D
• /
• 제11D권7호
• /
• pp.1477-1482
• /
• 2004

소프트웨어 개발은 보통 요구사항, 분석, 설계, 구현, 그리고 테스팅의 5단계의 과정으로 이루어진다. 개발과정 중 시스템 설계의 빈번한 변화와 그에 따른 프로그래밍의 어려움으로 인한 시스템 설계와 구현 사이에 항상 불일치가 발생하게 된다. 본 논문에서는 시스템 설계와 구현 사이의 불일치를 줄이고, 소프트웨어 개발이 신속하고 유연하게 되도록 비즈니스 로직을 인식하여 응용프로그램을 생성시켜주는 도구를 설계하였다. 응용 프로그램 생성기의 핵심 아이디어는 같은 영역에 있는 비즈니스 애플리케이션을 첫째, 공통의 비즈니스 로직과 화면표시 로직으로 나누어 인식한다. 둘째, 시스템 디자인을 지속적인 메타데이터로 다룬다. 셋째, 지속적인 메타데이터를 사용해서 요구사항에 맞는 비즈니스 에플리케이션을 구축하거나 커스터마이즈한다.

• 인터넷정보학회논문지
• /
• 제7권6호
• /
• pp.11-20
• /
• 2006

웹 애플리케이션을 개발하는데 있어서 가장 중요한 고려사항 중의 하나는 프레젠테이션과 비즈니스 로직을 효과적으로 분리하여 개발 생산성을 높이고 유지보수 비용을 낮추는데 있다. 기존의 애플리케이션 개발 기법으로 서블릿, JSP, ASP.NET 등의 스크립트 기반 기술에서부터 Struts, JSF(Java Server Faces), Spring MVC 같은 동적인 서버 페이지 개발 프레임워크가 있다. 이들 방법은 각기 다른 웹 티어(Web Tier) 처리 방법을 제공하나 프레젠테이션과 비즈니스 로직을 완벽하게 분리하지는 못하고 있다. 본 논문에서는 프레젠테이션과 비즈니스 로직을 완벽하게 분리하기 위해 프레젠테이션과 비즈니스 로직을 분리 처리하는 커스텀 태그 처리 컴포넌트를 개발하고 새로운 동적 서버 페이지를 처리하기 위한 컨테이너(container)를 개발하였다. 그리고 DOM 트리를 개발한 컨테이너에 적용하여 프레젠테이션을 효율적으로 조작할 수 있도록 하였다. 끝으로, 개발 환경 구현을 통해 자동적으로 페이지 처리 컴포넌트 생성을 지원하는 시스템을 개발하였다.

• 인터넷정보학회논문지
• /
• 제5권2호
• /
• pp.85-95
• /
• 2004

소프트웨어 공학 측면에서 웹 기반 프로젝트는 상당히 비효율적인 분야이다. 웹 기반 시스템을 개발하기 위해서는 사용자 인터페이스 디자이너가 먼저 화면 레이아웃을 설계한 후 그 화면의 레이아웃 소스를 가지고 다시 비즈니스 로직 개발자가 코딩을 하여 프로젝트를 완성한다. 유지 보수를 하는 경우에도 이와 비슷한 형태로 작업이 진행된다. 이러한 웹 기반의 소프트웨어 개발 방법은 JSP의 태그 라이브러리와 같은 다양한 형태로 제안되었으나 실제로 적용하는데 여러 가지 문제점이 있으며 기존의 C/S 기반의 소프트웨어 개발에 비해 생산성 측면에서도 매우 좋지 않다. 본 논문에서 제안한 웹 폼 시스템은 기존에 제안된 방법들이 해결하지 못한 사용자 인터페이스 디자인과 비즈니스 로직을 분리하여 웹 기반 소프트웨어의 개발 생산성을 향상시킬 수 있는 방안을 제시하였다.

• 한국경영과학회지
• /
• 제27권4호
• /
• pp.87-109
• /
• 2002

A satisfiability problem in propositional logic is the problem of checking for the existence of a set of truth values of atomic prepositions that renders an input propositional formula true. This paper describes an empirical investigation of a particular integer programming approach, using the set covering model, to solve satisfiability problems. Our satisfiability engine, SETSAT, is a fully integrated, linear programming based, branch and bound method using various symbolic routines for the reduction of the logic formulas. SETSAT has been implemented in the integer programming shell MINTO which, in turn, uses the CPLEX linear programming system. The logic processing routines were written in C and integrated into the MINTO functions. The experiments were conducted on a benchmark set of satisfiability problems that were compiled at the University of Ulm in Germany. The computational results indicate that our approach is competitive with the state of the art.

• 정보처리학회논문지D
• /
• 제14D권1호
• /
• pp.97-106
• /
• 2007

본 논문은 비즈니스 프로세스와 업무 로직을 분리하여 비즈니스 프로세스를 손쉽게 모델링하고 이를 바탕으로 협업을 가능하게 하는 B2Bi 협업 워크플로우 모델링 시스템을 설계 및 구현하였다. 협업 워크플로우 모델링 시스템은 비즈니스 프로세스 모델링 도구, 실행 엔진, 모니터링 도구 3개의 컴포넌트로 구성되어있다. 첫째, 비즈니스 프로세스 모델링 도구는 애플리케이션의 비즈니스 로직을 신속, 정확하게 반영하는 프로세스 맵을 구축하는데 사용된다. 둘째, 실행 엔진은 비즈니스 프로세스 인스턴스를 위한 실시간 실행 환경을 제공한다. 셋째, 모니터링 도구는 현재 진행되고 있는 비즈니스 프로세스에 대한 실시간 모니터링 기능을 제공한다. 또한 기존 시스템인 레거시 시스템과의 연동을 위해 XML 및 J2EE 기반으로 유연성, 확장성을 지원할 수 있도록 하였으며 새로운 기업 전략과 운용에 필요한 해결책을 제시한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.266-271
• /
• 2007

In these days, private investment for railway business has been expended and the importance of asset management arose. Especially new concept and effective management for the maintenance of railway have been developed. RCM(Reliability Centered Maintenance) is suggested to optimize the maintenance task and the proper maintenance decision logic for each system has been needed. But there are a lot of difficulties to apply the maintenance decision logic which has been developed in Aviation fields to railway. In this paper, the study on the development of the maintenance decision logic will be introduced through the risk analysis which has been applied to analyze the safety of railway.