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

OGC(Open GIS Consortium) suggests the 'OpenGIS Simple Feature Specification for CORBA' which is the OpenGIS implementation specification for CORBA to specify standard interfaces for reuse and interoperation among distributed heterogeneous GIS resources in the CORBA distributed computing environment. An OpenGIS server that supports this implementation specification moat correctly implement all interfaces defined in the OpenGIS implementation specification to be interoperable with wrapped GISs efficiently. In this paper, we have designed and implemented an OpenGIS server based an object relational GIS, called GEUS that integrates GIS and database technologies to provide spatial data types and spatial operators from the DBMS engine level. In the CORBA distributed computing environment, clients can access geospatial data stored in GIS wrapped by the OpenGIS server through the standard interfaces defined in the OpenGIS implementation specification for CORBA. In addition, clients can use geospatial operation features provided by a back-end GIS and interoperate with other GISs.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.3
• /
• pp.808-817
• /
• 2000

Component specification languages in consideration of reuse are essential factor in classification, verification and retrieval of components. A number of legacy specification languages have already been used, however, they are complex and include many necessary elements in the specification for implementation. In this paper, we present XML-based component specification and software architecture specification language to solve these problems of legacy specification languages. The presented specification languages consist of component specification, which is composed of signature specification, interface specification and message specification, and software architecture specification providing graphical notations and textural notations. Component specification supports component retrieval with behavioral match and black-box reuse of component. In addition to this, it improves the efficiency of retrieval and document management with XML-based component specification. Software architecture specification supports the structural reuse of architecture, which is white-box reuse, through mesage-based architecture 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.475-477
• /
• 2001

흠 네트워킹에 대한 관심이 높아지며 이를 실현하는데 필요한 Residential Home Gateway를 구현하기 위해 2000년 5월 OSGi에서 Open Service Gateway Specification을 발표했다. 본 논문에서는 이에 따른 Home Automation Controller를 구현하기 위한 방법을 논하고 있다. 먼저 Home Automation Controller의 개념에 대해서 알아보고 OSGi의 배경과 Open Service Gateway Specification의 내용을 살펴본다. 그리고 specification에 따른 Home Automation Controller용 개방형 서비스 게이트웨이를 구현하는 방법에 대해 고찰해 본다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.5
• /
• pp.1426-1433
• /
• 2000

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.

• Journal of KIISE:Software and Applications
• /
• v.34 no.9
• /
• pp.773-784
• /
• 2007

Aspect-Oriented Programming (AOP) has focused on improving the modularity of the crosscutting concerns. The existing AOP methodology has been mainly focused on the implementation method of programs and thus developer-oriented concern extraction and development were performed. Recently, many studies for applying AOP to the entire software development processes ranging from requirement analysis to design and implementation are being conducted. But specification methods having consistency from the initial phase of concern extraction to implementation phase are not sufficient. In this paper, we have presented the specification of crosscutting concerns so as to solve these problems. The specification of crosscutting concerns provides guidelines and specification from the requirement analysis phase to the process of converting extracted crosscutting concerns to codes. This method reduces the gap to the process of mapping extracted crosscutting concerns into a single class and thus enhances program development and understandability. In addition, it raises program reusability, maintenance and extensibility by enhancing traceability.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.20 no.1
• /
• pp.113-121
• /
• 2010

The system specification is a system theory based formal representation method for systems' structure and behavior modeling. When we make use of the system specification method in each step of software development, we can derive a hierarchical and modularized system design which enables us to manage the software development process flexibly. This research presents system specification based design of a mobile alarm system which sends alerts about illegal usage of private information and manages the response against the each alert. In our design of mobile alarm system, there are formal definition of alert message overcoming the functional limitation of mobile device and hierarchical modularized modeling of alarm processing using system specification. The efficiency of making use of the system specification is shown by applying the specification method to implementation of mobile alarm system. The contribution of this work is in design and implementation of mobile alarm system which enables us to handle the private information leakage situation more flexible way using system specification based software designing method.

• International Journal of Quality Innovation
• /
• v.7 no.1
• /
• pp.35-47
• /
• 2006

Client-supplier collaboration has been an imperative approach to new product development (NPD), in which a good product specification management system and practice is crucial to the assurance of product quality. This study investigates product specification management in client-supplier collaborative NPD. Based on the interviews and survey study, 12 problems and 13 good practices of product specification management are identified. It also compares the importance and degree of the implementation of the product specification practices in Hong Kong electronics industry. The results suggest that more intensive practices should be implemented for better product specification management.

• Journal of electromagnetic engineering and science
• /
• v.3 no.2
• /
• pp.91-98
• /
• 2003

Software Communication Architecture(SCA) has been made to reduce the development period of new waveform applications by reusing design modules. Software Defined Radio(SDR) forum adopted SCA specification and follows its design concept. However, SCA specification does not describe interfaces and deployments of resources in details, which are software components, and how to implement them as well as how to communicate each other are another missing points in specification. In this paper, we propose a resource design methodology and details of adapter implementation for Core Framework(CF) that is a core set of open interface and services providing an abstraction of the underlying software and hardware layer. We also present SDR prototype system which communicates with resources implemented in different programming languages and processors in legacy environment through our design methodology.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.251-254
• /
• 2011

This paper describes the design and implementation of the DMI display based on ERTMS specification for the Integrated Onboard Signaling System (IOSS). IOSS is consists of ATS, ATC, and ATP based on ERTMS/ETCS Level 1. We propose an improved DMI display design which has single layout concept for the IOSS. When a train is in the ATS, ATC, or ATP railway section, it is protected by the ATS, ATC, or ATP equipment, respectively. Therefore, DMI should display the different information according to the each signaling system. We design DMI display implemented as single layout for ATP, ATS and ATC information. This single layout display has a well integrated look and feel using the ERTMS specification and layout. This is for the driver to perceive the information easily and not to experience inconvenience resulting from the sense of difference when the train crossed into the different signaling section. Finally, we show the implementation result following this concept.