• 한국정보통신학회논문지
• /
• 제23권12호
• /
• pp.1485-1491
• /
• 2019

오늘날 생체신호의 종류 및 크기가 방대해짐에 따라 생체신호를 빅데이터로 정의하고 이를 분석하고자 하는 연구가 활발히 진행되고 있다. 하지만 생체신호를 빅데이터로 처리함에 있어 소셜 네트워크에서 발생하는 빅데이터 처리와 비슷한 방법을 이용하고 있다. 생체신호 빅데이터는 특징값을 추출하여 이를 별도로 저장하고 다양한 분석기기로 분석할 수 있어야 한다. 즉 데이터의 상호운용성과 호환성이 보장되어야 하며 분석도구에서의 지표 표현이 간결해야 한다. 이를 위하여 본 논문에서는 생체신호를 표준화된 HL7의 표준 메타모델기반으로 표현하고 OMG의 표준 수학적 명세 언어인 OCL을 이용하여 생체신호를 분석하는 모델을 제안한다. 또한 제안한 모델을 이용하여 심전도 데이터를 이용한 칼로리 소모량을 구해봄으로써 활용 가능성을 확인한다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2004년도 e-Biz World Conference
• /
• 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.

• 한국멀티미디어학회논문지
• /
• 제14권1호
• /
• pp.121-132
• /
• 2011

건강관리 시스템은 자신의 건강상태를 주기적으로 체크하여 질병의 조기발견과 예방에 도움을 주기 위한 의료정보 시스템의 일종이다. 이러한 건강관리 시스템은 신체에서 획득한 신호를 기반으로 한다. 하지만 현재 개발되어 있는 건강관리 시스템은 생체신호를 저장하는 방법과 표현법이 의료기기마다 다르며, 건강 상태를 평가하는 방법 또한 다르다. 이는 시스템간의 상호운용성 결핍, 소프트웨어 개발 비용의 증대, 획일화된 시스템의 부재라는 단점을 가져온다. 이에 본 논문에서는 메타모텔을 기반으로 건강관리 시스템을 개발한다. 이를 위하여 생체신호 데이터를 HL7의 표준 메타모델기반으로 표현 및 저장하고, 건강에 대한 위험요소를 평가하기 위해 웰니스지표 정의 및 데이터 추출을 수학적 명세언어인 OCL을 사용한다. 또한 OSGi기반으로 컴포넌트를 구현하고 조립하여 다양한 디바이스 및 시스템의 확장을 쉽도록 한다. 메타모델기반으로 생체 데이터를 표현함으로써 시스템간의 상호운용성을 확보할 수 있으며, OCL을 사용하여 웰니스지표를 정의함으로써 건강 상태 평가방법의 표준화를 유도하고, 명확한 명세가 가능하다는 장점을 가진다.