-
公开(公告)号：KR1020160103395A
公开(公告)日：2016-09-01
申请号：KR1020150025838
申请日：2015-02-24
Applicant: 한국과학기술원
CPC classification number: G06F11/3013 , G06F15/16
Abstract: 지능을가진스마트기기들이자율협업을통하여임무를수행하는과정에서변화하는상황에적절하게대응하지못할경우, 성공적인임무수행에문제가발생하거나, 안전필수시스템의경우생명에위협을주는행위로이어질수 있다. 따라서자율협업에대한검증을통해협업이무결하고안전하게수행되고있는지지속적으로확인하는것이필요하다. 본논문은모델체킹을이용하여스마트기기자율협업을검증할수 있는프레임워크를제안하고관련된이슈를정리한다.
Abstract translation: 当聪明的智能设备智能设备在智能设备通过自主协作来执行任务时，不能正确应对变化的情况，在成功的任务执行或行动中可能会出现问题，在发生基本安全系统的情况下威胁生命。 因此，有必要通过对自主协作的验证来持续检查协作是否完全安全地执行。 本论文提出了一种框架，能够通过使用模型检查来验证智能设备的自主协作，并总结相关问题。
-
公开(公告)号：KR1020110067647A
公开(公告)日：2011-06-22
申请号：KR1020090124331
申请日：2009-12-15
Applicant: 한국과학기술원
Abstract: PURPOSE: A pattern-based method and an apparatus of identifying data with abnormal attributes are provided to identify data with abnormal attributes having a plurality of attributes with high reliability by detecting the data having abnormal attributes from the data attribute set. CONSTITUTION: A data pre-processor(1030) converts data into a transaction. A data association pattern(DAP) determines the DAP representing the normal relationship between the related attributes from the transaction set. A priority determination part(1070) determines the priority of the DAP. An abnormal value determiner(1090) determines the data which includes the DAP as a subset and the inclusion of the abnormal attribute of the data on the basis of the priority of the DAP.
Abstract translation: 目的：提供一种基于模式的方法和识别具有异常属性的数据的装置，通过从数据属性集中检测具有异常属性的数据来识别具有具有高可靠性的多个属性的异常属性的数据。 构成：数据预处理器（1030）将数据转换为事务。 数据关联模式（DAP）确定表示来自事务集的相关属性之间的正常关系的DAP。 优先级确定部分（1070）确定DAP的优先级。 异常值确定器（1090）根据DAP的优先级确定包含DAP作为子集的数据以及包含数据的异常属性。
-
公开(公告)号：KR101040545B1
公开(公告)日：2011-06-16
申请号：KR1020080107843
申请日：2008-10-31
Applicant: 한국과학기술원
IPC: G06F19/00
Abstract: 본 발명은 메트릭 기술언어 표현장치 및 표현방법, 메트릭 기술언어의 구조에 관한 것이다.
본 발명에 따른 메트릭 기술언어 표현장치는, MDL로 메트릭을 표현하고 UML 다이어그램을 대상으로 하여 계산하는 메트릭 기술언어 표현장치고, MDL로 표현된 메트릭이 입력되는 메트릭 입력부, 메트릭 입력부에 입력된 메트릭을 분석하여 MDL 트리 구조를 생성하고, 그 MDL 트리구조를 OCL표현식으로 변환하는 MO변환부, UML 다이어그램이 입력되는 UML 입력부, MO변환부에서 변환된 OCL 표현식과 UML 다이어그램을 입력받아 UML 다이어그램의 엔터티 단위로 OCL 표현식을 계산하는 계산부, 계산부에 계산된 OCL 표현식의 결과값을 표시하여주는 표시부를 포함한다.
MDL, 메트릭, UML 다이어그램, 메트릭 기술언어-
公开(公告)号：KR1020100048605A
公开(公告)日：2010-05-11
申请号：KR1020080107843
申请日：2008-10-31
Applicant: 한국과학기술원
IPC: G06F19/00
CPC classification number: G06F17/22
Abstract: PURPOSE: A device and a method for describing a metric description language, architecture of metric description language are provided to facilitate a metric technique by searching a path between meta model targets and creating a searching expression formula through an MDL(Metric Description Language) based on OCL(Object Constraint Language). CONSTITUTION: A metric input unit(100) inputs a metric, and the metric is expressed in an MDL(Metric Description Language). An MO MDL to OCL(Object Constraint Language) translator(200) creates an MDL tree structure through the analysis of the inputted metric. The MO conversion unit converts the MDL tree structure into OCL expression. An UML(Unified Modeling Language) input unit(300) inputs an UML diagram, and a calculation unit(400) calculates the OCL expression in an entity unit of an UML diagram.
Abstract translation: 目的：提供用于描述度量描述语言的度量描述语言的设备和方法，以及度量描述语言的体系结构，以通过在元模型目标之间搜索路径并通过基于以下方式的MDL（度量描述语言）创建搜索表达式公式来促进度量技术 OCL（对象约束语言）。 规定：度量输入单位（100）输入度量，度量用MDL（度量描述语言）表示。 MO MDL到OCL（对象约束语言）翻译器（200）通过分析输入的度量创建MDL树结构。 MO转换单元将MDL树结构转换为OCL表达式。 UML（统一建模语言）输入单元（300）输入UML图，并且计算单元（400）计算UML图的实体单元中的OCL表达式。
-
公开(公告)号：KR101172579B1
公开(公告)日：2012-08-09
申请号：KR1020090124331
申请日：2009-12-15
Applicant: 한국과학기술원
Abstract: 하나 이상의 속성을 포함하는 데이터 집합에서 이상 속성을 포함하는 데이터를 검출하기 위한 방법 및 장치가 개시된다. 이 방법은 데이터에 포함되는 속성들의 수치 범위를 각각 적어도 하나의 구간(interval)으로 분할하고, 속성들의 값을 해당 값을 포함하는 구간으로 각각 대체함으로써 데이터를 트랜잭션으로 변환하는 데이터 전처리 단계, 트랜잭션들의 집합으로부터 속성들 중 관련성 있는 속성들 간의 정상적 관계를 나타내는 데이터 연관 패턴(data association pattern, DAP)을 결정하는 데이터 연관 패턴 결정 단계, 결정된 데이터 연관 패턴들 각각의 중요도(significance)를 결정하는 중요도 결정 단계, 및 데이터 연관 패턴을 부분 집합으로서 포함하는 데이터를 결정하고, 결정된 데이터의 속성들에 대해 데이터 연관 패턴의 중요도를 이용하여 데이터가 이상 속성을 포함하는지 여부를 결정하는 이상치 판정 단계를 포함한다. 본 발명에 의하여, 여러 개의 이상 속성을 가지는 이상치 데이터도 높은 신뢰도로 식별할 수 있다 .
소프트웨어 프로젝트 데이터, 소프트웨어 데이터, 데이터 품질, 이상치, 데이터 패턴, 오류 데이터-
Patent Agency Ranking
公开(公告)号：KR101127701B1
公开(公告)日：2012-03-22
申请号：KR1020100033665
申请日：2010-04-13
Applicant: 한국과학기술원
Abstract: 본 발명은 비즈니스 프로세스로부터 사용자 맞춤형 웹 서비스를 생성하는 시스템 및 방법을 제공하다. 즉, 본 발명은 사용자의 비즈니스 프로세스 상의 공통성(commonality)과 가변성(variability)에 대한 표현을 지원하는 비즈니스 프로세스 패밀리 모델을 제공하고, 이러한 모델을 컴퓨터 시스템에 의해 실행될 수 있는 웹 서비스로서 실제화하여 사용자의 요구 사항에 부합하는 웹 서비스를 생성할 수 있는 시스템 및 방법을 제공한다.
-
公开(公告)号：KR1020100099891A
公开(公告)日：2010-09-15
申请号：KR1020090018457
申请日：2009-03-04
Applicant: 한국과학기술원
CPC classification number: G06Q50/10 , G06F17/3089
Abstract: PURPOSE: A method for determining web service variability using a web service function and arrangement variability is provided to changeably designs functional change and arrangement change of a web service, thereby grasping and analyzing various changes in advance. CONSTITUTION: A web service function variability specification(101) is generated. By using the web service function variability specification, a web service arrangement variability model(111) showing common information and change information of a web service arrangement. A web service function variability is determined to specific request requirement. A web service function specification(105) showing function of specific web service is generated. By using the web service function specification and the web service arrangement variability model, a web service arrangement commonality is reused.
Abstract translation: 目的：提供一种使用Web服务功能和排列变化来确定Web服务变异性的方法，以便可变地设计Web服务的功能变化和排列变化，从而预先掌握和分析各种变化。 构成：生成Web服务功能变异规范（101）。 通过使用web服务功能变异性规范，显示Web服务安排变异性模型（111），其显示web服务安排的共同信息和变更信息。 Web服务功能可变性根据特定请求要求确定。 生成表示特定Web服务功能的Web服务功能规范（105）。 通过使用Web服务功能规范和Web服务安排变异性模型，Web服务安排通用性被重用。
-
公开(公告)号：KR1020110114173A
公开(公告)日：2011-10-19
申请号：KR1020100033665
申请日：2010-04-13
Applicant: 한국과학기술원
CPC classification number: G06Q10/06 , G06F17/248 , G06Q50/10 , H03M7/707
Abstract: 본 발명은 비즈니스 프로세스로부터 사용자 맞춤형 웹 서비스를 생성하는 시스템 및 방법을 제공하다. 즉, 본 발명은 사용자의 비즈니스 프로세스 상의 공통성(commonality)과 가변성(variability)에 대한 표현을 지원하는 비즈니스 프로세스 패밀리 모델을 제공하고, 이러한 모델을 컴퓨터 시스템에 의해 실행될 수 있는 웹 서비스로서 실제화하여 사용자의 요구 사항에 부합하는 웹 서비스를 생성할 수 있는 시스템 및 방법을 제공한다.
-
公开(公告)号：KR1020110065056A
公开(公告)日：2011-06-15
申请号：KR1020090121887
申请日：2009-12-09
Applicant: 한국과학기술원
CPC classification number: G06F8/20
Abstract: PURPOSE: A change influence analysis method of a software process is provided to treat the change of activity elements, a product, and role elements. CONSTITUTION: A process dependability model is created on the basis of multi-dimensional dependability(S11). An element to be changed is discriminated(S12). Process slicing is executed on the basis of the process dependability model(S13). The process slice of the element to be changed is determined as a part in which a software process receives influence(S14).
Abstract translation: 目的：提供软件过程的变化影响分析方法，以处理活动元素，产品和角色元素的变化。 构成：基于多维可靠性创建过程可靠性模型（S11）。 判别要改变的元件（S12）。 基于过程可靠性模型执行过程切片（S13）。 要更改的元素的处理片段被确定为软件处理接收影响的部分（S14）。
-
公开(公告)号：KR101039748B1
公开(公告)日：2011-06-08
申请号：KR1020090018457
申请日：2009-03-04
Applicant: 한국과학기술원
Abstract: 본 발명은 웹 서비스의 기능과 배치 가변성을 이용한 웹 서비스 가변성 결정 기법에 관한 것으로, 웹 서비스 기능 가변성 명세서를 생성하는 웹 서비스 기능 가변성 설계 단계와, 웹 서비스 배치 가변성 모델을 생성하는 웹 서비스 배치 가변성 설계 단계와, 웹 서비스 기능 명세서를 생성하는 웹 서비스 기능 가변성 선택 및 결정단계 및 웹 서비스 배치 모델을 생성하는 웹 서비스 배치 가변성 선택 및 결정단계를 포함하는 것을 특징으로 한다. 본 발명에 따르면, 서비스 단위의 소프트웨어 및 시스템을 개발하고 배치하는 단계에서 발생할 수 있는 변화에 대하여 사전에 파악하고 분석할 수 있는 기능을 제공하며 아울러 웹 서비스의 기능과 배치 정보에 대한 분리를 통해 웹 서비스 기능과 배치 정보 간의 느슨한 연결성을 확보하여 시스템의 요구사항에 대한 변화에 따라 대응해야하는 웹 서비스 수정 및 개발 범위의 파악을 용이하게 한다.
UML, 가변성(Variability), 웹서비스 배치(Deployment of web service)
-
-
-
-
-
-
-
-
-
Search Results
13
records
(took 0.021 seconds)
