Earticle

시큐어 링킹은 소프트웨어 사용자가 그들만의 소프트웨어 보안 정책을 명시할 수 있게 하고, 동시에 디지털 서명이 첨부된 인증서가 소프트웨어 컴포넌트 조합 시에 보다 풍부한 의미를 가지도록 하는 프로그래밍 모델이다. 시큐어링킹은 비정형적으로 명시된 프로그램 특성을 지원하다는 면에서 타입 체킹보다 사용하기 쉬우며, 동시에 이와 같은 비정형적 특성을 논리적 기재를 이용하여 조합하는 것을 가능하게 한다. 또한 디지털 서명이 첨부된 인증서가 보장하는 범위를 한정할 수 있게 함으로써 단순한 코드서명 기법보다 그 신뢰도를 높인 방법이다. 본 논문에서는 객체제한 언어에 기반을 둔 프로그램 특성 분석기를 구현함으로써 시큐어 링킹의 개념의 실용성을 증명하려고 한다. 객체제한 언어에 기반을 둔 프로그램 특성 분석기가 이해하는 프로그램의 특성은 객체제한 언어를 이용하여 작성되며, 시큐어 링킹 프레임워크의 일부분으로 동작하게 된다. 본 논문에서는 객체제한 언어에 기반을 둔 프로그램 특성 분석기의 디자인과 프로토타입 구현 방법을 설명하며, 시큐어 링킹 프레임워크에 새로운 특성 분석기를 첨가하는 방법에 대해서 논의할 것이다.

Secure Linking (SL) is a flexible way of allowing the users of software components to specify their security policies, and to endow digitally signed certificates with more expressive power at link time. Secure Linking is more flexible than type-checking with allowing informally specified properties, and by providing a way of reasoning about combinations of those properties in a formal way, and more expressive than simple code signing with restricting the scope of guarantee made by digitally signed certificates. In this paper, I propose OCL-SL, Secure Linking with the OCL property authority to improve and prove the practicality of Secure Linking. The OCL property authority can understand the properties written in OCL, and is integrated with the Secure Linking framework. The design of the OCL property authority and its prototype implementation will be given, and the experience of combing a new property authority with the Secure Linking framework will be discussed.

자동차, 의료기기, 무기체계와 같은 다양한 임베디드 소프트웨어 산업에서는 컴포넌트 기반 기술들이 적용되고 있 다. 임베디드 소프트웨어를 개발하기 위해 다양한 컴포넌트 기반 개발 방법론이 제안되고 있지만 컴포넌트를 식별하 기 위한 명확한 기준이나 방법이 부족하여 개발자들이 설계 과정에서 여전히 어려움을 겪고 있다. 이에 본 논문에서 는 컴포넌트 기반 임베디드 소프트웨어 설계를 위해 구조적 피처를 기반으로 컴포넌트를 식별하고 컴포넌트 간의 인 터페이스를 정의하는 컴포넌트 기반 임베디드 소프트웨어 아키텍처 설계 프로세스를 제안한다. 제안 방법은 컴포넌 트 기반 개발 프로세스 중 컴포넌트 식별 단계에 중점을 두며, 소프트웨어 기능 요구사항과 하드웨어 요소에 대한 정보를 고려하여 구조적 피처를 분석하고, 구조적 피처 분석 결과를 컴포넌트 기반 아키텍처 설계에 반영하여 컴포 넌트 기반 아키텍처를 도출하는 프로세스를 제시한다. 마지막으로 제안한 프로세스를 적용한 사례 연구를 통해 컴포 넌트 식별 단계에서 컴포넌트를 식별하고 인터페이스를 정의한 결과를 보여줌으로써 구조적 피처를 기반으로 한 방 법의 타당성을 입증한다.

Component-based technologies are being applied in various embedded software industries such as automotive, medical devices, and defense systems. While diverse component-based development methodologies are being proposed for embedded software development, there remains a lack of clear criteria or methods to identify components, leading developers to face challenges during the design process. In this regard, this paper proposes a component-based embedded software architecture design process that identifies components based on structured features and defines interfaces between components. The proposed approach places emphasis on the component identification phase within the component-based development process, analyzing structured features considering software functional requirements and hardware elements. The analysis results of structured features are incorporated into the design of component-based architecture, aiming to derive the actual architecture. Finally, through a case study applying the proposed process, the paper demonstrates the feasibility of the feature-based method by showcasing results of identifying components and defining interfaces during the component identification phase.

