• 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.

• 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.

• 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.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2006.05a
• /
• pp.234-238
• /
• 2006

In this research, an analysis of damaged instance and forming fault for disc part in automotive steel wheel was performed. Rolled steel material, which had been used in the manufacturing of the damaged disc part, was prepared for tensile test, quantitative analysis of chemical component and acquirement of scanning electron microscope images. Although the results of mechanical properties and chemical component ratio for the material satisfied the suggested specification, some material inherent problem was found in the scanning electron microscope images. Finally, in an analysis of chemical component for the damaged disc part used in road condition, mismatching of chemical component ratio between the suggested specification and test result was found.

• Journal of KIISE:Software and Applications
• /
• v.30 no.5_6
• /
• pp.414-429
• /
• 2003

Component-based development(CBD) has been generalized in industry to master the complexity and reduce the development cost and time. However, current CBD practice is developing the component which is dependent on single application[l][2]. Therefore component variability is emphasized to reuse the component in many family members in a domain[8]. However, components are developed for the reason of replaceability rather than the reusability which is the main purpose of the component due to the insufficiency of the study of component variability definition and type[3]. In this paper, we formally specify the component variability reflecting the characteristics of the component to increase the component reusability. We define the logic variability which was recognized as the existing component variability and we propose all types of variability existing in the component by suggesting three more variability types. And we propose the component variability scope which makes us estimate and verify the number of cases of the variability when we customize the component. We propose these component variability types and scope through formal specification. By applying these techniques in developing components, we can develop high quality components reusable in many family members.

• Journal of Korea Spatial Information System Society
• /
• v.2 no.1 s.3
• /
• pp.57-62
• /
• 2000

Open GIS Consortium(OGC) provides with Simple Features Specification for OLE/COM which is a system object technology of interoperability and reusable capability. In this research, the Spatial Reference System(SRS) component is developed based on the OGC specification using ATL. The component presents 44 map projections and transformations between different geographic coordinate systems utilizing the seven parameter(Bursa Wolf) and Molodenski's methods, a user can set up all objects and its attributes comprising SRS and can create SRS and save its setting using predefined text, WellKnownText. The Spatial Reference System component can be easily implemented into the variety of GIS software so that it reduces the developing time for a system and defines new reference system without difficulty.

• Journal of Korea Spatial Information System Society
• /
• v.3 no.1 s.5
• /
• pp.49-62
• /
• 2001

Recently, component-based software has become main trends in designing and developing computer software products. This component-based software has advantage of the interoperability on distributed computing environment and the reusability of pre-developed components. Also, GIS is designed and implemented with this component-based methodology, called Open GIS Component. OGC(OpenGIS Consortium) have announced various implementation and design specification and topic in GIS. In GIS, Spatial analysis functions like network analysis, TIN analysis are very important function and basically, estimate system functionality and performance using this analysis methods. The simple feature geometry specification is announced by OGC to increase the full interoperability of various spatial data. This specification includes just geometry spatial data model. However, in GIS which manages spatial data, not only geometric data but also topological data and various analysis functions have been used. The performance of GIS depends on how this geometric and topological data is managed well and how various spatial analyses are executed efficiently. So it requires integrated spatial data model between geometry and topology and extended data model of topology for spatial analysis, in case network analysis and TIN analysis in open GIS component. In this paper, we design analysis component like network analysis component and TIN analysis component. To manage topological information for spatial analysis in open GIS component, we design extended data model of simple feature geometry for spatial analysis. In addition to, we design the overall system architecture of open GIS component contained this topology model for spatial analysis.

• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.180-192
• /
• 2000

Recently, the component technology has played a main role in software reuse. It has changed the code-based reuse into the binary code-based reuse, because components can be easily combined into the developing software only through component interfaces. Since components and component users have increased rapidly, it is necessary that the users of components search for the most proper components for HTML among the enormous number of components on the Internet. It is desirable to use web-document-typed specifications for component specifications on the Internet. This paper proposes to use XML component specifications instead of HTML specifications, because it is impossible to represent the semantics of contexts using HTML. We also propose the XML context-search method based on XML component specifications. Component users use the contexts for the component properties and the terms for the values of component properties in their queries for searching components. The index structure for the context-based search method is the inverted file indexing structure of term-context-component specification. Not only an XML context-based search method but also a variety of search methods based on context-based search, such as keyword, search, faceted search, and browsing search method, are provided for the convenience of users. We use the 3-layer architecture, with an interface layer, a query expansion layer, and an XML search engine layer, of the search engine for the efficient index scheme. In this paper, an XML DTD(Document Type Definition) for component specification is defined and the experimental results of comparing search performance of XML with HTML are discussed.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.2
• /
• pp.211-223
• /
• 2005

The current software development type is based on CBD (Component Based Development). However, it requires a new component model that can support rapid and accurate component information on the web due to the cost increase of building new components using CBD. The purposed of this paper is to promptly develop an application on the web which fulfills users' demand and to provide specific interface regarding the small scales of distributed component in business domains. The e-BCOS(e-Business Component System) is the agent system for the users to register distributed components and to search component information, which would increase reusability through the e-business component development of distributed components in business domains and help the users understand the information about the component. Moreover, XML is employed for specification which allows smooth specification sharing and delivery to satisfy users' variable demands.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.1880-1886
• /
• 2008

Recently, a railroad system has a big and complicated structure of specification. Therefore, traceability between specification need to be identified for design change management and this is many engineer's concerns. Traceability means technical relationship. This is to trace other specification or component connect with relevant problem in case some problem should be examined. Traceability between functional specification can be proved through functional analysis essentially. This study will introduce an application method of functional analysis in the case of practical use project of MAGLEV train. And we propose the guide to identify traceability between function through functional analysis.