• The Journal of Society for e-Business Studies
• /
• v.7 no.3
• /
• pp.21-48
• /
• 2002

ebXML is the international technical framework specification that enables Internet-based B2B electronic business using XML, It was standardized by UN/CEFACT and OASIS on May 2001. Registry and Repository is the core of ebXML. It supports registry services which is composed of object management service and object query management service. The object management service manages the object's life cycle and the object query management service provides a mechanism to approach metadata of stored objects. Up to now, implementations of ebXML Registry object query management system don't support full functions of the specification completely. We implemented all the functions of ebXML Registry Service Specification vl.0. This system supports Browse ＆ Drilldown Query, Filter Query, SQL Query, and Object Retrieval Query services. And it also supports Content-based Query service which is not specified in the ebXML RS specification. The Content-based Query service is a repository service which makes it possible In pose content based queries of repository items and which will be specified on the RS specification v2.0.

• Journal of the Korea Society of Computer and Information
• /
• v.8 no.4
• /
• pp.21-27
• /
• 2003

In these paper, we define object models in order to represent a correct analysis model, propose translation method to formal specification necessary to uniform and standard. The translated model provide to correctness, consistency and completeness. If it is happen to error in the VDM specification, we can verify model to adapt initial object model step. It increase correctness to retrieval, reduce the costs and efforts of after development because of the verified model used to basic specification in design step.

• Journal of the Korea Society of Computer and Information
• /
• v.7 no.2
• /
• pp.34-39
• /
• 2002

This paper proposed a kind of software component specification method based on XML. We define a document type definition(DTD) of software component specification for the XML representation of a component. The semantic relationship of the component elements in diagrams of component specification must be Presented by the XML tag. This paper also designs the supporting tool for the representation of the software component specification.

• Journal of Korea Society of Industrial Information Systems
• /
• v.13 no.3
• /
• pp.31-37
• /
• 2008

MPEG 4 Part 20 LASeR (ISO/IEC 14496 20) is a specification designed to deliver rich media services in a mobile environment. The specification is an emerging standard that can replace the MPEG 4 BIFS specification designed to deliver PC based heavyweight media contents. The specification describes the representation of scene information in a resource constrained mobile environment. Unlike the BIFS standard designed to deliver heavyweight rich media, the LASeR specification has a restricted description that conforms to the SVG Tiny 1.2 specification. Also, the specification has an advantage of allowing for the efficient conversion of one graphics format to another. In this paper, we present the design and the implementation of a LASeR authoring system that allows for fast and efficient creation of interactive rich media contents in a mobile environment. The Gill interface of the authoring system presented in this paper allows users, who do not have prior knowledge of the scene description language, to conveniently create contents and store the produced scenes using the internal list data structure. The system allows users to navigate scene objects internally stored and to create LASeR XML files in the structured XML format.

• The Journal of Information Systems
• /
• v.31 no.1
• /
• pp.271-287
• /
• 2022

Purpose This research aims to study the changes in recruitment needed for the growth and survival of companies in the rapidly changing industry. In particular, we built a real company's worklist accounting for the rapidly advancing data-driven digital transformation, and presented the capabilities and conditions required for work. Design/methodology/approach we selected 37 jobs based on NCS to develop the employment search requirements by analyzing the business characteristics and work capabilities of the industry and company. The business specification indicators were converted into a matrix through the TF-IDF process, and the NMF algorithm is used to extract the features of each document. Also, the cosine distance measurement method is utilized to determine the similarity of the job specification conditions. Findings Companies tended to prefer "IT competency," which is a specification related to computer use and certification, and "experience competency," which is a specification for experience and internship. In addition, 'foreign language competency' was additionally preferred depending on the job. This analysis and development of job requirements would not only help companies to find the talents but also be useful for the jobseekers to easily decide the priority of their specification activities.

• Steel and Composite Structures
• /
• v.5 no.2_3
• /
• pp.103-126
• /
• 2005

This paper describes the theoretical background and underlying principles behind the American Institute of Steel Construction Load and Resistance Factor Design (AISC LRFD) Specification for the analysis and stability design of steel frames. Various analysis procedures that can take into consideration the effects of member instability, frame instability, member-frame interaction, geometric imperfections, and inelasticity are reviewed. Design approaches by which these factors can be incorporated in the design of steel moment frames are addressed. Current specification guidelines for member and frame design in the U.S. are summarized. Examples are given to illustrate the validity of the design equations. Some future directions for the analysis and stability design of steel frames are discussed.

• Steel and Composite Structures
• /
• v.7 no.3
• /
• pp.201-217
• /
• 2007

Two combinatorial optimization algorithms, tabu search and simulated annealing, are presented for the minimum-weight design of geometrically non-linear steel plane frames. The design algorithms obtain minimum weight frames by selecting suitable sections from a standard set of steel sections such as American Institute of Steel Construction (AISC) wide-flange (W) shapes. Stress constraints of AISC Load and Resistance Factor Design (LRFD) specification, maximum and interstorey drift constraints and size constraints for columns were imposed on frames. The stress constraints of AISC Allowable Stress Design (ASD) were also mounted in the two algorithms. The comparisons between AISC-LRFD and AISC-ASD specifications were also made while tabu search and simulated annealing were used separately. The algorithms were applied to the optimum design of three frame structures. The designs obtained using tabu search were compared to those where simulated annealing was considered. The comparisons showed that the tabu search algorithm yielded better designs with AISC-LRFD code specification.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.3
• /
• pp.45-55
• /
• 2008

Due to the increasing complexity of embedded system design, automatic code generation of embedded software and hardware-software co-design methodologies are gaining great interest from industries and academia. Such an automatic design methodologies are always demanding a formal system specification languages for defining designer's idea clearly and precisely. In this paper, we propose automatic embedded C code generation from SDL (Specification and Description Language, ITU-T recommended the SDL as a standard system description language) with considering a real-time uC/OS-II operating system. Our automatic embedded C code generator is expected to provide a fast specification, verification and performance evaluation platform for embedded software designs.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.4
• /
• pp.739-746
• /
• 2016

The real-time railway safety monitoring and control system is for prevention of safety accidents, and this system adopts DDS (Data Distribution Service) standard based data transmission method to support integrated management of data from existing on-site safety detection devices. In this paper, we introduce the design of DDS-based data specification from on-site signal equipment on the conventional railway. For this, we (1) design UML data model of KRS SG 0062 standard which defines existing data specification, (2) define DDS Topics for DDS transmission and map KRS model to DDS Topic model, (3) suggest data transformation rules and (4) design network control QoS polices. In addition, we analysis actual on-site log data and validate our data specification design. DDS-based data transmission enables data compatibility among on-site devices and the real-time railway safety monitoring and control system, and allows efficient network management for a large amount of data transfer.

• Proceedings of the KIEE Conference
• /
• 1989.07a
• /
• pp.121-124
• /
• 1989

In this thesis, a decomposed LQG/LTR controller is designed for an undersea vehicle. The modellig error which results from decomposition of the original model is considered to the design specification for maintaining the robust stability. The LQG/LTR controller designed with new specification is simulated.