정보 시스템을 구현하는 프로그램을 설계하는 방법은 Flowchart에서 UML의 Activity Diagram에 이르기까지 다양하다. 하지만, 이제까지 개발된 프로그램 설계 도구와 방법은 프로그램 코딩 도구와 방법에 비해서 상대적으로 효율적이지 않았다. 또한 프로그램 설계와 코드 간의 쌍방향 절환이 용이하지 않아 개발 생산성과 유지보수성을 개선 하는 데 한계가 있었다. 따라서 본 연구에서는 컴포넌트 기반의 SOC(Structured Object Component)을 지원하는 설계 및 코딩 융복합 자동화 도구 SETL(Structured Efficiency TooL)의 개발을 통해 프로그램 설계와 코딩 단계를 융복합하 여 병렬적인 작업이 가능하도록 하는 융복합 개발 방법을 제안한다. 즉, SETL을 사용하면 프로그램 설계와 코딩 간 의 절환을 거의 실시간으로 수행할 수 있어, 소프트웨어 개발 공정 단계간의 격차를 해소하여 개발 생산성 및 유지보 수성을 극대화 할 수 있다.

Methods to design programs which implement IT systems have been developed in various forms from flowchart to activity diagram of UML. However, program design tools and methods developed so far have not been efficient comparing to program coding tools and methods. In addition, Program design methods and tools developed until now have been difficult to support the bidirectional conversion between program design and coding, and the improvement of development productivity and maintainability. Therefore, in this study, we propose Convergence Development Method to enable working with wide bandwidth through fusing the program design and coding phase by using SOC and supporting tool named SETL which automatizes the convergence of design and coding. Thus, by using SETL, it is expected that the efficiency gap between the program design and coding phase is reduced, and development productivity and maintainability is increased. key words.

CBSE: Component-Based Software Engineering is based on the idea to develop software systems by selecting appropriate components and then to assemble them with a well-defined software architecture (software component assembly). By the reuse of existing software components that have already been tested, software engineers may reduce errors and shorten the time to market of the system under development. However, software engineers still have a problem in selecting the existing reusable components as well as difficulties in determining the quality of the developed components for future reuse. So the choice of component is one of the key factors for successful development of such application. In this paper we present SCAE: Software Component Assembly Evaluation, a method enabling quality evaluation of software components. This method allows us to choose the best composition in term of quality (non-functional needs).

Improving model-based component testability can further model-based approaches to software component testing (SCT) for desirable testing effectiveness. Component contracts are useful testing-support artefacts to improve component testability. This paper presents a new contract-based SCT technique, Test by Contract (TbC), which extends the Design by Contract concept to the SCT domain, and leverages UML-based testing with the contract mechanism to design model-based test contracts for UML-based SCT. We introduce a new concept of Contract for Testability as the principal goal of the TbC technique, and develop a set of important contract-oriented concepts (test contract, effectual contract scope, and internal/external test contract) and useful test criteria to improve model-based testability. We develop a useful stepwise TbC working process, and use a case study to demonstrate how to put the TbC technique into practice to undertake contract-based SCT with UML models.

Component-Based Software Engineering (CBSE) research is an important emerging area of Software Engineering (SE) that supports and enhances evolution of reusable components useful for creation of software solutions. CBSE has assumptions that components exist in repositories, but this is usually not the case. That is, components are in want. The aim of this work is to design and build generic software components for student management system domain using object oriented methods. Analysis of major school management system functions, data and behaviours was done. Also, pattern-based domain engineering was conducted so as to identify structure points. This led to factoring out generically reusable components. Student management system components were created for implementation using a general-purpose distributed Component-Based Software Development technology model. Consequently, a framework for implementing student management system and related systems was provided. This would contribute to the body of the emerging CBSE practices.

Certification refers to the verification of definite feature of an object, person, or an organization. This verification is often, but not always, provided by some form of external review, education, assessment, or audit. In general, the main certification idea is to bring quality process to a certain software product. One of the core goals to achieve quality in component based product is to acquire reliability, quality and compatibility with other components. We have proposed an evaluation process for certification of component-based software. Certification is performed at component as well as system level. The six factors given by ISO are used to certify the system or component. Some other factors are also taken into consideration for certification process. Unstructured weighting technique is used to assign weights to these seven factors.

Implementation of an analytical model of component based software into web based system is an important issue towards the effective software development. The mechanism towards such model implementation also enriches the quality of the model design. Formal specification would help to provide concrete and precise concept of a model. This paper has proposed a formal specification of an analytical model for a component based system, called Component-Class-Interface (CCI) which facilitates a sophisticated description of component model with mathematical explanation. A logical level implementation mechanism of such formally specified analytical model has been also implemented along with re-engineering facility. Moreover, a rule based transformation mechanism has been proposed to transform CCI into logical model. The correctness of such model transformation has been evaluated using Triple Graph Grammar. A comparative study has also been discussed to show the expressiveness of the proposed methodology. Moreover the concepts of the proposed approach have been implemented using a CASE tool.

