Earticle

As distributed computing systems become popular, many modeling techniques and methods have been developed in specify the specification formally and verify the distributed/concurrent sytems. In spite of importance of communication in distributed object-oriented systems, specifying of communication method generally has not been emphasized in the design phase. One reason is due to the system designer misunderstanding, that is, a specification needs to be independent on the implementation. However, since defining communication pattern indistributed object-oriented systems is more serious than the required message passing method in the design phase. specifying the communication pattern is necessary instead of postponing until the implementation. In this paper, two formal specification techniques, temporal logic method and Petri nets method, for the communication in distributed systems are discussed. One is based on the temporal logic, which specifies the different patterns of primitive predicates. This method enable to define the underlying mechanism which can be interpreted as constraints. The Petri net method helps to specify the dynamic behavior of communicational patterns using the properties of Petri nets.

Collaborative development has been identified as one of the most important keys to the success of a software project. An effective collaboration has a great impact on the requirements specification phase since the latter involves several people specifying the requirements of various stakeholders. Such collaboration requires automatically detecting the parallel changes or revisions that are made to a shared specification. These revisions are aimed at reaching a specification that satisfies the needs of all the stakeholders. Hence, combining these changes systematically must also incorporate the detection and resolution of any merging conflicts in order to commit them properly to the shared specification leading to a sound and consistent result. A new approach is proposed in this paper to extract and integrate the parallel changes made to Object-Oriented formal specifications in a collaborative development environment. A formal foundation is proposed to uniformly define merging conflicts and the proposed approach allows combining the parallel changes made while addressing any merging conflicts at the same time. Evaluating the developed algorithms has shown good signs in terms of accuracy and scalability.

Synthesis analysis is the effective process for solving problems in Software engineering. We provide description for scheduler concept by using synthesis analysis. We presented implementation of architecture design alternatives for scheduler concept based on design algebra concept. During the process of alternative space analysis different alternative solutions are searched and also evaluating the different design solutions based on quality criteria or constraints. This is more effective processes for designing the different systems based on quality criteria and constraints. In this paper balancing design alternatives for this concept with object oriented design methods.

객체지향 방법론들은 이해하기 쉽고 확장성이 우수한 모델을 제공하기 때문에 현재 크고 복잡한 소프트웨어를 개발하기 위해서 널리 사용되고 있다. 객체지향 방법론들을 개발에 적용하기 위해서는, 첫째 개발방법론으로부터 과제 특성에 맞는 개발방법을 구성해야 하며, 둘째 이로부터 개발절차를 구성하여야 한다. 그러나 현재 제시되고 있는 객체지향 방법론들에서는 개발방법과 개발절차를 구성하는 과정을 개발자들의 이해와 직관에 의존하고 있다. 이를 개선하기 위해서 본 연구에서는 변용가능한 객체지향 방법론을 제안함으로써, 개발방법 구성의 문제를 체계적으로 지원하고자 한다. 개발방법의 구성을 체계적으로 지원하기 위하여 본 연구에서는 개발방법 구성의 문제를 계획구성의 문제로 변환하여 계획구성 기법을 적용한다. 계획구성의 과정에서 개발하고자하는 소프트웨어의 구조와 특성을 기술하는 아키텍쳐를 입력으로 받아들여 이에 적합한 개발방법이 계획된다. 아키텍쳐는 소프트웨어 개발과정에서 일관되게 유지되어야 하는 결정들을 기술하기 때문에 이를 중심으로 개발방법을 구성함으로써 소프트웨어의 특성을 효율적으로 반영할 수 있다.

Object-oriented methodologies are widely used in the development of huge and complex systems since these methodologies produce the comprehensible and extensible model of systems. In order to apply an object-oriented methodology to a software development, developers should derive a method customized to a specific project from the methodology and, then, construct a development process from the method. Unfortunately, existing object-oriented methodologies lack a systematic facility for the construction of a method and a process. In this paper, we present a customizable object-oriented methodology to support the systematic derivation of a project specific method from the generic methodology. To derive a project specific method from the methodology, we transform the problem of a derivation to a planning problem and apply planning techniques. Our planning technique uses the description of an architecture that captures the structure and characteristics of a software under development as input and constructs an appropriate method with respect to the architecture. The architecture-centered construction facilitates the effective handling for the characteristics of the software since an architecture capture the decisions that must be maintained consistently during the development.

