• 제목/요약/키워드: Object Oriented Software Design

검색결과 274건 처리시간 0.021초

동적 시스템 명세를 위한 시제논리언어와 그 검증 (A Temporal Logic for Specification of Dynamic Systems and Its Verification)

  • 조승모;김형호;차성덕;배두환
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제29권7호
    • /
    • pp.450-464
    • /
    • 2002
  • 대부분의 객체지향 시스템을 비롯한, 복잡한 시스템들은 그 구성요소들이 시스템의 수행시간 중에 변하는 동적인 특성을 가지고 있다. 하지만 대부분의 기존 분석기법들은 이러한 측면을 무시하고 있다. 이 논문에서는 이러한 동적 시스템을 명세하고 분석하기 위한 기법을 제안하고자 한다. 이를 위해, 동적 시스템의 명세를 기술하기 위한 새로운 시제논리인 HDTL을 제안하고, 기존의 시제논리를 위한 분석기법을 수정하여 새로운 tableau 기법을 제안하였다. HDTL은 변수와 한정자를 사용하여 동적 시스템의 자동적 분석을 가능하게 하였다. 이 기법을 사용하여 우리는 시스템의 요구사항 명세를 기술하고, 시스템의 수행이 그 명세를 만족하는지를 살펴 볼 수 있다 실험을 통해 HDTL과 분석기법의 적용성을 보였다

소프트웨어 컴포넌트 개발을 위한 논리 및 워크플로우 가변성 설계 기법 (Techniques for Designing Logic and Workflow Variability in Software Component Development)

  • 정광선;김수동
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제31권8호
    • /
    • pp.1027-1042
    • /
    • 2004
  • 소프트웨어 컴포넌트는 단일 시스템에서 사용하기보다는 다수의 시스템 혹은 기업, 프로젝트간에 재사용하기 위한 소프트웨어 모듈이다. 컴포넌트가 다양한 시스템에서 재사용되기 위해서는 여러 시스템에서 요구되는 공통적인 기능을 제공하는 것뿐만이 아니라 업무상에서 나타나는 다양한 가변적 측면들이 고려되어 고객의 요구에 맞도록 커스터마이즈 될 수 있어야 한다. 사용자가 컴포넌트를 쉽게 사용하기 위해서는 개발 단계에서부터 가변적인 측면이 고려된 컴포넌트가 설계되어 구현되어야 한다. 가변성을 고려하여 쉽게 커스터마이즈 될 수 있는 컴포넌트는 여러 어플리케이션에서 높은 재사용성을 가지게 될 것이다. 기존에 제시된 커스터마이즈 기법들은 소프트웨어가 가지는 가변적인 요소를 어떻게 설계할지에 대해 객체 지향에 기반하여 개념적인 방법만을 제시하고 있으며, 컴포넌트에 적합한 가변성을 고려하고 있는 기법은 드문 실정이다. 따라서 개발이 완료되어 배포된 블랙 박스 형태의 컴포넌트를 커스터마이즈 하기에는 적합하지 않다. 본 논문에서는 컴포넌트가 가지는 기능적인 측면에서의 가변성을 논리와 워크플로우 두 가지로 분류하여 각각의 가변성을 설계하기 위한 선택형, 플러그인, 외부화 세 가지 기법들을 제시한다. 또한 실용적으로 기법들을 적용하기 위해 상세한 설계 지침과 적용 지침들도 제시한다.

