Browse > Article

Modeling FORM Architectures Based on UML 2.0 Profiling  

Yang, Kyung-Mo (삼성전자 DM개발사업부)
Jo, Yoon-Ho (포항공과대학교 정보통신대학원)
Kang, Kyo-Chul (포항공과대학교 컴퓨터공학과)
Publication Information
Journal of KIISE:Software and Applications / v.36, no.6, 2009 , pp. 431-442 More about this Journal
Abstract
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.
Keywords
FORM(Feature-Oriented Reuse Method); UML; MDA; Parameterized Statechart; SPLE(Software Product Line Engineering); Software Engineering;
Citations & Related Records
연도 인용수 순위
  • Reference
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 Kirsten Berkenk¨otter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska, 'HybridUML Profile for UML 2.0,' SVERTS, workshop hold in conjunction with UML, 2003
5 Petri Selonen, Jianli Xu, 'Validating UML Models Against Architectural Profiles,' ESEC/FSE 2003, Helsinki, Finland, Sep 2003   DOI
6 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
7 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   DOI   ScienceOn
8 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
9 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
10 [Book] Hassan Gomaa, 'Designing Software Product Lines with UML : From Use Cases to Pattern- Based Software Architectures,' Addison- Wesley, pp. 169-204, 2004
11 채원석, '소프트웨어 아키텍쳐 모델 기술 및 분석을 위한 메타 모델', 석사 학위 논문, 포항공과대학교 대학원, 2001
12 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
13 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
14 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   과학기술학회마을
15 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
16 David Harel, 'Statecharts: A Visual Formalism For Complex Systems,' Science of Computer Programming, pp. 231-274, 1987   DOI
17 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   DOI   ScienceOn
18 C. Hofmeister, R. L. Nord, D. Soni, 'Describing Software Architecture with UML,' Proceedings of the First Working IFIP Conference on Software Architecture, 1999