Digital Manufacturing is a technology to facilitate effective product developments and agile productions by digital environments representing the physical and logical schema and the behavior of real manufacturing system including manufacturing resources, processes and products. A digital virtual factory as a well-designed and integrated environment is essential for successful applications of this technology. In this research, we constructed a sophisticated digital virtual factory by measuring and 3-D CAD modeling using parametric methods. Specific parameters of each objects were decided by object-oriented schema of the digital factory. It is expected that this method is very useful for constructions of a digital factory, and helps to manage diverse information and re-use 3D models.

In this paper, electrical power subsystem(EPS) simulator for KOMPSAT 2 has been analyzed designed and simulated by object oriented design(OOP) method. To design EPS simulator, the EPS modules, which modeled solar array, solar array regulator, deployment device controller, battery, power control unit, and EPS control unit, are modeled. To verify the EPS simulator, the modules has been simulated. By OOP designs, the EPS simulator is very powerful because this method is applicable to design other EPS simulator.

소프트웨어의 규모가 커지면서 시스템 기능 테스트 단계에 일일이 원시코드를 참조하면서 테스트하는 것은 현실적으로 불가능하다. 따라서 시스템 테스트 단계에서 다양한 요구명세 정보들을 이용하는 블랙박스 테스트 방법들이 많이 연구되고 있다. 테스트 기법에 활용한 요구명세는 시스템을 표현하는 기술 방법과 의미의 차이로 인해 테스트 케이스와 커버리지가 크게 달라서 테스트 계획 단계에서 테스트 기법과 그 기법의 적용 결과에 대해 깊이 고려해야 한다. 이러한 필요성으로 인해 본 연구에서는 다양한 블랙박스 테스트 기법들에 대한 실험과 그 결과에 대해 논하였다. 기법의 특성이 미치는 테스트 결과를 분석하고 평가하기 위해 객체지향 시스템의 명세와 모델링 기법으로 가장 잘 알려진 UML을 이용한 테스트 기법을 포함하여 다섯 가지의 블랙박스 테스트 기법을 실행하고 비교하였다. 그리고 다섯 가지 기법들을 서로 다른 두 응용 시스템에 적용하였고 그 결과로 추출된 테스트 케이스의 커버리지를 분석하였다.

As the size of software is getting huge, it has been impossible for testers to test all of source coed. Therefore, the method which uses information of requirements for testing has been researched and accepted. Although there are a lot of test methods based on requirement specification, each method has a different approach and coverage. So we should consider their various approach and coverage in the stage of test planning. This paper presents the empirical comparison and the result by applying various black-box testing methods to software system. For this experiment we studied five black-box testing methods including UML based specification technique. We applied the five testing methods to application system and evaluated the coverage of extracted test case.

This article deals mainly with two objectives viz, 1) the potentiality of very high-resolution(VHR) multi-spectral and pan chromatic QuickBird satellite data in resources mapping over moderate resolution satellite data (IRS LISS III) and 2) the advantages of using object oriented classification method of eCognition software in land use and land cover analysis over the ISODATA classification method. These VHR data offers widely acceptable metric characteristics for cartographic updating and increase our ability to map land use in geometric detail and improve accuracy of local scale investigations. This study has been carried out in the Sukkalampatti mini-watershed, which is situated in the Eastern Ghats of Tamil Nadu, India. The eCognition object oriented classification method succeeded in most cases to achieve a high percentage of right land cover class assignment and it showed better results than the ISODATA pixel based one, as far as the discrimination of land cover classes and boundary depiction is concerned.

Object-oriented development methodologies require consistent and seamless object-oriented paradigm to be applied from analysis to testing. Testing must focuses on the state of aggregated objects. This paper suggests testing methods that satisfy such requirements. In order to confirm appropriate implementation of the user requirements, the methods apply extended use case[Jacobson et al., 1992] that are prepared form analysis stage. Testing must be performed based on the use cases because the user requirements are formally documented in the use cases. The notations of the original use case are modified for the state-based testings. The testing methods consist of a unit testing and four-level of integration testing. Particularly, the level 0 testing is based on FREE state machine [Binder, 1995, 1996]. The testing methods have been applied to 3 projects and proved their practicability.