• 정보처리학회논문지D
• /
• 제18D권1호
• /
• pp.23-34
• /
• 2011

최근의 소프트웨어 개발에서는 리팩토링이 활발하게 이용되고 있다. 리팩토링에 대한 관심이 높아지면서 요소 리팩토링을 정의해서 이들의 조립을 통해 더 큰 종류의 복합 리팩토링을 처리하려는 연구들이 많이 진행되고 있다. 복합 리팩토링은 조합된 요소 리팩토링의 순서대로 처리되기 때문에 프로그램에 실제 적용하기에 앞서 적용 가능성을 판단하는 것이 중요하다. 기존 연구들에서는 요소 리팩토링들의 선 후행조건들로부터 복합 리팩토링에 대한 선행조건을 계산하여 적용 가능성을 판단하고 있다. 이것은 선행조건이 정의되어 있는 복합 리팩토링만 판별할 수 있으며 선행조건이 정의되어 있지 않은 복합 리팩토링에 대해서는 적용 가능성을 판단할 수 없는 문제점이 있다. 본 연구에서는 복합 리팩토링의 명세를 추가로 정의 하지 않고 요소 리팩토링만으로 조립 가능 여부를 판단하고자 한다. 이를 위해 요소 리 팩토링을 명세하는 방법과 조립성 검사 방법을 제안한다. 이를 기반으로 프로토타입 도구를 개발해 보고, 적용사례를 통해 선행조건이 명세되어 있지 않은 복합 리팩토링들의 조립성 검사를 확인해봄으로써 본 연구의 효용성을 검토해본다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권8호
• /
• pp.529-542
• /
• 2002

기존의 프로그램 슬라이스에 관한 정의들은 주로 프로그램 변수들간의 문법적인 관계만을 고려한다. 이에 반해, 이 논문에서는 프로그램 변수들간의 의미론적인 관계를 고려함으로써 기존의 슬라이스보다 더 정확한 프로그램 슬라이스를 구할 수 있는 명세 기반 슬라이싱 기법을 제시한다. 명세 기반 슬라이스는 선행 조건, 후행 조건의 쌍으로 주어진 프로그램의 명세에 대해 원래 프로그램의 행위와 올바름을 보존하는 프로그램 문장들의 부분집합으로 구성된다. 명세 기반 슬라이싱 기법은 주어진 명세에 나타나 있는 프로그램의 기능과 관련한 프로그램 문장만을 다루기 때문에, 소프트웨어 공학의 여러 가지 문제들을 더욱 효과적으로 해결할 수 있도록 지원한다. 여러 적용 가능한 문제들 중에서도, 이 논문에서는 소프트웨어 재사용과 소프트웨어 재구성 과정이 명세 기반 슬라이싱 기법을 이용함으로써 어떻게 향상될 수 있는지를 보인다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제10권5호
• /
• pp.394-405
• /
• 2004

웹 서비스 자동화를 위해서는 웹 서비스 자동발견(Automatic Web Services Discovery) 기능, 자동 실행(Automatic Web Services Execution), 자동 구성과 상호운용(Automatic Web Services Composition and Interoperation)이 가능해야 한다. 본 연구에서는 웹 서비스 합성(Web Services Composition)에 중점을 둔다. 웹 서비스의 입력 및 출력 정보를 비롯하여 프리컨디션(precondition), 포스트컨디션(postcondition), 웹 서비스 제공자 정보, 웹 서비스 위치 정보 등과 같은 웹 서비스 기본 사항들과 웹 서비스 합성을 의미 기반으로 수행하기 위한 웹 서비스의 수행(action)타입, 서비스 객체(object)와 같은 의미적 요소들을 온톨로지(ontology)를 이용하여 기술한다. 그러므로 기존의 WSDL(Web Service Description Language)이 한계점을 드러냈던 서비스에 대한 의미 정보 기술이 가능하다 또한, 웹 서비스간의 의미적 상호운용을 지원함으로써 자연스럽게 내부 또는 외부의 이질적인 어플리케이션간의 통합 서비스를 제공하고 새로운 비즈니스 시스템과의 통합도 자동적으로 이루어지게 하는 웹 서비스 합성 시스템 Genie를 개발한다.

• 산업경영시스템학회지
• /
• 제40권2호
• /
• pp.137-144
• /
• 2017

The business process of global third party logistics company is defined as a network of logistics activities which involves the products that are manufactured in the developing countries, such as Vietnam, China and so on, and delivered to North or South American countries via intermediate stopover sites. The third party logistics company usually uses proprietary logistics information system to support the related logistics activities. However, each consignor sometimes may require different business process based on the customer type or characteristics of their products. Therefore, the third party logistics company need to modify their business process to reflect customer's requirements, resulting in the modification of logistic information systems and additional costs. Therefore, a flexible mechanism is required to efficiently support the various types of requirements by the owners of the products. In this paper, first, we figured out various business rules related to third party global logistics activities. Second, we grouped the identified business rules into business processes, objects, relations, dependency, policy, representations, execution, and resources and further into precondition, postcondition, and invariant based on checking point in time. Furthermore, the categorized rules are classified into inter-activity and intra-activity rules based on the execution range. Third, we proposed a rule syntax to describe the defined rules into scripts which are understood by user and information system together. When each activity is executed, the rule manager checks whether there are rules related with the activity execution. Finally, we developed a prototype rule management system to show the feasibility of our proposed methodology and to validate it with an example.