• Journal of KIISE:Software and Applications
• /
• v.26 no.4
• /
• pp.521-532
• /
• 1999

소프트웨어 시스템의 설계를 나타내기 위하여 여러 가지 종류의 다이어그램이 사용된다. 다이어그램은 다른 설계 문서나 원시 코드처럼 설계 과정에서 여러 버전이 생성된다. 그러나 기존의 소프트웨어 형상관리 도구나 객체 버전을 지원하는 객체지향 데이터베이스 관리 시스템은 작은 단위 다이어그램의 버전관리에는 적합하지 못하다. 본 연구에서는 작은 단위 소프트웨어 다이어그램을 위한 오퍼레이션기반 버전모델을 제안한다. 이 모델은 다이어그램이 소프트웨어 설계 정보를 나타내기 위하여 그래픽 정보를 수단으로 사용하고 있다는 점과 다이어그램의 구조가 노드와 에지로 이루어져 있다는 점을 반영한다. 다이어그램의 버전은 오퍼레이션 델타와 객체 가시성을 이용하여 효율적으로 저장되고 검색된다. 본 연구에서는 다이어그램의 두 버전을 병합하는 방법도 제시한다.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.123-130
• /
• 2007

In this paper, We define convert rules from objects and relation presented in object model to the state and operation domain in formal specification. Namely, object and relation in information model converted to state domain in formal specification. State, event and behavior converted to operation domain. And that way informal object model change to formal language, it can be verify through formal method. Verification process make an offer convenience and confidence in software development early phase. And we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

• Journal of Power System Engineering
• /
• v.4 no.4
• /
• pp.92-98
• /
• 2000

Modern manufacturing systems should cope with the frequent changes in a product model and disturbances in manufacturing process. The control system of such systems must cover a constant adaptation and high flexibility. Holonic Flexible Manufacturing Cell(HFMC) is introduced to handle these issues more successfully. It is based on the concept of autonomous co-operating agent, called 'Holon', which is a building block of a manufacturing system for transforming, transporting, storing and/or validating information and physical objects. In this paper the basic structure of the HFMC is represented by using Unified Modeling Language and Open architecture cell controller is developed for effective integration components of a manufacturing system. Also a new control model, called MuLOM(Multi-Layered Operation Model), is suggested to represent the control behaviour for a holonic flexible manufacturing cell control system.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1346-1353
• /
• 1996

In this paper, we propose a modeling method for the flip-flops and test generation algorithms to detect the faults in the sequential circuits using VHDL in the high-level design environment. RS, JK, D and T flip-flops are modeled using data flow types. The sequence of micro-operation which is the basic structure of a chip-level leads to a control point where varnishing occurs to one of two micro- operation sequence. In order to model the fault of one micro-operation(FMOP) that perturb another micro-operation effectively, the concept of goal trees and some heuristic rules are used. Given a faulty FMOP or fault of control point (FCON), a test pattern is generated by fault sensitization, path sensitization and determination of the imput combinations that will justify the path sensitization. The fault models are restricted to the data flow model in the ARCHITECTURE statement of VHDL. The proposed algorithm is implemented in the C language and its efficiency is confirmed by some examples.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.45 no.8
• /
• pp.82-90
• /
• 2008

In this paper, functional architecture for fare payment is designed that enables IT developers to create charge-related applications using telecommunications network elements. To support a business model that enables operators to offer integrated billing, a payment and an account management API is crucial. Using this model, a fare payment service consisting of a payment service and an account management service was created. Each service is based on the architecture of parlay X web services. For the modeling of payment and of account management, the new operation of "split charging" is required in Parlay X payment web services, as is the new operation "notification".

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.37-39
• /
• 2002

정형 언어 OCL은 UML의 한 부분으로써 클래스 다이어그램과 상태 기계의 조건을 표현하는데 많은 장점을 가지고 있다. 그렇지만, OCL을 이용하여 상태 기계를 메타모델링 하는데는 적지 않은 한계가 있다. UML/OCL은 모델의 정적인 구조를 강조하지만, 시스템이나 서브 시스템의 시간과 환경에 대한 반응을 고려는 미흡하다. 또한, 시스템의 변화에 있어 시그널은 오퍼레이션과 유사하지만 상태 기계에서만 다루어진다. 결국, 시스템의 변화에 대한 고려는 상태 기계를 통하여 보다 명확하게 명세 될 수 있으며, 현재 OCL의 확장으로써 이러한 문제를 해결 할 수 있다.

• ETRI Journal
• /
• v.8 no.3
• /
• pp.67-78
• /
• 1986

CAD 시스팀의 설계 도구 및 설계 데이터가 복잡하고 방대해 짐에 따라 DBMS를 통한 통합적이고 효율적인 데이터베이스 관리의 필요성이 대두하게 되었다. 본고에서는 주로 VLSI설계를 위한 CAD DBMS의 필용성과 이점, CAD특성에 따른 요구 조건을 살펴보고, 관계형 모델의 특성과 이 모델을 CAD 응용에 이용하기 위한 확장 기법에 관하여 논의하였다. 이러한 확장 기법은 설계 데이터의 계층적 특성을 반영한 질의어 생성, 공간적 탐색을 위한 데이터 구조, nested relation의 허용 등이며, 복잡한 오브젝트 특성을 제공하기 위해, 사용자가 원하는 데이터 유형이나 오퍼레이션을 지정할 수 있게 하는 기법도 포함된다. 끝으로 실제적으로 관계형 모델에 기초한 CAD DBMS의 연구, 개발 사례를 기술하였다.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.7
• /
• pp.851-860
• /
• 2002

By managing various communication networks, we have Telecommunication Management Network(TMN) which has the aim of unified and effective communication network operation and maintenance. However, since TMN has been developed by different platforms in the implementation process, several problems have been found in the step of developing and maintaining the class of TMN system agent. In order to solve these problems, this paper suggests the component outsourcing concept which is based on Component Based Development.

• Journal of Digital Contents Society
• /
• v.1 no.1
• /
• pp.23-37
• /
• 2000

EDI is basically the concept of computer-to-computer exchange of messages relating to various types of activities or business areas, such as banking, trade, medicine, publishing, etc. Therefore, security, reliability and special functionality will be implicit requirements of EDI systems. We will design access control model to content security of these requirements. Access controls in information systems are responsible for ensuring that all direct access to the entities occur exclusively according to the access modes and rules fixed by security policies. On this paper, security policies for access control model are presented from the viewpoints of identity-based, rule-based, role-based policy. We give a design of access control model for secure EDI service based on the derived access control rules and operations to enforce the defined security policies. The proposed access control model provides integrity, confidentiality and a flow control of EDI messages.

• The Journal of the Korea Contents Association
• /
• v.22 no.9
• /
• pp.147-155
• /
• 2022

This article analyzed the new changes Hong Kong director Lin Chaoxian has brought to theme films of Mainland China and the factors affecting these changes. The objects of the analysis are Lin Chaoxian's films (2016), (2018), and (2020). Compared with Mainland China directors suffering from heavy political burden, Dante Lam directed theme films based on the model from commercial films and adopted lots of elements from Hong Kong films. There, the ideology expression in these theme films was no longer rigid, but a diversified value embodiment resonating with the audience. At the same time, these theme films achieved higher commercial value, in which the stereotyped and unrealistic hero images were replaced by realistic and compound characters, and the display of cool or violent action scenes contributed to lots of visual feasts. All the changes were influenced by the audience preferences and the development of private enterprises in Mainland China.