• Journal of Korea Spatial Information System Society
• /
• v.1 no.2 s.2
• /
• pp.5-20
• /
• 1999

Recently, the new software paradigm in information technology (IT) is the component-based development (CBD) technology that has brought as a result of the distributed computing environment (DCE). The CBD has reduced a program developing time and has been designed to make a distributed computing environment easier in the Internet and Intranet environments. These changes of software technology have influence on the geographic information system (GIS) and the CBD technology is highly needed as a point of view of the technique and policy of the geographic information system. In this paper, we designed and implemented an Enterprise Server for the efficient development and management of GIS components. Especially, the Enterprise Server was developed with the Enterprise JavaBeans Specification 1.1 that had been proposed as an industry standard by the Sun Microsystems. The Enterprise Server can allows users to manage the Unified Modeling Language (UML) and Design Patterns for the development of GIS components, develop a GIS component container which obeyed the Open Geodata Interoperability Specification (OpenGlS), manage spatial metadata through a spatial XML (eXtensible Markup Language) engine, and implement a TESTBED server for testing and verification of developed GIS components.

• Proceedings of the CALSEC Conference
• /
• 2001.08a
• /
• pp.253-258
• /
• 2001

In electronic commerce, a registry is an integrated software system that supports access to registry metadata in order to locate and retrieve registered objects it can be discovered and used by a client or customer. In general, a registry consists of information model and its service. A registry implementation supports a registry services interface that can be used by abstract agents to assist a human or some other software process to register new objects, provide appropriate metadata for those objects, browse or query registry content, filter out irrelevant references, and retrieve the content of selected items. We show a layered registry architecture that is flexible enough to support the required specialization of many different kinds of registry specification of other sponsoring groups. This architecture could easily adopt different registry specification. This paper suggests a prototype implementation model which supports ebXML Registry standard based on this layered architecture.

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

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.92.5-92
• /
• 2002

$\textbullet$ Introduction to the concept of the Mobile Robot working mode(online and of offline mode) $\textbullet$ Introduction to the Issac Robot Specification $\textbullet$ Discussion on the technology selection $\textbullet$ Description of the system and software architecture $\textbullet$ System implementation result. $\textbullet$ Conclusion and future work

• 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 KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.62-70
• /
• 2002

The purpose of this paper in that users can use mobile device applications more easily and efficiently through MoDAM (Mobile Device Application Management) system. MoDAM automates the process of web retrieval for obtaining mobile device applications and the process of installing or updating it on mobile devices and then supply users with these automated services in a step form by combining two separated processes. We implement a web agent conforming to OSD (Open Software Description) specification for automating software retrieval and downloading and also a mobile device based software management module conforming to SyncML (Synchronization Markup Language) specification for synchronizing common data between server and client. The method of automated software retrieval and management for mobile devices using these standard specifications minimizes users' interrupts and also can be applied to traditional several different mobile devices, operating systems or downloading web sites without platform dependent considerations.

• Journal of Korean Institute of Industrial Engineers
• /
• v.14 no.2
• /
• pp.71-80
• /
• 1988

The primary purpose of this study is to develop an automation tool capable of converting the specification of structured analysis into that of structured design. Structured Analysis and Structured Design Language (SASDL) is a computer-aided description language based on ERA model and particulariged by ISLDM/SEM. The automation tool utilizes the specifications of data flow diagram described in SASDL to produce their corresponding SASDL specification of structure chart. The main idea behind the automatic conversion process is to categorize the bubbles in data flow diagram and to determine the positions of the bubbles in structure chart according to their categories and the relative locations in data flow diagram. To make the problem into manageable size, the whole system is broken down into separate parts called activity units. A great deal of manual jobs, such as checking processes leveling, checking data derivation of processes, deriving structure chart from data flow diagram, checking any inconsistency between data flow diagram and structure chart and so forth, can be automated by using SASDL and conversion tool. The specification of structure chart derived by conversion tool may be used in an initial step of design to be refined by SASDL users.

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

• Journal of the Korean Society of Systems Engineering
• /
• v.17 no.1
• /
• pp.21-34
• /
• 2021

The use of Field-Programmable Gate Arrays (FPGAs) in the development of safety-related Human-Machine Interface (HMI) systems has gained much momentum in nuclear applications. Recently, one of the application areas for the Advanced Power Reactor 1400 (APR1400) is in the development of the advanced Component Interface Module (CIM) of the Engineered Safety Features Actuation System (ESFAS). Using systems engineering approach, we have developed a new FPGA-based advanced CIM software. The first step of our software development process involves the Preliminary Hazard Analysis (PHA) based on the previous CIM design. In this paper, we describe the qualitative approach used in performing the preliminary hazard analysis. The paper presents the methodology for applying a modified Hazard and Operability (HAZOP) procedure for the conduct of PHA which resulted in a qualitative risk-ranking scheme that informed the decisions for the safety criteria in the requirements specification phase. The qualitative approach provided the justification for design changes during the advanced CIM software development process.

• Journal of KIISE
• /
• v.44 no.1
• /
• pp.27-35
• /
• 2017

Many studies have addressed 'Adaptive User Interface (AUI)', wherein the user interface changes in accordance with the situation and the environment of each user at runtime. Nevertheless, previous papers for AUI barely reflected the viewpoints from requirements engineering field, since most of them focused on proposing the architecture and design. In this study, we outline AUI with the perspective of requirements engineering and propose the requirements elicitation and specification method based on concepts which have been researched in the area of self-adaptive system. Step by step, we first redefine and reinterpret the well-known concepts of self-adaptive software, after which the AUI requirements are elicited and specified. Finally, we illustrate a case study, which demonstrates the effectiveness of our method.