S-MADP : 중대형 프로젝트의 모바일 애플리케이션을 위한 서비스 기반 개발 프로세스 (S-MADP : Service based Development Process for Mobile Applications of Medium-Large Scale Project)

  • 강태덕;김경백;정기주
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제2권8호
    • /
    • pp.555-564
    • /
    • 2013
  • 최근 모바일 기기의 혁신적 진화와 태블릿 PC나 스마트폰의 급격한 확산이 이루어지면서 개인의 일상뿐 아니라 기업의 업무용 애플리케이션에도 새로운 변화가 이루어지고 있다. 특히 수개월 이상의 개발 기간이 필요한 중대형 업무용 모바일 애플리케이션의 경우 그 복잡도나 중요도가 급격하게 늘고 있다. 현재 애자일 기반의 모바일 애플리케이션 개발 프로세스가 이러한 중대형 모바일 애플리케이션 개발에 사용되지만, 개발자의 숙련도에 대한 높은 의존도와 상세 작성지침들의 부족한 현상등의 문제점들이 나타나고 있다. 본 논문에서는 이러한 문제점들을 해결하기 위해 S-MADP (Smart Mobile Application Development Process)를 제안한다. S-MADP은 객체지향 설계프로세스를 확장한 서비스 기반의 중대형 모바일 애플리케이션을 위한 개발 프로세스이다. 다양하고 제한된 모바일 기기들의 리소스를 보다 효과적으로 사용하는 애플리케이션의 개발을 위해 사용자 요구사항을 서버기반 또는 클라이언트기반의 서비스로 정의하고 효과적인 서비스의 재사용을 위한 상세지침들을 제공한다. 또한 다양한 사용자 인터페이스를 지원하는 화면 개발을 위한 효과적인 UI설계 상세지침을 지원한다. S-MADP의 성능을 검증하기 위해 3개사의 대형 업무용 모바일 애플리케이션 개발 프로젝트를 진행하였고 그 결과를 분석하였다. 수행된 프로젝트들은 TB사의 'TBS(TB Mobile Service) 3.0', TS사의 '모바일 앱스토어'와 TG그룹의 '모바일 그룹웨어' 프로젝트들이다. 프로젝트를 수행한 결과, 기존의 애자일 기반의 모바일 애플리케이션 개발 프로세스를 사용할 때에 비해서 S-MADP은 모바일 애플리케이션 개발 환경에서 중점적으로 고려되어야 하는 '리소스 사용의 최소화', '서비스 기반의 설계', '모바일 기기에 적합한 사용자 인터페이스'에 대한 상세설계 내용을 보다 자세히 제공하는 것으로 확인되어, 개발된 모바일 애플리케이션의 사용성, 유지보수성, 효율성을 향상 시킨다고 분석되었다. 또한 S-MADP를 현장 적용한 결과 애자일 기반의 개발 프로세스에서 예상된 성능보다 25%향상된 성능으로 중대형 모바일 애플리케이션을 개발 할 수 있음을 확인 하였다.

3차원 객체기반 모델을 이용한 설계도면 및 시방서관리 시스템 구축 (Development of Drawing & Specification Management System Using 3D Object-based Product Model)

  • 김현남;왕일국;진상윤
    • 한국건설관리학회논문집
    • /
    • 제1권3호
    • /
    • pp.124-134
    • /
    • 2000
  • 건설 프로젝트 수행에서 설계정보는 실제 건축물에 대한 정확한 정보가 반영된 체계적인 모델로 구축하여 프로젝트 전 단계에서 적용할 수 있어야 한다. 하지만 3차원 기반의 도면과 관련 문서에 대한 파일 관리 위주의 시스템은 발주자 및 설계자의 의도를 명확하게 표현하고 전달하기 어려울 뿐만 아니라 단순기능위주, 방대자료의 정리 부족, 축적된 정보와 실행정보의 공유 및 교환이 미비한 수준이다. 반면, 제반 환경의 변화와 기술의 발전 속도는 관련 사용자들이 적응하기 어려울 정도로 급변하고 있다. CAD 기술의 발전은 기존의 2차원 도면 위주에서 3차원 모델기능의 확대와 발전으로 많은 설계정보를 CAD를 통해 표현하고 기타 관련정보와 연계할 수 있는 CAD시스템들이 등장하고 있다. 그러나 아직까지 현시점에서 설계관련 모든 정보를 3차원 모델을 통해 나타내는 것은 매우 어려우며 많은 시간과 비용을 필요로 하고 있다. 따라서 본 연구에서는 기존 3차원 도면 및 시방서 위주의 시스템에서 3차원 모델기반의 설계정보관리 시스템으로의 전환기 시점에 초점을 두고 3차원 모델기반 시스템으로의 완전한 전환이 아닌 3차원과 3차원 기반 시스템의 공존을 통한 전환에 그 초점을 두고 있다. 다시 말해 2차원 도면과 3차원 모델의 통합을 통한 혼합된 형태의 2차원 및 3차원 설계정보관리시스템의 모델을 제시하고자 하며, 이를 통해 객체기반 설계 및 시방서 정보 통합관리시스템을 개발하는 것이 본 연구의 목적이다. 본 연구에서는 3차원 도면 및 시방서 정보를 통합하여 3차원 객체 기반의 설계정보로 표현하기 어려운 부분을 보완하고, 3차원 정보를 효과적으로 활용할 수 있도록 관련 업무를 분석하고, 관리 모델을 구축하여, 이를 기반으로 한 설계도면 및 시방서 통합관리 시스템을 구축하였다.

  • PDF