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

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.22 no.4
• /
• pp.375-381
• /
• 2004

This study is to improve an automatic rate of mapping system through analysis of topographic map specification. The digital map ver 2.0(1/5,000) has used for this studv and the mapping information is to obtain digital and topographic map. This topographic map specification is compared with information that represented of today. The regulation of a map specification for automatic mapping system planed out $\circled1$ similar specification of topographic map $\circled2$ simplified specification $\circled3$ clearness specification. After this study, the automatic rate of a mapping is up to 7% and the map specification has been easily generated.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1520-1531
• /
• 1999

In this paper, we present a first step for developing a method of verifying both safety and correctness of object-oriented design specification. As first, we analyze the discrepancies, which can occur between requirements specification and design specification, to make clear target faults. Then, we propose a new design verification method which aims at detecting faults in the design specification. The key idea of the proposed framework is that all elements to be verified can be extracted based on the requirements specification, safety standards, and design specification given for the target product These elements are expressed using three kinds of tables for verification, and thus, the verification steps can be greatly simplified. Here, we assume that component library, standards for safety and design specification obtained from the Booch's object-oriented design method are given. At the beginning, the designers construct a design table based on a design specification, and the verifiers construct a correctness table and a safety table from component library and standards for safety Then, by comparing the items on three tables, the verifiers verification a given design specification and detect faults in it. Finally, using an example of object-oriented design specification, we show that faults concerning safety or correctness can be detected by the new design verification method.

• The Journal of the Korea Contents Association
• /
• v.5 no.5
• /
• pp.51-58
• /
• 2005

Software development process evolves by component based development(CBD) process and introduction to configuration management system is risen recently. In this paper, we explained component configuration management system evolved out of CBD methodology and focused on the specification management in component configuration management. The component specification is being based on XML that is a normalization document. Also, component version management and dependency management are achieved by a component name. And component dependency information is just the integration information using a component specification name used in the composition when component specification is composed. Thus we confirmed possibility of version management and dependency management using the specification.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.19 no.5
• /
• pp.662-668
• /
• 2016

Defense specification suitability review task means to examine whether to need enactment, amendment or abolition of defense specification, and realistic and efficient review environment are urgently needed by improving system. For the promotion of efficient tasks, the cycle of defense specification suitability review needs to be changed to 5 years for active specifications and 10 years for inactive specifications. To simplify the standards of defense specification suitability review, the distinction between prior management items and general management items should be abolished and the number of review items need to be reduced from ten to three. Also, in order to promote substantial defense specification suitability review, a system improvement is needed to utilize retired professionals from defense acquisition related agencies.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2013.05a
• /
• pp.292-294
• /
• 2013

When the number of skyscrapers are increased in the domestic, it has increased the need of the outer wall cleaning robot. However, it does not exist the construction specification of the outer wall cleaning robot in the domestic. it is difficult to apply in the domestic that the outer wall cleaning robot. For this reason, it raised the need of the construction specification. And it is urgent that the construction specification of the outer wall cleaning robot is needed to develop in the domestic. Therefore, this study aims to propose the construction specification framework of the outer wall cleaning robot. In the future, this study will be based on the development of the construction specification on the outer wall cleaning robot.

• Journal of Electrical Engineering and Technology
• /
• v.4 no.1
• /
• pp.87-92
• /
• 2009

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier errors of overlooked requirement specification can be detected using the formal specification method. Also, the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.

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

• Proceedings of the IEEK Conference
• /
• 2000.06b
• /
• pp.173-176
• /
• 2000

Silicon semiconductor technology agree that the number of transistors on a chip will keep growing exponentially, and it is pushing technology toward the System-On-Chip. In SoC Design, Specification at system level is key of success. Executable Specification reduce verification time. This Paper describe the design of IMDCT for MPEG Audio Decoder employing system-level design methodology and Executable Specification Methodology in the VHDL simulator with FLI environment.

• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.1
• /
• pp.103-108
• /
• 2015

In this paper we prove that $C^1$-generically, if a diffeomorphism f on a closed $C^{\infty}$ manifold M satisfies weak specification on a locally maximal set ${\Lambda}{\subset}M$ then ${\Lambda}$ is hyperbolic for f. As a corollary we obtain that $C^1$-generically, every diffeomorphism with weak specification is Anosov.