• Proceedings of the Korea Multimedia Society Conference
• /
• 2012.05a
• /
• pp.102-105
• /
• 2012

ONVIF is becoming a de factor standard specification for supporting interoperability among network video products, which also supports a specification for video analytics service. A smart IP network camera is an IP network supporting video analytics. In this paper, we present our efforts in integrating ONVIF Video Analytics Service into our currently developing smart IP network camera(SS IPNC; Soongsil Smart IP Network Camera). SSIPNC supports object detection, tracking, classification, and event detection with proprietary configuration protocol and meta data formats. SSIPNC is based on TI' IPNC ONVIF implementation which supports ONVI Core specification, and several ONVIF services such as device service, imaging service and media service, but not video analytics service.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.656-658
• /
• 2003

Recently, loosely-coupled systems are widely used for distributed computing environment. We develop a web GIS server who conforms to the international standards developed by the Open GIS Consortium (OGC), such as web feature service (WFS) implementation specification, Geography Markup Language (GML) implementation specification, and the simple features specification for OLE/COM. The web GIS server provides interoperable access of spatial data among data formats in the distributed environment.

• Nuclear Engineering and Technology
• /
• v.48 no.2
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• Proceedings of the CALSEC Conference
• /
• 2004.02a
• /
• pp.318-326
• /
• 2004

The ebXML (Electronic Business using eXtensible Markup Language) Specification Schema is to provide nominal set of specification elements necessary to specify a collaboration between business partners based on XML. As a part of ebXML Specification Schema, BPSS (Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification is insufficient to specify formal semantic constraints of modeling elements completely. In this study, we propose a classification schema for the BPSS semantic constraints and describe how to represent those semantic constraints formally using OCL (Object Constraint Language). As a way to verify a Business Process Specification (BPS) with the formal semantic constraint modeling, we suggest a rule-based approach to represent the formal constraints and to use the rule-based constraints specification to verify BPSs in a CLIPS prototype implementation.

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

• Asia pacific journal of information systems
• /
• v.14 no.1
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.29A no.8
• /
• pp.18-25
• /
• 1992

Given a protocol specification, the task of testing whether an implementation conforms to the specification is called conformance testing. In this paper, the design and implementation of the protocol conformance test system using LAN on heterogeneous systems is descreibed. The test sequence used in this test system is generated using an algorithm on the basis of multiple UIO. The usability of this test system as an application was confirmed by performing the conformance test on the CCITT No.7 TCAP(transaction capabilities application part), implemented by ISDN Laboratory, Korea University in 1990.

• 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 the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.23-36
• /
• 2018

Discrete Event System Specification (DEVS) has been used for decades as it provides sound semantics for hierarchical modular specification of discrete event systems. Instead of the mathematical specification, the DEVS diagram, based on the structured DEVS formalism, has provided more intuitive and convenient representation of complex DEVS models. This paper proposes a clean room process for implementation and verification of a DEVS diagram model specification into a simulation software source code. Specifically, it underlies a sequence of transformation steps from conformance and integrity checking of a given diagram model, translation into a corresponding tabular model, and finally conversion to a simulation source code, with each step being inversely verifiable for traceability. A simple example helps developers to understand the proposed process with associated transformation methods; a case study shows that the proposed process is effective for and adaptable to practical simulation software development.

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