• Title/Summary/Keyword: Component Composition specification

Search Result 16, Processing Time 0.022 seconds

A Component Composition Model based on Component Composition Specification (컴포넌트 결합 명세서에 기반한 컴포넌트 결합 모델)

  • Baek, Gyeong-Won;Park, Seong-Eun;Lee, Jeong-Tae;Ryu, Gi-Yeol
    • The KIPS Transactions:PartD
    • /
    • v.8D no.6
    • /
    • pp.723-734
    • /
    • 2001
  • Today\\`s wide variety of component-based development environments supports the component framework that can be used only for the specific type of components. And many researches have shown that it is necessary for the component-based development environment to support recursive component composition, various kinds of component composition patterns and the multi-tier component architecture for the real benefits of software component composition. In this paper we propose the component composition specification which can not only specify the interaction contracts between components but also supports recursive component composition, and we also propose the component composition model based on this component composition specification. The proposed component composition specification can express the contractual properties that existing component specification techniques cannot specify, and it can be also used to implement the component architectures with multi-tier concept and the tool for component composition through supporting the various kinds of component composition patterns.

  • PDF

A Study on Requirement Specification for Component Configuration Management (컴포넌트 형상관리를 위한 요구명세에 관한 연구)

  • Jung Dae-Sung;Han Jung-Soo
    • The Journal of the Korea Contents Association
    • /
    • v.5 no.5
    • /
    • pp.51-58
    • /
    • 2005
  • Software development process evolves by component based development(CBD) process and introduction to configuration management system is risen recently. In this paper, we explained component configuration management system evolved out of CBD methodology and focused on the specification management in component configuration management. The component specification is being based on XML that is a normalization document. Also, component version management and dependency management are achieved by a component name. And component dependency information is just the integration information using a component specification name used in the composition when component specification is composed. Thus we confirmed possibility of version management and dependency management using the specification.

  • PDF

A TINA-Based Component Modeling for Static Service Composition

  • Shin, Young-Seok;Lim, Sun-Hwan
    • Journal of information and communication convergence engineering
    • /
    • v.2 no.1
    • /
    • pp.40-45
    • /
    • 2004
  • This paper describes a modeling of service composition manager based on TINA (Telecommunication Information Networking Architecture). The Service composition function is mainly motivated by the desire to easily generate new service using existing services from retailers or $3^{rd}$-party service providers. The TINA-C specification for the service composition does not include the detailed composition procedure and its object models. In this paper, we propose a model of components for the service composition, which adapts a static composition feature in a single provider domain. To validate the proposed modeling, we implemented prototype service composition function, which combines two multimedia services; a VOD service and a VCS service. As a result, we obtain the specification of the detailed composition architecture between a retailer domain and a $3^{rd}$-party service provider domain.

Component-Z: A Formal Specification Language Extended Object-Z for Designing Components (Component-Z: Object-Z를 확장한 컴포넌트 정형 명세 언어)

  • 이종국;신숙경;김수동
    • Journal of KIISE:Software and Applications
    • /
    • v.31 no.5
    • /
    • pp.677-696
    • /
    • 2004
  • Component-based software engineering (CBSE) composes reusable components and develops applications with the components. CBSE is admitted to be a new paradigm that reduces the costs and times to develop software systems. The high quality of component designs can be assured if the consistency and correctness among the elements of a component are verified with formal specifications. Current formal languages for components include only some parts of contracts between interfaces, structural aspects and behavioral aspects of component, component-based system, component composition and variability. Therefore, it is not adequate to use current formal languages in all steps of a component design process. In this paper, we suggest a formal language to specify component designs Component-Z. Component-Z extends Object-Z, adds new notations to specify components. It can be possible to specify interfaces, the inner structure of a component, inner workflows, and workflows among interfaces with Component-Z. In addition, Component-Z provides the notations and semantics to specify variability with variation points, variants and required interfaces. The relation between interfaces and components is defined with mapping schemas. Parallel operator is used to specify component composition. It can be possible to describe deployed components with the specifications of component-based systems. Therefore, the formal specification language proposed in this paper can represent all elements to design components. In the case study, we specify an account management system in a bank so that we show that Component-Z can be used in all steps of component design.

Component Specification-based GPS Applications Development Process (컴포넌트 명세기반의 GPS 애플리케이션 개발 프로세스)

  • Lee, Sang Young;Lee, Yoon Hyeon
    • Journal of Korea Society of Digital Industry and Information Management
    • /
    • v.8 no.3
    • /
    • pp.11-22
    • /
    • 2012
  • GIS have expanded the use-range to the various application area with the advantage of interface environment, the various geographical operation. topological analysis by the friendly user. Early GIS software was developed as monolithic tool in which all functions packed in the same software. But, these GIS software have the problems of the high cost of constructing system, closely related system architecture and the reusability. And there is a lack of interoperability between them because most of them have their own unique data format according to their practical application fields. So Component is a unit that it is cohesive software package which is able to be developed and arranged independently and connected with another component for necessary system composition. In this paper, we analyze the requirements for component design and component specifications based on the extracted components. Commonly used to extract components from the requirements of the GPS component-based development process is presented. These components extracted by the process can be used to assemble components only. In particular, applications for developers to add features specific case without affecting the other components that can be modify the component.

Component Specification Using Z (컴포넌트 명세의 Z 활용)

  • Jang, Jong-Pyo;Lee, Sang-Jun;Kim, Byung-Ki
    • The Journal of Korean Association of Computer Education
    • /
    • v.3 no.2
    • /
    • pp.87-94
    • /
    • 2000
  • Software productivity doesn't satisfy the need of service of software users and software quality isn't improved. Moreover, we still have difficulty in software maintenance. As a plan to counteract solving this crisis, the technology that is called CBSE or Componentware is introduced. Componet Based Software Architecture, one of the technologies associated with CBSE, as a structural description of system, describes both the components composed system of and interaction among these components. Software Architecture provides the technology and the methodology of composition among components in the field of CBSE. is accepted one of core technologies. In this thesis, we analyse information necessary for component specification and then proposed that component specificaton activities using formal specification language Z which is verified with the ability of analysis and logicality. The proposed activities are composed of 9 tasks. By presenting specific 11 products, it is also proposed that component specification activities which is the base of CBSD(ComponentBased Software Development) for reusing.

  • PDF

Extraction and Specification Technique of Java Components for Reuse of Java Programs (자바 프로그램의 재사용을 위한 자바 빈즈 컴포넌트의 추출 및 명세화 기법)

  • Lee, Seong-Eun;Kim, Yeong-Ik;Ryu, Seong-Yeol
    • The Transactions of the Korea Information Processing Society
    • /
    • v.7 no.5
    • /
    • pp.1388-1400
    • /
    • 2000
  • An important technical issue in recent software development is to make needed software by the composition of components that are assemblable, and configurable, and independently extracted. The main advantage of component-based software development is reducing development time and cost. It is more cost-effective in development time to use components that are already developed than developing from scratch. There are two ways of component-based software development: one is to compose self-developed components, and the other is to by the components developed by third-parties and compose them. In the second case, existing non component programs must can be used for reuse in the component development. In this paper, we approach two methods for increase of reusability of Java program. First, we suggest the technique of extracting the elements suitable for the Beans component model from Java program, and then we show a process and a guideline of converting the extract elements into the Beans component model. Second, we suggest a technique of automatically extracting component information from the Java Beans component, expressing them in XML, its is possible to reuse the efficient component environment.

  • PDF

A Priority Process Based Connector's Interaction considering Component Processing Time (컴포넌트 처리시간을 고려한 우산순위기반의 커넥터 상호작용)

  • Jeong Hwa-Young
    • Journal of Internet Computing and Services
    • /
    • v.6 no.2
    • /
    • pp.49-57
    • /
    • 2005
  • Connector's role between components is very important in the CBD(Component Based Development). The most connector has process ADL based rrethod was choosing FIFO method by component request. But in case many component's with various characteristics request It is difficult that this method operate efficiently, In this research, I did design and implement priority connector considering component's processing time, Also, I used Wright architecture for formal specification. Application result of proposed connector was spend more 388ms compares with existent FIFO method in total processing time. But this method could handle preferentially from components that have short processing time. Also, in case of component's waiting time in connector, existent FIFO method is 23323,1 ms and proposal method is 12731.27ms, So, proposal method could reduce waiting time for component process.

  • PDF

A Study on Specification and Composition of Design Pattern Component (디자인 패턴 컴포넌트의 명세와 조립에 관한 연구)

  • 하성민;송영재
    • Proceedings of the IEEK Conference
    • /
    • 2003.07d
    • /
    • pp.1625-1628
    • /
    • 2003
  • 본 논문은 패턴 지향 설계를 함에 있어 필요한 구조적 디자인 패턴의 가시적 조립을 목적으로 하며, 재사용 가능한 패턴들을 명세 및 조립하는 방안을 제안함으로써 애플리케이션 설계의 복잡성을 감소시키고자 한다. 본 논문은 패턴 지향 설계를 함에 있어 필요한 구조적 디자인 패턴의 가시적 조립을 목적으로 한다. 디자인 패턴 컴포넌트의 명세에서 패턴 인터페이스들 사이의 관계를 명시적으로 정의하며 패턴의 내부와 인터페이스 사이의 관계를 기술한다 디자인 패턴 컴포넌트의 조런은 패턴 타입과 인스턴스 네임으로 구성되며, 두 패턴 사이의 관계는 종속으로 지시되고 저장소로부터 패턴을 선택하여 종속을 정의하고 방향을 정해주게 된다.

  • PDF

Catch Specification of Japanese Tuna Purse Seine in the Western Pacific Ocean (서부태평야지역에서 일본 다랑어선망어업의 어획특성)

  • 김형석
    • Journal of the Korean Society of Fisheries and Ocean Technology
    • /
    • v.35 no.3
    • /
    • pp.243-249
    • /
    • 1999
  • Specificity of catches has been analyzed to japanese tuna purse seine A principle component analysis was used to improve the efficiency of fishing and increase sustainable production and productivity of Korean tuna purse seine.The result are as follows;From the principal component analysis of the fish catches, the first principal component(Z1) to promote principal component score was skipjack Kastsuwonus Pelamis, LINNAEUS and yellowfin tuna Thunnus Albacares, BONNATERRE (Small : smaller than 10kg) and proportion was 86.8% of total. The second principal component(Z2) to increase principal component score was yellowfin tuna (Large : larger than 10kg) and proportion was 9.5%.On the other hand, fish operating that have caught skipjack and yellowfin tuna (Small and Larger) was not so much. Fish catches for one species raised volume of the catches while catches for multi-species decreased it since principal composition score for one species and both species together has been increased.Fish school could be divided into three groups of schools each of which was associated with drift objects, payaho and ship, school associated with shark, whale and porpoise and school of breezing, feeding and jumping from proportion of principal component analysis for fish catches of school types. However, the biological pattern is different among school associated with ship, payaho and school associated with drift objects for analysis eigen vector. School associated with ship, payaho and school associated with drifting object associated is judged as school which be assembled to vessel and drifted log temporary.

  • PDF