• Title/Summary/Keyword: Requirement definition

Search Result 115, Processing Time 0.026 seconds

Design and Implementation of Event Notification System for Location-and RFID-based Logistics Environment (위치 및 RFID 기반의 물류 환경을 위한 이벤트 통지 시스템의 설계 및 구현)

  • Lee, Yong-Mi;Nam, Kwang-Woo;Ryu, Keun-Ho
    • The KIPS Transactions:PartD
    • /
    • v.15D no.5
    • /
    • pp.599-608
    • /
    • 2008
  • Advanced wireless network and sensor technologies are capable of collecting information such as temperature, humidity, weight, and location about objects at real time in logistics area. Besides, users want to be notified of contextual information about interest of objects whenever they want it and wherever they want it. To satisfy these requirements, applications should collect and analyze contextual information at real time, and must support a service that can notify it to wanted users. Event-based service is one of the way to satisfy these requirement of users. In this paper, we design an event notification system focused on location- and RFID-based logistics area. To do this, we present XML-based event expression model, ECA-based profile definition model, and an algorithm that has high scalability by distinguishing event filtering in two steps. Based on these designs, our implemented system can apply to not only logistics area but also intelligent traffic control system based on RFID or GPS devices.

A Strategy for Validation in Preliminary Design Stage using The Simulation of Model Behavior (모델 행동 양식의 시뮬레이션을 이용한 초기 디자인 검증 방법)

  • Shin, Seung-Hun;Park, Seung-Kyu;Choi, Kyung-Hee
    • Journal of the Korea Society for Simulation
    • /
    • v.19 no.1
    • /
    • pp.153-160
    • /
    • 2010
  • Most part of errors in software development process are included during the stage of requirements definition and design. And correction or elimination of errors from those stages requires much more efforts and costs than those from the later part of software development process. However, despite of the importance of the validation of requirement definition and design stages, several kinds of problem have made it hard to be done successfully. Therefore, in this paper, we introduce a novel validation process for the preliminary design stage. The validation process is based on simulations of model and it can be used to validate requirements and model simultaneously. Models in the validation process will take only the behavior of software and be built on Ptolemy framework. The usability of our validation process is confirmed with a case study over DNS system environment. And the result of simulation shows well-known errors or vulnerabilities can be found with simulations of model which has the behavior of software. This means our validation process can be used as a process to validate requirements and models during the early stage of software development process.

Automatic Generation of Serial Music Using Space-Filling Curves (공간 채움 곡선을 이용한 자동 음열 음악 작곡 방법)

  • Yoo, Min-Joon;Lee, In-Kwon
    • 한국HCI학회:학술대회논문집
    • /
    • 2008.02a
    • /
    • pp.733-738
    • /
    • 2008
  • Serial Music, introduced by A. Sch nberg, is a one of the important composition techniques. This music style has features of pantonality and atonality, so it generates unique atmosphere of modern music. In this paper, we introduce an method of generating serial music using mathematical algorithm. This method generates music that satisfy the requirement that the number of pitches belonged to each pitch class are exactly same, though the requirement is less strict than Sch nberg's definition. To do this, our method uses space-filling curves traversing the twelve tone matrix, which is constructed by the serial series, its inversion and its transpose. Using these curves, we can generate a music that has all notes in the matrix exactly once and adequate repeatness because of the curve's locality. Result music, therefore, can be more suitable for people that are not familiar with modern music, while maintaining the features of pantonality and atonality. This paper also introduces a method of generating extended serial music that uses serialism of duration and dynamic of notes, using multi-dimensional space-filling curves.

  • PDF

The Implementation of Fault Tolerance Service for QoS in Grid Computing (그리드 컴퓨팅에서 서비스 품질을 위한 결함 포용 서비스의 구현)

  • Lee, Hwa- Min
    • The Journal of Korean Association of Computer Education
    • /
    • v.11 no.3
    • /
    • pp.81-89
    • /
    • 2008
  • The failure occurrence of resources in the grid computing is higher than in a tradition parallel computing. Since the failure of resources affects job execution fatally, fault tolerance service is essential in computational grids. And grid services are often expected to meet some minimum levels of quality of service (QoS) for desirable operation. However Globus toolkit does not provide fault tolerance service that supports fault detection service and management service and satisfies QoS requirement. Thus this paper proposes fault tolerance service to satisfy QoS requirement in computational grids. In order to provide fault tolerance service and satisfy QoS requirements, we expand the definition of failure, such as process failure, processor failure, and network failure. And we propose resource scheduling service, fault detection service and fault management service and show implement and experiment results.

  • PDF

Use Case Identification Method based on Goal oriented Requirements Engineering(GoRE) (Goal 지향 요구공학 기반의 유스케이스 식별 방법)

  • Park, Bokyung;Kim, R. Youngchul
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.3 no.7
    • /
    • pp.255-262
    • /
    • 2014
  • Our previous research[1] suggested object extraction and modeling method based on Fillmore's case grammar. This approach had not considered of use case extraction and method. To solve this problem, we adopt Fillmore's semantic method as linguistic approach into requirement engineering, which refine fillmore's case grammar for extracting and modeling use cases from customer requirements. This Refined mechanism includes the definition of a structured procedure and the representation of visual notations for 'case' modeling. This paper also proposes the use case decision matrix to identify use case size from extracted use cases based on goal oriented requirement engineering(GoRE), which related with the complexity of use case, and also prioritizes the use cases with this matrix. It demonstrates our proposal with the bank ATM system.

