• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.584-586
• /
• 1999

소프트웨어 개발 시 기존 전문가들의 개발 경험을 재사용하는 작업은 개발 기간의 단축 및 비용의 절감의 효과를 가져올 수 있다. 이러한 재사용에 관련된 연구는 소프트웨어공학 분야에서 계속되어 그 하나로 객체지향 프레임워크를 들 수 있다. 객체지향 프레임워크는 검증된 소프트웨어 재사용 부품으로 특정 도메인에 대한 비즈니스 로직을 재사용할 수 있도록 구현된다. 프레임워크 내부에는 재사용되는 로직이 포함되어 있으며 프레임워크 사용자에 의해 커스터마이징 될 모듈을 정의하고 있다. 프레임워크 사용자는 프레임워크를 기반으로 어플리케이션을 개발함으로써 처음부터 개발을 시작하지 않으며 기 개발자들의 경험을 재사용하게 된다. 본 논문에서는 근래 크게 대두되고 있는 가상상점 도메인에 대한 프레임워크를 제시한다. 본 논문에서 제시하는 가사상점 프레임워크는 제인 프레임워크와 주문, 지불, 배달의 3개 서브프레임워크로 구성되며 각각의 프레임워크가 포함한 핫스팟, 제어흐름, 프레임워크 인터페이스를 중심으로 프레임워크의 구성요소 및 설계, 구현에 관한 사항을 기술한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.4
• /
• pp.381-392
• /
• 2003

Component-based Development(CBD) based on the software reuse has been more attractive from software companies that want to enhance software productivity. However, since component identification process is mainly dependent on domain expert´s intuition and experience, it was very difficult to develop tools for supporting the component identification process. In this paper, we propose a systematic procedure of identifying reusable component by using object dependencies and object usages and provide a design and implementation of its supporting tool. In object-oriented domain models. there exists several diagrams which are described in different viewpoints. From these diagrams, object dependency and object usages are extracted and merged into an object dependency network, which is a basis for performing a comfonent identification algorithm. Finally, through a case study of internet banking system, we evaluate the applicability of the proposed identification process and tool.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.6
• /
• pp.1678-1689
• /
• 2008

Recently, OOM(Object-Oriented Method) access method which begins to apply to software development is emphasizing development cost and time reduction through independent software reuse. But because of planning to the exclusion of the lack of knowledge and expansion or performance for development technology many problems are coming out. Therefore, this thesis suggests Effective Object-Oriented Modeling methods considering the plan for higher productivity enhancement of software in the software development life cycle. Effective Object-Oriented Modeling method includes, methods, Use Case modeling methods, Analysis Modeling methods, Design Modeling methods and others. This thesis suggests Framework model method read in characteristics as follows. First, suggestion about effective object-oriented standard model development, Second, retrenchment of software development or maintenance cost, Third, solution about uncertain problems of projects in line with the application of new technology.

• Proceedings of the CALSEC Conference
• /
• 1998.10b
• /
• pp.477-486
• /
• 1998

여러 산업 분야에서 인터넷의 채택으로 인터넷을 기반으로 하는 전자상거래 시스템 구축이 일반화되고 있으며, 전자상거래에 연관된 표준들이 제기되고 있다. 전자상거래가 인터넷의 네트워크를 고려한다면, 전자상거래 시스템은 클라이언트/서버나 분산 아키텍쳐를 요구한다. 즉, 객체지향 패러다임이 새롭고 효율적인 개발 방법으로써 널리 받아들여져 왔다. OMG의 CORBA가 객체지향 분산 아키텍쳐를 위한 실제적인 표준으로 잡음으로써, 진보된 인터넷 상거래시스템들 구축하는데 있어 CORBA를 이용하기 위한 기술을 요구한다. 본 논문에서는 CORBA 기반의 전자상거래 시스템의 아키텍쳐를 제시하며, CORBA가 인터넷 상거래 시스템의 성능과 다른 특성들을 어떻게 향상시킬 수 있는지를 제안한다.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.3
• /
• pp.45-56
• /
• 2004

