• Proceedings of the Society of Korea Industrial and System Engineering Conference
• /
• 2002.05a
• /
• 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.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.7 no.3
• /
• pp.363-369
• /
• 2003

The Web-based project is seriously not efficient area at software engineering. In order to develop a Web-based system, UI(User Interface) designers usually first design display layout and then business logic developers bring to complete the coding of the display layout source. In the case of maintenance, it goes through the same process. This kinds of Web-based software development method were proposed by the various methods same as the tag library of JSP. But there are many problems to apply them and they are low productive comparing to the C/S based software development method. WFS(Web Form System), which is suggested on this thesis, separates UI design from business logic on a Web project and offers the better environment to develop Web-based software. Eventually WFS will improve the productivity to develop Web-based software.

• Journal of KIISE:Software and Applications
• /
• v.31 no.3
• /
• pp.255-266
• /
• 2004

In the Web-based information systems, separating the business process logic from the data and presentation logic brings about a wide range of advantages. However, this separation is not easily achieved; even the data logic may be not separated from the presentation layer. So, it requires to define an model for business processes, and then to map the model into the user's dynamic interface using the logic separating strategy. This paper presents a stylesheet method to recognize the process by extending XSLT (Extensible Stylesheet Language Transformations), in order to achieve the logic separation. To do this, it provides an specification of the business process, and a scheme that extracts business model factors and their interactions using a Petri-net notation to show the business model into the process point of view. This is an attempt to separate users' interaction from the business process, that is, dynamic components of interaction Web document from the process structure of Web applications. Our architecture consist mainly of an XSLT controller that is extended by a process control component. The XSLT controller is responsible for receiving the user requests and searching the relevant templet rule related to different user requests one by one. Separation of concerns facilities the development of service-oriented Web sites by making if modular. As a result, the development of service-oriented Web sites would be very easy, and can be changed without affecting the other modules, by virtue of the modularization concept. So, it is easy to develop and maintain the Web applications in independent manner.

• Proceedings of the CALSEC Conference
• /
• 1997.11a
• /
• pp.43-51
• /
• 1997

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

• The KIPS Transactions:PartD
• /
• v.11D no.7 s.96
• /
• pp.1477-1482
• /
• 2004

Software development process consists of five phases : requirement, analysis, design, implementation and testing. There is almost always a gap between the system design and implementation stages, caused by a combination of the difficulty of programming and frequent changes on the system design. The goal of this paper is to reduce the gap between system design and implementation, and we design a tool producing a application program by recognizing business logic for a more rapid and flexible developing of software. The core idea of Application Program Generator is : firstly, to recognize that business application in the same domain share business logic and presentation logic : secondly, to treat system design as persistent meta-data ; thirdly, to use the persistent meta-data to build or customize applications as required.

• Journal of Internet Computing and Services
• /
• v.7 no.6
• /
• pp.11-20
• /
• 2006

One of the most important factor while developing web application is to separate presentation and business logic lowering the maintenance cost. There are various web application development tools mainly categorized as script based such as Servlet, JSP, ASP.NET techniques and dynamic server page development frameworks such as Struts, JSF (Java Server Faces), Spring MVC etc. These tools provide web tier processing solution but not the complete separation of presentation and business logic. In this paper, we developed custom tog component that separate presentation and business logic, to process them we also developed container. In addition, DOM tree is applied to the developed container to manage the presentation effectively.

• Journal of Internet Computing and Services
• /
• v.5 no.2
• /
• pp.85-95
• /
• 2004

The web-based project is seriously not efficient area at software engineering. In order to develop a web-based system, UI(User Interface) designers usually first design display layout and then business logic developers bring to complete the coding of the display layout source. In the case of maintenance, it goes through the same process, This kinds of web-based software development method were proposed by the various methods same as the tag library of JSP, But there are many problems to apply them and they are low productive comparing to the CIS based software development method, WFS(Neb Form System), which is suggested on this thesis, separates UI design from business logic on a web project and offers the better environment to develop web based software, Eventually WFS will improve the productivity to develop web based software.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.27 no.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.

• The KIPS Transactions:PartD
• /
• v.14D no.1 s.111
• /
• pp.97-106
• /
• 2007

In this paper, the business process was easily modeled by distinguishing between the business process and work logic. Based on this model, B2Bi collaboration Workflow modeling tool, which facilitates collaboration, was designed and implemented. The collaboration workflow modeling tool consists of 3 components; business process modeling tool, execution engine and monitoring tool. First, a business process modeling tool is used to build a process map that reflects the business logic of an application in a quick and accurate manner. Second an execution engine provides a real-time execution environment for business process instance. Third, a monitoring tool provides a real-time monitoring function for the business process that is in operation at the time. In addition to this, it supports flexibility and expandability based on XML and J2EE for the linkage with the legacy system that was used previously, and suggests a solution for a new corporate strategy and operation.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• 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.