• 프린팅코리아
• /
• 제11권10호
• /
• pp.113-113
• /
• 2012

재단기 전문업체 대호기계(대표 김남호)가 인쇄물 재단 작업에 혁신의 바람을 예고했다. 복잡하고 다양한 인쇄물 재단 작업의 명세를 바코드화하는 모듈 개발에 성공한 것이다. 이로써 앞으로는 인쇄물 재단 작업도 공산품의 명세를 인식하는 것처럼 단순화할 수 있게 됐다.

• 정보처리학회논문지D
• /
• 제15D권5호
• /
• pp.669-680
• /
• 2008

로깅이나 보안 등과 같은 횡단관심사를 효과적으로 모듈화하고 적용하는 관점지향 프로그래밍에 대한 다양한 연구가 진행되고 있다. 그러나 횡단관심사를 모듈화 한 애스펙트의 정보 및 애스펙트와 목표의 결합 정보를 명세하는 기법에 대한 연구가 필요한 상황이다. 본 논문에서는 애스펙트와 목표 모듈의 결합 관계를 명확히 하는 애스펙트 명세 기법을 제안한다. 제안한 기법은 애스펙트 명세, 우선순위 결정, 결합정보 명세, 그리고 교차점 명세 단계를 수행하여 애스펙트 정보를 명세한다. 애스펙트와 목표 모듈 사이의 결합 관계를 표현하는 결합정보 매트릭스를 기술하며, 결합점의 공통성을 분석하여 교차점 명세서를 기술한다. 제안한 명세기법은 애스펙트 및 애스펙트와 목표 모듈의 결합에 대한 구체적인 정보를 제공하며, 이를 통해 애스펙트 구현에 필요한 상세한 정보를 사용할 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권11호
• /
• pp.1001-1014
• /
• 2003

빠르게 변화하는 시장의 요구에 대응하고자 특정 영역에 속하는 애플리케이션 간의 재사용을 높이려는 프로덕트 라인 개발 방법에 대한 연구가 활발하게 진행되고 있다. 프로덕트 라인 개발 방법에서는 영역 내의 여러 애플리케이션들 간의 차이점과 공통점을 분류하는데 피쳐 모델링이라는 분석 방법을 주로 사용하고 있다. 기존 피쳐 모델링에서는 피쳐를 비정형적으로 명세화하기 때문에 모호성, 이해의 오류, 잘못된 해석 등의 문제가 발생하고 있다. 피쳐를 추상화하여 도메인에 독립적인 메타 모델로 나타내고 정형화 기법을 도입하여 명세화 한다면 기존의 피쳐 모델에서 발생하는 문제점들을 해결할 수 있을 것이다. 따라서 본 논문에서는 첫째, 메타 수준에서의 피쳐 모델링을 통하여 피쳐의 구조와 속성을 정의한 후 다중 패러다임 정형화 명세 언어를 사용하여 피쳐를 명세화하는 기법을 제시하였다. 둘째, 피쳐에 대한 정형화 명세 프로세스를 기술하였으며, 셋째, 명세화된 피쳐들 간에 발생할 수 있는 문제점들을 해결하기 위한 피쳐 상호작용 관리기법을 정의하였다. 그리고 마지막으로, 제시된 피쳐의 정형화 명세 기법을 분산 미팅 스케줄러 시스템에 적용시켜보았다.

• 정보처리학회논문지D
• /
• 제15D권3호
• /
• pp.327-336
• /
• 2008

XML을 이용한 사용자 인터페이스(UI : User Interface)명세에 관한 연구로 다양한 UI 명세언어(UIDL : User Interface Description Language)들이 등장하였다. 기존의 UIDL들은 웹과 데스크톱 어플리케이션의 UI 명세를 지원하지만, 모바일 어플리케이션을 위한 명세는 지원하지 않는다. 본 논문에서는 자바의 모바일 플랫폼인 J2ME(Java Platform, Micro Edition)의 응용 모델인 MIDlet UI 명세를 위한 MIML(Midlet Interface Markup Language)을 제안한다. 제안한 MIML로부터 MIDlet의 UI와 관련된 자바 코드를 자동으로 생성하기 위한 규칙을 제안하고, 이를 이용하여 MIML을 자동으로 자바코드로 만들어주는 J2MERenderer를 구현하였다. 제안한 MIML은 모바일 UI 명세의 효율성을 제공하고, J2MERenderer는 모바일 어플리케이션의 UI 개발에 생산성과 일관성을 유지하도록 도와준다.

• 인터넷정보학회논문지
• /
• 제6권5호
• /
• pp.1-9
• /
• 2005

속성 인증서를 이용한 역할기반 접근제어를 함에 있어서 역할 관리비용을 줄이기 위해 역할 할당 인증서와 역할 명세인증서를 활용하면 역할의 변경에 따른 갱신 오버헤드를 줄일 수 있다. 특히 유비쿼터스 컴퓨팅 환경과 같은 고도의 분산 컴퓨팅 환경에서는 광범위한 통제 구조를 가질 수 없으므로 이를 고려한 속성 인증서 관리 기법이 요구된다. 역할 명세 인증서를 따로 두는 경우 역할 관리 비용이 줄어드는 바, 더 나은 성능향상을 위하여 본 논문에서는 역할 명세를 구조화하여 효율적 역할기반 접근제어를 위한 속성 인증서 관리 기법을 모색한다. 역할을 그룹화하여 역할 명세 인증서의 관계구조 트리를 구성하여 분산된 환경에서 안전하고 효율적인 역할의 갱신과 분배를 달성한다. 규모 확장성을 위해 멀티캐스팅 패킷을 사용한 역할 명세 인증서 분배를 하며, 그에 따른 네트워크 상의 패킷 손실율을 고려한 성능분석을 하여 역할 그룹을 두어 역할 명세 인증서를 구조화하는 것이 성능을 향상시킴을 정량적으로 보인다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.575-578
• /
• 2000