Java provides support for Web, concurrent programming, safety, portability, and GUI, so there is a steady increase in the number of Java users. Java is based on the object-oriented concepts such as classes, instances, encapsulation, inheritance, and polymorphism. However the JVM(Java Virtual Machine) hides most of the phenomena related to the concepts. This is why most of Java users have much difficulty in learning and using Java. As a solution to the problem, I have developed a tool Alpha that visualizes the phenomena occurred in the JVM from the standpoint of the concepts and will describe the design and features of the tool in this paper. For practicality and extendability Alpha has an MVC(Model-View-Controller) architecture and visualizes the phenomena such as object instantiations, method invocations, field accesses, cross-references among objects, and execution flows of threads in the various ways according to the levels and purposes of the users.

• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.1-12
• /
• 2000

Model checking is a formal verification technique which checks the consistency between a requirement specification and a behavior model of the system by explorating the state space of the model. We apply model checking to the formal verification of the concurrent object-oriented system, using an existing model checker SPIN which has been successful in verifying concurrent systems. First, we propose an Actor-based modeling language, called APromela, by extending the modeling language Promela which is a modeling language supported in SPIN. APromela supports not only all the primitives of Promela, but additional primitives needed to model concurrent object-oriented systems, such as class definition, object instantiation, message send, and synchronization.Second, we provide translation rules for mapping APromela's such modeling primitives to Promela's. As an application of APromela, we suggest a verification method for UML models. By giving an example of specification, translation, and verification, we also demonstrate the applicability of our proposed approach, and discuss the limitations and further research issues.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.9
• /
• pp.1199-1208
• /
• 2001

Program slicing is a program decomposition technique to improve the effectiveness of program testing and maintenance. In this paper I propose a method for slicing object-oriented programs and show its correctness. Also, I propose the class interface slicing technique which can eliminate irrelevant data members, subobjects, and methods from the class declaration parts of the given program. And I show its correctness. Finally, I propose the class hierarchy slicing technique which can compute the declarative parts affecting or affected by the given data member. These techniques may be used for information analysis in some area such as class testing.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.127-129
• /
• 2002

객체지향 디자인 패턴은 아주 작은 재사용 구조로서 객체지향 방법론의 가장 큰 장점인 재사용성과 모듈성을 극대화시켜 실제 구현 과정에서 해결 방안으로 제시 가능한 것으로 이를 적용하면 시스템 개발은 물론 유지 보수에도 큰 효과가 있다. 순공학에서는 디자인 패턴을 이용하는 이점이 명확하지만, 소프트웨어 인공물들 즉, 디자인이나 코드 등에서 디자인 패턴의 사례를 발견하기 위해 사용하는 역공학 기술은 프로그램의 이해, 디자인을 코드로 변환하는 변환성, 코드의 질적 평가 등의 핵심 영역에서 유용하다. 본 논문은 Java 소스 코드를 AOL(Abstract Object Language)이라는 추상객체언어를 이용하여 클래스 특성 추출기 및 패턴 식별기라는 단계를 통해 구조적 디자인 패턴을 추출하는 프로세스에 대하여 기술한다.

• Proceedings of the Korea Contents Association Conference
• /
• 2003.11a
• /
• pp.265-268
• /
• 2003

Using CBD methodology, Components have been developed. In this paper, we explained that Object-oriented Design frameworks are increasingly recognized as better components than objects. And we discussed the framework concept and component configuration management method using changes. Finally, we explained object sharing in several frameworks and new framework creation process.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.3
• /
• pp.462-478
• /
• 1994

Conventional hypermedia systems provide a simple data model based on nodes and link, and give us the limited capability in information retrieval such as browsing and navigating following the links. In this paper, we design and implement a hypermedia system (AHEAD) with enhanced data modeling and querying capability, which are strongly supported in object-oriented database technology. The AHEAD makes it possible to model the accurate data semantics and relationships in application domain, to represent useful information related to nodes and links, and to define the structure and manipulation operations of multimedia data. It also support the various querying capabilities by using modeling information.