The paper focuses on a Z-semantic based conceptual model of component, called Z-Formal Specification of Component Model (ZFSCM), to conceptualize the different facts of component model in Component Based Software Engineering (CBSE). This model defines a set of components and their contracts or relationships using Z- notation. It is accompanied with different type’s services, classes, components and interfaces. This approach facilitates modeling of components using different schemas in software system. The ZFSCM has being checked validation using a type checker of Z notation (ZTC). The main focus of this paper is the formal specification of the components. The paper has also defined the relationships between the components and composition among them. Moreover, the paper also provides comparative study of several similar kinds of proposals for component models in Component Based Software Engineering (CBSE).

Component-Based Software Engineering (CBSE) is a knowledge-intensive discipline where all activities require the use and the transfer of knowledge between collaborators. A better usage, transfer and application of this knowledge are required factors to face the challenges of CBSE. In this perspective, Knowledge Management (KM) aims at setting up knowledge-focused processes in the organization. Knowledge Management Systems (KMS) are the technological infrastructure supporting these processes. In this paper, we present a new methodology of KMS implementation in a CBSE-oriented organization. We also present a case study of applying this methodology in an existing CBSE organization.

The redundant components' nodes are widely used as design tactic to improve the reliability of complex embedded systems. The challenge is that; the obtained solution might not be sufficient because it demands high cost, and the system might be failed if the predicted cost does not estimated reasonably. Many publications have addressed this area to compose the systems by assembling COTS components only. However, combination of outsourced components and in-house developed components is essential to produce cost effective systems. This paper proposes an architecture optimization approach based on Metaheuristic Swarm Intelligent algorithm in order to answer the question: What type of components to be selected and how many components are appropriate for each subsystem in order to obtain optimal software architecture. The objective is to minimize cost under reliability constraints by combining components from different sources in order to compose system that satisfies the requirements. Sensitivity analysis applied on a numerical simple case study showed the potentiality of the approach.

Component-based development allows us to develop and integrate product components which facilitate software reusability, high quality and simplification for testing. Component-Based Software Engineering makes use of approaches which are based on architecture definition languages, object oriented design and software architecture. These strategies assist in the development of both domain-specific and generic software products. Reusability approach speeds up software development by using already developed components, thus software development cost and time is substantially reduced. I this paper, we present a Component-Based Software Engineering framework for software reusability.

With the expansion of the computer application, the complexity of software and the program code increase rapidly. The increasing requirement of software brings the grown of the size about software. In order to solve these problems, the idea of software reuse emerges. In these years, the software reuse technology develops rapidly. Nowadays, software reuse technology which is based on component is regarded as the most successful implement technology in the software reuse field and the available solution to solve the Software Crisis. In this paper, we research the software architecture based on component. And we propose a model of library management information system. Firstly this paper introduces the research background and research status. The second part is the design of reuse system based on the component. The third part is the component-based information management system used for the library management system. The last part is the conclusion.

Recently, modeling and implementation of Embedded Real Time System (ERTS) are unavoidably becoming more complicated to develop and be reused because of the increasingly complex design. The complexity is due to the functionality increment factor in accordance with users’ needs and demands, resulting in the growing scale of the developed systems. The current development approach based on Object-Oriented (OO) does not match the current requirements of the system. The OO approach has numerous flaws, thus, Component-Based Software Engineering (CBSE) has been appointed to resolve those problems. However, the current CBSE approach also has some drawbacks such as lack of ERTS standardized modeling and specific development methodology. The problems concerning the established ERTS development methodologies, Methods for Component-Based Real-Time Object-Oriented Development Testing (MARMOT) shows the capabilities to tackle ERTS modeling and implementation using CBSE strategy are partially provide the required standard modeling language for development tool adaptation. Thus, an integrated component model is proposed, by integrating MARMOT and a Unified Modeling Language (UML) profile known as Modeling and Analysis for Real-Time and Embedded (MARTE), which can be adapted to the CBSE approach standard modeling. In addition, the proposed model can improve the existing MARMOT software process. The findings showed that the proposed model has reduced ERTS development complexity by enhancing the design mechanisms.

Component-based software reuse has been generally regarded as a promising approach to improving software productivity and quality within software development. However, progress in component-based software reuse has been slower than expected. Much of the software reuse literature points to the lack of software components that can maximize users' benefits as the most important source of the slow progress. Considering that the underlying processes behind component-based software reuse are strikingly similar to commercial software marketing, this paper attempts to identify the aspects of software components that consumers value and to establish relationships between the identified aspects and consumer behavior in the software component market. More specifically, this paper focuses on the perceived subjective features of software components. This study was conducted in a web-based artificial market environment called "SofTrade."