• The Journal of the Korea Contents Association
• /
• v.5 no.2
• /
• pp.275-281
• /
• 2005

In view of component based development, system development has replaced by assembling existent software components instead of coding and now component assembly research has progressed. In this paper, we formalized the specification using relationship between components for component assembly. If components are assembled through connector, the assembly is available without method call or modification. Therefore in this paper, we formalized the specification and constraint condition for creation of connector which connects components so that the connector is created automatically through the specification and constraint condition.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.929-936
• /
• 2004

A major limitation of available component-based platforms Is that they do not provide suitable means for describing and reasoning on the concurrent behaviour of interacting component-based system. Indeed while these platforms provide convenient ways to describe the typed signatures of components, e.g. like CORBA's IDL, they offer a quite low-level support to describe the concurrent behaviour of component. The ability to describe and verify the concurrent behaviour of interacting components is key aspect In the development of large component-based software system. This study propose a component interface specification using process algebra and configuration's role which allows one to prove correctness of software architecture generated at design level as well as to define compatibility relations by our evolution rule and $\pi$-graph. Also, we shown on an appropriateness of a specification techniques and definitions proposed in this paper by case-study.

• Journal of Korea Multimedia Society
• /
• v.7 no.1
• /
• pp.113-125
• /
• 2004

Active networks aim to provide a software framework that enables active network applications to customize the processing their communications. Active security component architecture focuses on the support of reuse system by active security component. The architecture is standard layer to acquire, understand, and assemble component, and it has to support a guideline for component identification, search and customization. In this paper we present the active security architecture as a standard model of discrete active network solution, and we propose the method for component classification and specification.

• Journal of The Korean Association of Information Education
• /
• v.8 no.4
• /
• pp.555-562
• /
• 2004

There are informal, semi-formal and formal methods in software specification. Among them, formal method which is based on mathematical theory had been used to remove ambiguity, incompleteness and contradiction efficiently. In this paper, we propose implementation steps from Z specification to EJB source code, Also, as a case study we show steps consisted of specifying stack data structure and implementing it in EJB. In conclusion, Z specification proved to be capable of implementing EJB interface, exception class, method, through refinement and definition of schema, interface, post-condition, pre-condition.

• Journal of Software Engineering Society
• /
• v.24 no.2
• /
• pp.55-66
• /
• 2011

Component-based Software development(CBSD) is widely used in various area due to its efficiency of time, cost and effort. In the embedded software which has high dependency of platform and can be developed by product family, the efficiency of CBSD is maximized by reuse. These embedded software has various limitations of the resources. Specially, the effective energy consumption is very important in the portable embedded software such as smart phone and tablet PC, because they are operated with limited energy source like a battery. Therefore, energy efficient problem became very important issue in the CBSD. In this paper, we identified characteristics and environment that influence energy consumption of components. Afterward, we defined a component specification language which is consisted to describe energy characteristics of the components. This supposed specification language can be utilized to energy efficient component search and selection.

• Journal of the Korea Society of Computer and Information
• /
• v.6 no.3
• /
• pp.23-28
• /
• 2001

There has been several meaning full efforts to save costs on system development and expand the life-time of a system in changeful IT circumstance. It was a module-based architecture that empower productivity at structured programming era. But it couldn't grow nor evolve, but could raise only calling frequency of module. But OOP or OO-method overcome limit of structured programing by class inheritance and/or overloading and/or over-riding. A component centric architecture, what is mixture of distributed systems, like CORBA or DCOM with OOP, can support not only high reusability or expansion of life-time but also Plug-&-Play between them. To assemble these component to build a new system in easy way, the well-formed specification of a component is highly required. At this study, the enhanced referential component architecture and its UML specification will be suggested.

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.545-548
• /
• 2000

A fundamental tenet of CBD is that a component has a specification which describes what that component does, and how it behaves when its services are used. In general, the implementation may be written in a different programming language and execute on different technology platform, from the language and platform used by the client program. In order to implement practically the system that is designed by the Farmer model, there is need to have the ISM (Interface Specification Model) which explains specification about the functions of entities of the Farmer model, such as, entity node, aspect node and ILB/OLB. This paper suggests the transformation methodology from the concepts of the Farmer model to the mapping notions of the ISM. Also in reality, TMN agents system which is designed by the Farmer model is transformed to the ISM system design.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1520-1531
• /
• 1999

In this paper, we present a first step for developing a method of verifying both safety and correctness of object-oriented design specification. As first, we analyze the discrepancies, which can occur between requirements specification and design specification, to make clear target faults. Then, we propose a new design verification method which aims at detecting faults in the design specification. The key idea of the proposed framework is that all elements to be verified can be extracted based on the requirements specification, safety standards, and design specification given for the target product These elements are expressed using three kinds of tables for verification, and thus, the verification steps can be greatly simplified. Here, we assume that component library, standards for safety and design specification obtained from the Booch's object-oriented design method are given. At the beginning, the designers construct a design table based on a design specification, and the verifiers construct a correctness table and a safety table from component library and standards for safety Then, by comparing the items on three tables, the verifiers verification a given design specification and detect faults in it. Finally, using an example of object-oriented design specification, we show that faults concerning safety or correctness can be detected by the new design verification method.

• Journal of KIISE:Software and Applications
• /
• v.33 no.3
• /
• pp.289-300
• /
• 2006

Product line is nowadays well known as a representative method for reuse. In the product line, important assets are components. Although enough concerns were given of the product line, it was not accomplished to structure and specify a product-line component with variability. This paper presents an approach to specify components in the product line. The approach describes the static and dynamic structure of a product-line component and explains the behavior and concurrency of the component. The component information is separately described in the black-box and white-box using the Feature-Oriented Reuse Method(FORM). This research also formalizes the data on a component specification in the form of BNF. The specification is described through careful consideration for many different characteristics of the product-line component, so this paper helps to easily develop the components in the product line and to well comprehend how to apply a method for the product line.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.5S
• /
• pp.1629-1637
• /
• 2000

With wide spending the Internet and Web techniques, we have recognized the necessary and commercial-value of electronic commerce system. Electronic commerce(EC) means the whole economical activities based on electronic medium. Both scalability and flexibility are fundamental attributes of EC system and interoperability among heterogeneous systems must be supported. So, for successful a developing of EC system, it is necessary to apply the CBD (Component Based Development) based on component assembling and customization. In this paper, we propose the method for identifying and specifying the components to construct the component based electronic commerce system. To do, we define the component/system architecture specified on EC domain, identified and classified the EC components with hierarchy relationship. Also, we suggested the specification notation and some examples.