소프트웨어 개발 초기 단계에서의 부정확에 기인한 에러들을 줄이기 위한 노력이나 기술이 절실하다. [1][2] 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z 나 VDM 과 같은 정형 표기법(formal notation)에 의해 쓰여지며, 정형성(formality)과 추상화(abstraction)의 제공 등 두 가지 사항에 대한 요구사항을 충족시켜 준다. [3][4] 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP (Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 논문은 이를 보완하기 위해 범용 목적의 명세 언어인 기존의 Z 를 확장하여 병행성을 명세 가능하도록 하고자 한다. 이를 위해서 병행 프로세스(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다. 아울러, 확장된 Z 로 작성된 명세서를 목적 언어로 자동 변환(translate)하기 위한 변환기(translator)를 Lex 와 Yacc을 이용하여 구현하고, 변환된 목적 언어 파일을 실행하여 확장된 Z 가 모호성을 포함하지 않는지 시뮬레이션을 통해 검증한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권6호
• /
• pp.608-619
• /
• 2000

본 논문에서는 가상 프로토타입핑의 주요 명세 언어인 Statechart 명세를 프로세스 알제브라의 일종인 ACSR(Algebra of Communicating Shared Resources)로 변환하는 규칙을 제안한다. Statechart는 사용하기 편리하고 이해하기 쉬운 명세 언어이지만 수학적인 semantics의 정의가 되어 있지 않아 명세의 정확성을 검증하기가 매우 어렵다. Statechart 명세를 ACSR로 바꾸게 되면 Statechart에 수학적인 semantics를 주게 되고 VERSA를 이용하여 Statechart 명세를 수학적으로 검증할 수 있게 된다. 따라서, 두 언어의 장점, 즉 Statechart의 편리함과 ACSR의 정확성을 모두 얻을 수 있다.

• 한국컴퓨터산업학회논문지
• /
• 제3권1호
• /
• pp.117-124
• /
• 2002

소프트웨어 개발에 적합한 설계는 하나 이상 존재할 수 있고, 소프트웨어 아키텍쳐는 설계 과정 동안 수정, 갱신, 대체로 인해 변경될 수 있으므로, 다양한 관점에서 설계된 아키텍쳐의 서로 다른 버전들을 유지 관리 할 수 있는 방법과, 아키텍쳐의 변경 요소들을 효율적으로 명세할 수 있는 방법이 요구된다. 이 연구에서는 기존에 이미 정의되어 있는 아키텍쳐와, 이를 재사용하여 설계한 새로운 아키텍쳐를 통합된 구조의 소프트웨어 아키텍쳐로 재구성할 수 있는 방법과, 재구성 아키텍쳐 명세에 필요한 명세 요소와 명세 구조에 대해 정의하고 있다. 제안된 통합된 구조의 명세 방법은 아키텍쳐 설계 과정에서 다양한 개발자 관점 에서 정의된 아키텍쳐들을 참조 및 재사용할 수 있는 방법을 제공하고, 아키텍쳐의 수정, 대체, 갱신과 같은 변경 요소에 대해 유연성 있는 명세 방법을 제공한다.

• 한국컴퓨터산업학회논문지
• /
• 제3권3호
• /
• pp.341-350
• /
• 2002

소프트웨어 아키텍쳐는 설계 과정 동안 수정, 갱신 그리고 대체로 인해 재구성될 수 있으며, 소프트웨어 개발에 적합한 설계는 하나 이상 존재할 수 있기 때문에 다양한 관점에서 설계된 아키텍쳐를 재구성할 수 있는 방법과 아키텍쳐의 변경 요소들을 효율적으로 명세할 수 있는 방법이 필요하다. 이 논문에서는 기존에 이미 정의되어 있는 아키텍쳐와 이를 재사용하여 설계한 새로운 아키텍쳐를 통합된 구조의 소프트웨어 아키텍쳐로 재구성할 수 있는 방법을 제안하였다. 그리고, 통합된 구조의 소프트웨어 아키텍쳐 명세에 필요한 명세 요소와 명세 구조를 제안한다. 제안한 통합된 구조의 명세 방법은 아키텍쳐 설계과정에서 다양한 개발자 관점에서 정의된 아키텍쳐들을 참조 및 재사용할 수 있는 방법을 제공하고, 아키텍쳐의 수정 및 갱신 그리고 대체와 같은 변경 요소에 대해 유연성 있는 명세 방법을 제공한다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1998년도 공동추계학술대회 경제위기 극복을 위한 정보기술의 효율적 활용
• /
• pp.623-635
• /
• 1998

이 논문에서 우리는 분산 실시간 소프트웨어 설계방법인 CODARTS/DA(Concurrent Design Approach for Real-Time Systems/Distributed Application)를 위한 타스크 행위 명세방법을 제안한다. 각 타스크는 CODARTS/DA 모듈들, 즉, 다수 클라이언트/서버 모듈(Multiple Client/Sever Module), 단일 클라이언트/서버 모듈(Single Client/Server Module), 그룹 통신모듈(Group Comm. Module), 우선 순위 모듈등과 통신을 수행하는데, 분산환경의 동기, 비동기 문제들을 제안한 방법으로 설계 명세할 수 있다. 또한 제안된 명세방법은 C언어와 비슷한 문법구조를 제공하므로 쉽게 문서들이 구조적 프로그램으로 변환될 수있다.