Design and Implementation of Lesson Plan System for teacher-student based on XML (XML 기반 교수-학생 학습지도 시스템의 설계 및 구현)

  • Choi, Mun-Kyoung;Kim, Haeng-Kon
    • The KIPS Transactions:PartD
    • /
    • v.9D no.6
    • /
    • pp.1055-1062
    • /
    • 2002
  • Recently, the lesson plan document that is imported in the educational area is not provided to the educational information systematically, and the teachers are not easy to compose the lessen plan documentation. So, it needs additional time and effort to develope the lesson plan documents. Because of increasing the distributing network. web-based lesson plan system is required to all of the education area. Therefore, we need to compose the lesson plan that is possible to obtain the various teacher's requirement by providing creation, retrival, and reusability of document using the standard XML on web. In this paper, we developed the system for creating the common DTD (Document Type Definition), providing the standard XML document through the common DTD over the lesson plan analysis. In this system, it provides the editor to compose the lesson plan and supports the searching function to improvement of reusability on the existing lesson plan. We design the searching functions such as the structure base, facet and keyword. The composed lesson plans are interoperated with Database. Consequently, we can share the information on web by composing the lesson plan using the XML and save the time and cost by directly writing the lesson plan on web. We can also provide the improved learning environment.

An Adjustable Process of Requirements Prioritizing for Release Plan (릴리즈 플랜의 적응적 요구사항 우선순위 프로세스)

  • Seong, Jae-Seok;Kang, Dong-Su;Song, Chee-Yang;Baik, Doo-Kwon
    • The KIPS Transactions:PartD
    • /
    • v.15D no.6
    • /
    • pp.841-856
    • /
    • 2008
  • The priority of requirement is important because the priority is a critical activity of release plan especially in software development which has an open market customer. Also, it is important for stakeholders to select a method and aspects to prioritize requirements. The selection is based on the organizational experience of a priority process, the process model of the product, goals and a type of products, and dependencies between requirements. But, the current researches considered only static dependency between requirements and did not suggest a systematic priority process. In addition, the current researches only suggest limited aspects to prioritize requirements, such as cost and value. Therefore, this paper proposes an adjustable priority process based on a priority model to select a method and aspects for the suitable priority for product and organization. Especially, this paper enhances the completeness of a release plan by a definition of static and dynamic dependency types between requirements. This paper suggests a priority model, which considers the dependencies between requirement and various viewpoint of software development. Based on the priority model, the paper suggests a systematic priority process to promote reasonable decisions to the priority and release plan of requirement.

Metamodeling Construction for Generating Test Case via Decision Table Based on Korean Requirement Specifications (한글 요구사항 기반 결정 테이블로부터 테스트 케이스 생성을 위한 메타모델링 구축화)

  • Woo Sung Jang;So Young Moon;R. Young Chul Kim
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.12 no.9
    • /
    • pp.381-386
    • /
    • 2023
  • Many existing test case generation researchers extract test cases from models. However, research on generating test cases from natural language requirements is required in practice. For this purpose, the combination of natural language analysis and requirements engineering is very necessary. However, Requirements analysis written in Korean is difficult due to the diverse meaning of sentence expressions. We research test case generation through natural language requirement definition analysis, C3Tree model, cause-effect graph, and decision table steps as one of the test case generation methods from Korean natural requirements. As an intermediate step, this paper generates test cases from C3Tree model-based decision tables using meta-modeling. This method has the advantage of being able to easily maintain the model-to-model and model-to-text transformation processes by modifying only the transformation rules. If an existing model is modified or a new model is added, only the model transformation rules can be maintained without changing the program algorithm. As a result of the evaluation, all combinations for the decision table were automatically generated as test cases.

Concept of Spatial Information Social Platform and Role of Government as a Platformer (공간정보 소셜플랫폼의 개념과 플랫포머로서 정부의 역할)

  • Choi, Won-Wook;Hong, Sang-Ki;Shin, Dong-Bin;Ahn, Jong-Wook
    • Spatial Information Research
    • /
    • v.20 no.4
    • /
    • pp.37-45
    • /
    • 2012
  • Moving forward on smart society, change of the way to solve the spatial issue used in information society is required. In order to be competitive and sustainable spatial information service, existing "spatial information open platform" strategy needs to be transformed into "spatial information social platform". The requirement for the spatial information open platform to be socialized and evolved into the spatial information social platform is investigated with respect to the characteristics of social platform P. Savalle(2010) suggested. Based on the investigation, the definition of spatial information social platform is formulated. Several roles of the government as a platformer to create and manage the spatial information social platform are suggested.

A Case Study on Implementation of Methodology for Wartime Warships Damage Rate Estimation (전시 함정 손실률 산정 방법론: 사례연구를 중심으로)

  • Ok, Kyoung-Chan;Yim, Dong-Soon;Choi, Bong-Wan
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.20 no.1
    • /
    • pp.137-147
    • /
    • 2017
  • Wartime warship damage rate indicates how much damage of friend warships shall have occurred during naval battles accomplished under specific war operational plans. The wartime damage rate analysis provides the baseline of wartime resources requirements. If wartime damage rate is overestimated, the national finance will get to negative effects because of exceeding the budget for inventory, operation, and maintenance of resources. Otherwise, if wartime damage rate is underestimated, the national defense will lose in the war because of lack of critical resources. In this respect, it is important to estimate the wartime damage rate accurately and reasonably. This paper proposes a systematic procedure to estimate the wartime warship damage rate. The procedure consists of five steps; force analysis, operation plan analysis, input variable definition, simulation modeling, and output analysis. Since the combat simulation model is regarded as the main tool to estimate damage rate, the procedure is focused on the development of model and experiments using the model. A case study with virtual data is performed to demonstrate the effectiveness of the developed procedure.