• 제목/요약/키워드: 설계 일관성

검색결과 691건 처리시간 0.03초

클라우드 컴퓨팅에서 BPEL 분석 및 검증을 위한 Onion 언어로의 변환 (Transformation of BPEL to Onion Language for Analysis and Verification of BPEL in Cloud Computing)

  • 최재홍;온진호;이문근
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 춘계학술발표대회
    • /
    • pp.1255-1258
    • /
    • 2012
  • 클라우드 컴퓨팅에서 사용되는 웹 서비스들은 워크플로우에 따라 서비스가 설계되어 조합된다. 대표적인 웹서비스 명세언어인 BPEL의 검증방법에는 Petri nets, Abstract State Machine(ASM), BPE-Calculus 등이 존재한다. 하지만 기존의 방법은 설계와 검증이 분리되어 있어 일관성이 부족하고, 시각화 문제, 동일성, 시간에 대한 제약조건의 문제점이 존재한다. 이에 대한 해결방안으로 이동성, 재구성성, 동일성, 시간속성 등의 새로운 분석 방법을 제시하는 Onion 언어가 제안되었다. 본 논문은 BPEL로 명세된 서비스를 Onion 시스템에 적용시키기 위한, 변환 과정에 대해서 다룬다. 이에 대한 과정으로 BPEL의 액티비티를 Onion으로 변환하고, 워크플로우 패턴을 적용하여, 3 가지 패턴을 Onion OVL로 변환을 적용하였다. 이를 통하여 BPEL을 Onion OVL로 변환하는데 문제가 없음을 보였으며, 효율적인 표현이 가능함을 보였다. 추후 Onion 시스템의 컴포넌트로 적용하여, BPEL로 작성된 서비스를 Onion 시스템을 통해 분석/검증할 수 있다.

대량의 한국어 구문 트리 태깅 코퍼스 구축을 위한 구문 트리 태깅 워크벤치의 설계 및 구현 (Design and Implementation of Tree Tagging Workbench To Build a Large Tree Tagged Corpus of Korean)

  • 장병규;이공주;김길창
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 1997년도 제9회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.421-429
    • /
    • 1997
  • 한국어 구문 트리 태깅 코퍼스는 한국어 문장의 구문 구조가 구문 트리 형태로 태깅된 코퍼스이다. 코퍼스 구축은 사람(annotator)에 의하여 수작업으로 이루어지므로, 많은 시간과 인력을 소모하는 작업이다. 그렇기 때문에 코퍼스 구축을 도와주는 구문 트리 태깅 워크벤치는 코퍼스 구축에 필수적인 요소이다. 본 논문에서는 대량의 구문 트리 태깅 코퍼스를 일관되고 빠르게 구축하기 위한 워크벤치 설계시의 고려 사항을 제시한다. 이러한 고려 사항을 기반으로, 다소 정확한 부분에 대한 태깅만을 수행하는 부분 구문 분석, 태깅한 결과에 대한 검증 과정인 일관성 검사, 편한 구문 트리 태깅을 고려한 사용자 인터페이스, 플랫폼 독립적인 구현 등과 같은 워크벤치의 실제 구현에 대하여 설명한다. 또한, 구문 트리 태깅 워크벤치의 앞으로의 연구 방향을 제시한다.

  • PDF

정책상속을 이용한 계층화된 정책 관리모델의 설계 (Design of A Hierarchy Policy Management Model Using Policy Inheritance)

  • 연현정;이동석;나재훈;이상호
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2001년도 추계학술발표논문집 (하)
    • /
    • pp.887-890
    • /
    • 2001
  • 최근 인터넷 이용의 확산으로 도메인의 크기와 규모가 방대해짐에 따라 정보시스템의 관리는 더욱더 복잡해졌다. 또한, 개별적인 네트워크 기술의 개발과 운용으로 인해 시스템간의 정보 공유와 정보 보안 정책의 일관성과 정책 표현 기법의 공동화가 어렵게 되자, 체계적이고 일관된 네트워크 보안과 정책 적용에 대한 요구가 증대 되었다. 이러한 정책적용과 관리상의 문제점들을 해결하기 위해 이 논문에서는 유연성을 갖추면서, 일관된 정책을 집행한 수 있는 정책관리의 구조와 속성을 설계하고 정책상속을 이용한 계층화된 정책 관리모델을 제안한다.

  • PDF

