Browse > Article

GARDIAN: Rule Based Modeling Validation for Concurrent Object Modeling and Architectural Design mEThod(COMET)  

Kim, Sun-Tae (서강대학교 컴퓨터학과)
Kim, Jin-Tae (삼성전자 정보통신연구소)
Park, Soo-Yong (서강대학교 컴퓨터학과)
Publication Information
Journal of KIISE:Software and Applications / v.34, no.8, 2007 , pp. 721-730 More about this Journal
Abstract
UML (Unified Modeling Language) is widely used to analyze and design target software. Developers also implement the target software based on the UML artifacts. However, it is difficult to validate whether the artifacts are generated to correspond to the modeling guidelines because the guidelines for UML modeling are described in natural language. This paper discusses rule based model checker focused on whether models are designed according to modeling methodology. We propose rules and their own checker, named GARDIAN, for UML model validation. The checkers are designed for COMET method for the real-time embedded system. We illustrate our checkers using Intelligent Robot system to validate our approach.
Keywords
Expert System; COMET; Methodology; UML; Guideline; Framework;
Citations & Related Records
연도 인용수 순위
  • Reference
1 H. Gomaa, Designing Concurrent, Distributed, and Real-Time Application with UML, Addison-Wesley, 2000
2 IBM Rational Rose Homepage http://www-306.ibm.com/software/awdtools/developer/rose/
3 XMI OMG Homepage http://www.omg.org/ technology/xml/index.htm, 2007
4 ISO/IEC 14977:1996:Information technology - Syntactic metalanguage - Extended BNF. International Organization for Standardization, 1996
5 StarUML homepage, http://staruml. sourceforge.net/ko, 2006
6 JavaCC https://javacc.dev.java.net, 2006
7 Minseong Kim, Suntae Kim, Sooyong Park, Mun-Teak Choi, Munsang Kim, Hassan Gomaa. 'UMLBased Service Robot Software Development: A Case Study,' ICSE, 2006
8 Software Architecture Analysis Tool(SAAT) http://www.laquso.com, 2006
9 N.E. Fenton and S.L. Pfleeger, 'Software Metrics: A Rigorous and Practical Approach,' Int'l Thomson Computer Press, 1996
10 Jacobson, Booch, Rumbaugh, The United Software Development Process, Addion-Wesley, 1999
11 Joh Whittle, Paveen K. Jayaraman, 'Generating Hierarchical State Machines from Use Case Charts,' IEEE International Conference on Requirement Engineering, 2006
12 Christian F.J. Larnge, Michel R.V. Chanudron, Johan Muskens. In Prictice:UML Software Architecture and Design Description. IEEE Software. 2006
13 Tibor Farkas, Christian Hein, Tom Ritter. 'Automic Evalutation of Modelling Rules and Design Guidelines,' The Second Workshop 'From Code Centric to model Centric Software Engineering: Practices, Implications and ROI,' July 11th, Bibao Spain, 2006
14 http://argouml.tigris.org, 2006
15 Joseph c. Giarratano, Gary D. Riley Expert Systems principles and programming. Thomson course technology, 2005
16 Software Engineering Body of Knowledge, IEEE Computer Society, 2004
17 Unified Modeling Language OMG Homepage http://www.omg.org/technology/documents/formal/uml.htm, 2006
18 John Cheesman, John Daniels. UML Components, Intervision, 2000