한국정보과학회논문지:소프트웨어및응용 (Journal of KIISE:Software and Applications)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

UML 2.0 프로파일링을 이용한 FORM 아키텍처 모델링

Modeling FORM Architectures Based on UML 2.0 Profiling

  • 양경모 (삼성전자 DM개발사업부) ;
  • 조윤호 (포항공과대학교 정보통신대학원) ;
  • 강교철 (포항공과대학교 컴퓨터공학과)
  • 발행 : 2009.06.15
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

소프트웨어 제품 생산 라인(Software Product Line) 공학은 새로운 소프트웨어 개발 패러다임으로 각광받고 있다. SPL에 FORM(Feature-Oriented Reuse Method) 방법론을 적용하면, 휴대전화나 디지털TV 같이 공통점이 많은 제품군의 다양한 소프트웨어를 휘처 모델링을 통해 만들어진 재사용 가능하고 유연한 컴포넌트를 조합하여 생산해 낼 수 있다. 한편, MDA(Model Driven Architecture) 방법론은 PIM(Platform Independent Model) 을 통해 다양한 개별 플랫폼을 위한 소프트웨어를 생산할 수 있게 하는 새로운 기술을 제공한다. 위 두 가지 방법론의 장점을 조합하면 공통점을 공유하면서 다양한 플랫폼에서 동작하는 제품군의 소프트웨어를 생산하는데 도움이 된다. 이 논문에서는 FORM 방법론과 MDA 방법론을 조합하기 위해 먼저, 프로파일링 기법을 통해 UML2.0을 확장하여 FORM 아키텍처와 Parameterized Statechart 모델링이 가능하게 한다. 다음으로, 휘처가 휘처 모델과 Parameterized Statechart사이에서 일관성 있게 element의 형태로 위치하고 있는지 검증하는 일관성 규칙을 제공한다. 몇 가지 규칙은 FORM 아키텍처와 Parameterized Statechart 사이의 일관성을 검사하기 위해 고안되었다. 마지막으로, 엘리베이터 시스템의 사례연구를 통해 이 논문에서 제안하는 모델링 기법과 일관성 검사 법칙의 유효성을 제시한다.

The Software Product Line (SPL) engineering is one of the most promising software development paradigms. With Feature-Oriented Reuse Method (FORM), reusable and flexible components can be built to aid the delivery of various software products such as mobile phone and digital TV applications based on commonalities and variabilities identified during Feature modeling. Model Driven Architecture (MDA) is also an emerging technology which supports developing software products to work on different platforms with platform independent models (PIM). Combining advantages of these two approaches is helpful to build a group of software products which share common Features while working on various platforms. As first step to combine FORM with MDA, we extend UML2.0 with profiles by which FORM architectures and parameterized Statecharts can be modeled. Secondly, we provide rules to examine whether Features are allocated at positions of elements of Statecharts consistently between a Feature model and a parameterized Statechart. Some rules are designed to check the consistency between FORM architectures and parameterized Statecharts. A case study on an elevator control system is provided to demonstrate the feasibility of our modeling approach and consistency checking rules.

키워드

참고문헌

  1. Anneke Kleppe, Jos Warmer, Wim Bast, 'MDA Explained: The Model Driven Architecture--Practice and Promise,' Addison-Wesley, 1998
  2. Stephen J. Mellor, Kendall Scott, Axel Uhl, Dirk Weise, 'MDA Distilled (Principles of Model-Driven Architecture),' Addison-Wesley, 2004
  3. http://www.omg.org/mda/
  4. K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, 'Feature-Oriented Domain Analysis(FODA) Feasibility Study,' Technical Report CMU/SEI-90-TR-21, Pittsburgh, PA., Software Engineering Institute, Carnegie Mellon University, 1990
  5. Jorge Enrique Perez-Martínez, Almudena Sierra- Alonso, 'UML 1.4 versus UML 2.0 as Languages to Describe Software Architectures,' pp. 88-102, EWSA 2004
  6. Apostolos Zarras, Valerie Issarny, Christos Kloukinas, Viet Khoi Nguyen, 'Towards a Base UML Profile for Architecture Description,' Proceedings of ICSE 2001 Workshop for Describing Software Architecture with UML, IEEE Computer Society, Toronto, Ontario, Canada, pp. 22-26, May 2001
  7. Kirsten Berkenk¨otter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska, 'HybridUML Profile for UML 2.0,' SVERTS, workshop hold in conjunction with UML, 2003
  8. C. Hofmeister, R. L. Nord, D. Soni, 'Describing Software Architecture with UML,' Proceedings of the First Working IFIP Conference on Software Architecture, 1999
  9. Miguel Goulao, Fernando Brito e Abreu, 'Bridging the gap between Acme and UML for CBD,' Specification and Verification of Component-Based Systems (SAVCBS'03), Workshop at ESEC/FSE 2003, pp. 75-79, Sep 2003
  10. Petri Selonen, Jianli Xu, 'Validating UML Models Against Architectural Profiles,' ESEC/FSE 2003, Helsinki, Finland, Sep 2003 https://doi.org/10.1145/949952.940081
  11. Sunghwan Roh, Kyungrae Kim, Taewoong Jeon, 'Architecture Modeling Language based on UML 2.0,' Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC'04), 2004
  12. David Harel, 'Statecharts: A Visual Formalism For Complex Systems,' Science of Computer Programming, pp. 231-274, 1987 https://doi.org/10.1016/0167-6423(87)90035-9|
  13. P C Masiero, J C Maldonado, I G Boaventura, 'A reachability tree for statecharts and analysis of some properties,' Information and Software Technology, Volume 36, 1994 https://doi.org/10.1016/0950-5849(94)90021-3
  14. Zs. Pap, I. Majzik1, A. Pataricza, A. Szegi, 'Completeness and Consistency Analysis of UML Statechart Specifications,' Proc. of IEEE Design and Diagnostics of Electronic Circuits, 2001
  15. [Book] Hassan Gomaa, 'Designing Software Product Lines with UML : From Use Cases to Pattern- Based Software Architectures,' Addison- Wesley, pp. 169-204, 2004
  16. Kyo C. Kang, Sajoong Kim, Jaejoon Lee, Kijoo Kim, Euiseob Shin, and Moonhang Huh, 'FORM: A Feature-Oriented Reuse Method with Domain- Specific Reference Architectures,' Annals of Software Engineering, pp. 143-168, May 1998
  17. Kyo C. Kang, Jaejoon Lee, and Patrick Donohoe, 'Feature-Oriented Product Line Engineering,' IEEE Software, Vol.9, No.4, pp. 58-65, July/August 2002 https://doi.org/10.1109/MS.2002.1020288
  18. 채원석, '소프트웨어 아키텍쳐 모델 기술 및 분석을 위한 메타 모델', 석사 학위 논문, 포항공과대학교 대학원, 2001