대용량 멀티미디어 데이터 저장 및 검색을 위한 데이터 관리 시스템 (Multimedia Data Management System for the Store arid Retrieval of Large-scale Data)

  • 복중효;김광종;이연식
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2000년도 추계학술발표논문집 (상)
    • /
    • pp.739-742
    • /
    • 2000
  • 본 논문에서는 객체지향 데이터베이스 시스템을 이용하여 대용량 멀티미디어 데이터를 저장 및 검색하는 멀티미디어 데이터 관리 시스템(Multimedia Data Management System : MDMS)을 설계 구현한다. 따라서, 사용자, 응용 및 데이터베이스 각 계층에 객체지향 설계 방법을 적용시켜 일관된 인터페이스와 다양한 응용 분야의 확장을 유도하고 기존의 파일 단위의 관리 방법과 데이터베이스 저장 관리 방법을 선택 또는 동시 이용 할 수 있도록 하여 관리자 요구 수용의 폭을 넓힌다. 또한, 질의에 대한 효율적인 검색을 위하여 질의 분석기, 객체 질의기, 객체 추출기와 데이터베이스 연산전, 후의 데이터 일관성 유지를 위한 객체 관리기를 구현한다. 향후에는 제안된 시스템을 기반으로 내용 기반 질의 처리 및 웹 연동 통합 관리 시스템의 개발이 요구된다.

  • PDF

차량 주행속도를 반영한 도로 평면선형설계 기법 연구 (Development of a Vehicle Operating Speed Model and its Application for Designing Consistent Horizontal Alignment)

  • 최재성;김상엽;이점호;황경성
    • 한국도로학회논문집
    • /
    • 제10권2호
    • /
    • pp.57-67
    • /
    • 2008
  • 현재 우리나라에서 도로 평면선형 설계를 위해 도로설계속도 개념을 사용하고 있다. 도로설계속도 개념은 단 한 개 도로 설계속도를 사용하기 때문에 도로 기하구조 수준이 일정해진다는 강점을 갖고 있으나, 도로 건설 후 그 도로를 주행하는 실제 차량 속도가 설계속도와 달리 나타날 수 있다는 약점을 갖고 있기도 하다. 본 연구에서는 이 약점을 보완하기 위해, 이미 여러 나라에서 사용 중인 주행속도 예측모형에 근거한 평면 선형설계기법을 제안한다. 본 연구에서는 이를 위해 우리나라 전역에서 표본을 선택하여 차량 속도조사를 수행했고, 속도에 영향을 미치는 도로설계요소를 통계분석을 통해 선정하여 양방향 2차로와 4차로 일반국도에 대한 차량 주행속도 모형을 제시했으며, 그 모형을 도로 평면선형설계에 적용하는 과정을 제시했다. 한편 새로운 기법에 대한 유효성을 밝히기 위한 실제 사례분석에서 새로운 기법은 기존 기법이 갖고 있는 약점을 해소하는 것으로 밝혀졌다. 향후 우리나라 도로 건설 사업에서 본 연구에서 제안한 평면선형 설계기법을 적용하면 도로 투자 효율성이 높아지고, 더 높은 설계일관성을 확보할 수 있을 것으로 판단한다.

  • PDF

저널링 파일 시스템을 위한 비휘발성 메모리 기반 병행적 저널링 기법의 설계 및 구현 (Design and Implementation of NVM-based Concurrent Journaling Scheme)

  • 박수희;이은영;한혁
    • 한국콘텐츠학회논문지
    • /
    • 제21권7호
    • /
    • pp.157-163
    • /
    • 2021
  • 파일 시스템에서 하나의 쓰기 연산은 여러 데이터를 수정할 수 있지만, 이러한 파일 시스템의 변경들은 원자적으로 디스크에 써지지 않는다. 따라서 파일 시스템의 일관성을 위해 기존의 저널링 기법은 시스템 성능을 저하시키는 대신 충돌 일관성을 보장한다. 비휘발성 메모리를 저널 공간으로 사용하면 비휘발성 메모리의 낮은 지연 시간과 바이트 수준 접근성으로 성능 저하를 완화시킬 수 있다고 알려졌다. 그러나 비휘발성 메모리를 고려한 저널링 기법 중에서 확장성을 제공하는 것은 없다. 본 논문에서는 확장적 저널링을 위해 비휘발성 메모리상의 저널 공간을 여러 영역으로 분할하여 한 영역에 집중된 연산을 분산시킨다. 또한, 저널 영역별로 입출력 쓰레드를 두어 저장 장치에 데이터 쓰기 연산을 가속화한다. 제안된 기법을 JFS에 적용하여 고성능 저장장치를 탑재한 멀티코어 서버에서 이를 평가한다. 평가 결과는 제안된 기법이 기존의 NVM 기반 저널링 파일 시스템의 기법보다 성능이 우수함을 보여준다.

JACE그룹통신시스템을 이용한 신뢰성 있는 공유객체공간의 개발 (Development of Reliable Object Space using JACE group communication system)

  • 안건태;문남두;정현락;유양우;이명준
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
    • /
    • pp.218-220
    • /
    • 1999
  • 인터넷과 네트웍 기술의 급속한 성장에 따라 간단하고 효율적이며, 관리가 용이한 분산 어플리케이션의 필요성이 증대되었다. 이러한 요구사항을 만족시키기 위하여 네트워크 상에 분산되어 있는 자원, 서비스 및 객체의 공유와 이들 사이의 통신을 일관된 방법으로 지원하는 튜플스페이스(Tuple space) 시스템들이 제안되었다. 그러나, 기존의 시스템들은 서버를 통한 중앙 집중적인 공유공간(shared space) 구조를 가지고 있으므로 서버의 실패(crash)나 네트워크의 분할(partition)과 같은 전산망의 결함이 발생하였을 경우 지속적인 서비스를 제공할 수 없게 된다. 본 논문에서는 특정 목적에 따라 그룹화된 공유공간의 생성이 가능하고 객체를 관련노드에 중복(replication)해서 저장할 수 있는 튜플스페이스 시스템인 ObjectSpace의 설계 및 구현에 대하여 설명한다. ObjectSpace는 객체를 공유하기 위하여 공유공간에 객체를 저장하는 기능과 공유된 객체를 조회하는 기능을 제공한다. 중복된 객체들에 대하여 일관성을 유지하기 위하여 그룹을 지원하는 JACE 그룹통신시스템을 하부구조로 사용하여 구현하였다.

  • PDF

주요 포털들의 서비스 분류체계 비교 분석 (An Analysis of Service Classification Systems Provided by Major Korean Search Portals)

  • 박소연
    • 한국문헌정보학회지
    • /
    • 제44권2호
    • /
    • pp.241-262
    • /
    • 2010
  • 본 연구에서는 국내 주요 검색 포털들인 네이버, 네이트, 다음, 야후에서 제공하는 서비스들의 분류체계를 분류체계의 일관성, 분류체계의 논리성, 인터페이스의 일관성, 카테고리명의 명확성, 카테고리 및 사이트 배열 순서, 계층 구조 설계 등의 관점에서 비교, 분석하였다. 이러한 기준에 따라 조사한 결과, 동일한 포털에서 제공하는 서비스들이 공통점이 거의 없는 독자적인 분류체계를 구축, 운영하고 있는 것으로 나타났다. 따라서 향후 포털들의 통합 분류체계 구축과 인터페이스 표준화가 요구된다. 본 연구의 결과는 포털들의 분류체계의 개선에 활용될 수 있을 것으로 기대된다.

온톨로지를 이용한 Feature - OWL 모델 변환기법 (A method of Feature - OWL Transformation using Ontology)

  • 김동리;송치양;백두권
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 춘계학술발표대회
    • /
    • pp.249-252
    • /
    • 2008
  • 소프트웨어 제품 개발에 있어서 생산성 증가와 비용 절감을 위해 기존 생성된 산출물의 재사용이 중요시 되고 있다. 이 재사용의 초점은 소스 코드의 재사용에서, 설계의 재사용, 도메인 공학에 초점을 둔 재사용으로 발전 되어 왔고, 재사용 자원을 만들기 위한 도메인 분석방법에 대한 연구가 이루어지고 있다. 현재 유사한 도메인에 대한 온톨로지 기반 feature 공통성과 가변성 분석 기법에 대한 연구가 있으나, feature 와 온톨로지에 대한 메타모델 차원의 명확한 분석과 모델들간의 매핑 프로파일이 없어서 일관성 있는 변환을 저해하고 있다. 본 논문에서는 메타모델 차원에서 온톨로지를 이용한 feature 모델과 OWL 간의 변환 방법을 제시한다. 이를 위해 feature 와 OWL 에 대한 메타모델을 정의하고, 이 속성들에 기반하여 feature 모델과 OWL 간 변환 프로파일과 알고리즘을 생성한다. 그리고 제시한 변환 규칙을 이용하여 전자결재 시스템을 통해 실제 적용함으로써 일관성 있는 모델 변환을 보여준다.

생물학적 동등성 시험에서 추가시험의 일관성 검정에 대한 소고 (Some Remarks on Consistency Test of Add-on Test in Bioequivalence Trials)

  • 하명호;박상규
    • Communications for Statistical Applications and Methods
    • /
    • 제19권1호
    • /
    • pp.47-55
    • /
    • 2012
  • 식품의약품안전청에서는 제제간의 생물학적 동등성의 입증이 실패했을 경우 추가시험을 허용하는 시험 기준을 2008년 7월부터 시행하고 있다. 생물학적 동등성 시험의 추가시험규정은 원시험에서의 동등성 평가가 불충분한 시험 예수 때문에 실패했을 때 별도의 재시험 시험계획서를 제출하지 않고 피험자수를 증가시켜 다시 시험하여 제제간의 동등성을 평가할 수 있는 근거를 마련한 점에 긍정적이다. 하지만 최근 추가시험의 규정에 따라 군당 12명 이상의 피험자를 사용했을 경우 오히려 추가시험의 일관성 검정 규정을 만족하지 못하여 추가시험이 실패되는 경우가 자주 발생하고 있어 추가시험규정에 대한 불만이 고조되고 있다. 본 연구에서는 이러한 상황이 발생되는 통계적 원인을 살펴보고 현 기준을 일본 규정처럼 조금 더 일반화하게 되면 추가시험을 더 폭넓게 사용할 수 있는 것을 제안하고자 한다.