Object-Oriented Design Research Group

     Department of Computer Science and Engineering
     Oakland University
     Rochester, MI 48309

    Professors: Dae-Kyoo Kim, Lunjin Lu
     Industry Joint: Preston Brook (SAIC, Adjunct Professor)
     Students: Sangsig Kim (Ph.D.)

    Past Students: Charbel El Khawand, Vanitha Sathyanarayanan

    Research Interests

The group aims to provide techniques to facilitate the development of object-oriented designs of the Unified Modeling Language. The special focus is on pattern-based UML models where design patterns are used to improve the quality of models. The research interests include:

    Current Funded Projects

  1. "An Aspect-Oriented Approach to Developing UML Models of Access Control Systems", The National Science Foundation (NSF), $218,229, 08/15/2005-08/14/2008. (CCF-0523101)
  2. "Legacy Transformation Using Pattern-Based UML Modeling", The Research Excellence Fund (REF), Oakland University, 01/2006-05/2006.
  3. "Checking Design Pattern Conformance of Software Models," University Research Committee (URC) Fellowship, Oakland University, $8,500,  05/15/2005-8/15/2005.

    Publications

    Dissertation

1.      Dae-Kyoo Kim, "A Meta-Modeling Approach to Specifying Patterns", Colorado State University, June 2004.

    Journals

  1. Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, and Sooyong Park, "Quality-Driven Architecture Development Using Architectural Tactics", Journal of Systems and Software, Vol. 82, No. 8, pp. 1211-1231, 2009. (SCIE indexed)

  2. Dae-Kyoo Kim, Suntae Kim, Vanitha Sathyanarayanan, "Tool Support for Instantiating UML Models from Domain Models", International Journal of Computer Science and Information Science, Vol.10, No. 1, pp. 26-36, 2009. (Invited paper, INSPEC/IEE indexed)

  3. Dae-Kyoo Kim and Wuwei Shen, "Evaluating Pattern Conformance of UML Models: A Divide-and-Conquer Approach and Case Studies", Software Quality Journal, Vol. 16, No 3, pp. 329-359, 2008. (SCIE indexed)

  4. Dae-Kyoo Kim and Charbel El Khawand, "An Approach to Precisely Specifying the Problem Domain of Design Patterns", Journal of Visual Languages and Computing, Vol. 18, No. 6, pp. 560-591, 2007. (32 pages, SCI indexed)

  5. Robert France, Dae-Kyoo Kim, Sudipto Ghosh, and Eunjee Song, "A UML-Based Pattern Specification Technique", IEEE Transactions on Software Engineering, Vol.30, No.3, pp. 193-206, March 2004, (14 pages, SCI indexed)

  6. Dae-Kyoo Kim, Robert France, Sudipto Ghosh, "A UML-Based Language for Specifying Domain-Specific Patterns", Special Issue on Domain Modeling with Visual Languages, Journal of Visual Languages and Computing, Vol.15, No.3-4, pp. 265-289, June 2004. (Ranked 2nd in Top 25 Most Read Articles in July-Sep, 2004 by ScienceDirect, 25 pages, SCI indexed)

  7. Robert France, Sudipto Ghosh, Eunjee Song, Dae-KyooKim, "A Metamodeling Approach to Pattern-based Model Refactoring", IEEE Software, Special Issue on Model Driven Development, Vol.20, No.5, pp. 52-58 September/October 2003. (7 pages, SCI indexed)

    Book Chapters  

  1. Dae-Kyoo Kim, "The Role-Based Metamodeling Language for Specifying Design Patterns", Design Pattern Formalization Techniques, pp. 183-205, Toufik Taibi, Editor, Idea Group Inc., 2007. March, 2007, ISBN:1599042193. (23 pages)

  2. Robert France, Dae-Kyoo Kim, Eunjee Song, Sudipto Ghosh, "Using Roles to Characterize Model Families", Practical Foundations of Business and System Specifications, pp. 179-195. Haim Kilov, Editor, Kluwer Academic Publisher, August, 2003, ISBN: 1402014805. (17 pages)

    Conference Papers

  1. Suntae Kim, Jintae Kim, Sooyong Park, and Dae-Kyoo Kim, “GARDIAN: A Tool for Validating Rule-Based Modeling Methods”, In Proceedings of the 9th International Conference on Quality Software, Jeju, Korea, 2009. (6 pages, acceptance rate: 59%, 59/100)
     

  2. Dae-Kyoo Kim "Software Quality Improvement via Pattern-Based Model Refactoring", In Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE), pp. 293-302, Nanjing, China, 2008. (10 pages, acceptance rate: 22.4%, 44/196 )

  3. Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, and SooYong Park "A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures", In Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference (EDOC), pp. 139-148, Munich, Germany, 2008. (10 pages, acceptance rate: 25%, 27/108)

  4. Dae-Kyoo Kim and Lunjin Lu, "Pattern-Based Transformation Rules for Developing Interaction Models of Access Control Systems", In Proceeding of the 10th International Conference on Software Reuse (ICSR), pp. 306-317, Beijing, China, 2008. (12 pages, acceptance rate: 26.2%, 27/103)

  5. Wuwei Shen and Dae-Kyoo Kim, "ICER: A Tool for Finding Errors in a UML Model"  In Proceedings of the 23rd Annual ACM Symposium on Applied Computing (ACMSAC), Software Engineering Track, pp. 804-808, Fortaleza, Brazil, 2008. (5 pages, acceptance rate: 30%)

  6. Dae-Kyoo Kim and Wuwei Shen, "An Approach to Evaluating Structural Pattern Conformance of UML Models," In Proceedings of the 22nd Annual ACM Symposium on Applied Computing (ACMSAC), Software Engineering Track,  pp. 1404-1408, Seoul, Korea, 2007. (5 pages, acceptance rate: 33%)

  7. Dae-Kyoo Kim, Pooja Mehta, and Priya Gokhal, "Describing Access Control Models as Design Patterns Using Roles," In Proceedings of Pattern Languages of Programming Conference (PLoP), Portland, OR, 2006. (20 pages, acceptance rate: N/A)

  8. Dae-Kyoo Kim and Priya Gokhal, "A Pattern-Based Technique for Developing UML Models of Access Control Systems", In Proceedings of the 30th IEEE Annual International Computer Software and Applications Conference (COMPSAC), pp. 317-324, Chicago, IL, 2006. (8 pages, Acceptance rate: 31.1%)

  9. Dae-Kyoo Kim and Lunjin Lu, "Inference of Design Pattern Instances in UML Models via Logic Programming", In Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer (ICECCS), pp. 47-56, Stanford, CA, 2006. (10 pages, acceptance rate: 67%)

  10. Dae-Kyoo Kim and Jon Whittle, "Generating UML Models from Domain Patterns ",In Proceedings of the 3rd ACIS International Conference on Software Engineering Research, Management & Applications (SERA), pp. 166-173, Mount Pleasant, MI, 2005. (13 pages, acceptance rate: 48%)

  11. Joao Araujo, Jon Whittle, and Dae-KyooKim, "Modeling and Composing Scenario-Based Requirements with Aspects", In Proceedings of the 12th IEEE International Requirements Engineering Conference (RE), pp. 58-67, Kyoto, Japan, 2004. (10 pages, acceptance rate 27.3%)

  12. Indrakshi Ray, Na Li, Robert France, and Dae-Kyoo Kim, "Using UML to Visualize Role-Based Access Control Constraints", In Proceedings of the 9th ACM Symposium on Access Control Models and Technologies (SACMAT), pp. 115-124, Yorktown Heights, NY, 2004. (10 pages, acceptance rate 29.5%)

  13. Dae-Kyoo Kim, Indrakshi Ray, Robert France, and Na Li, "Modeling Role-Based Access Control Using Parameterized UML Models", In Proceedings of Fundamental Approaches to Software Engineering (FASE/ETAPS), pp. 180-193, volume 2984 of Lecture Notes in Computer Science (LNCS), pages 180-193. Springer-Verlag, 2004.  (14 pages, acceptance rate 23%, SCI indexed).

  		14.

    Indrakshi Ray, Na Li, Dae-KyooKim, Robert France, "Using Parameterized UML to Specify and Compose Access Control Models", In Proceedings of the Sixth IFIP TC-11 WG 11.5 Working Conference on Integrity and Internal Control in Information Systems (IICIS), pp. 49-66, Lausanne, Switzerland, Kluwer Academic Publishers, 2003, ISBN: 1402079001. (18 pages, acceptance rate: N/A)

  15. Dae-Kyoo Kim, Robert France, Sudipto Ghosh and Eunjee Song, "A Role-Based Metamodeling Approach to Specifying Design Patterns", In Proceeding of the 27th IEEE Annual International Computer Software and Applications Conference (COMPSAC), pp. 252-257, Dallas, TX, 2003. (6 pages, acceptance rate: N/A)

  16. Dae-Kyoo. Kim, Robert France, Sudipto Ghosh and Eunjee Song, "Using Role-Based Modeling Language (RBML) to Characterize Model Families", In Proceedings of the 8th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 107-116, Greenbelt, MD, 2002.(10 pages, acceptance rate: 44%)

    Workshop Papers

  1. Dae-Kyoo Kim, "Evaluating Conformance of UML Models to Design Patterns," Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 30-31, Shanghai , China , 2005. (2 pages, acceptance rate: N/A)

  2. Jon Whittle, Joao Araujo, Dae-KyooKim, "Modeling and Validating Interaction Aspects  in UML", In Proceedings of Workshop on Aspect Oriented Modeling with UML 2003, San Francisco, 2003. (7 pages, acceptance rate: N/A)

  3. Dae-Kyoo Kim, Robert France, Sudipto Ghosh and Eunjee Song, "A UML-Based Metamodeling Language to Specify Design Patterns",  In Proceedings of Workshop on Software Model Engineering (WiSME), San  Francisco, CA, 2003. (9 pages, acceptance rate: N/A)

  4. Dae-Kyoo Kim, Sudipto Ghosh, Robert France, Eunjee Song, "Software Component Specification Using Role-Based Modeling Language", In Proceedings of the 11th OOPSLA Workshop on Behavioral Semantics: Serving the Customer, Seattle, WA, 2002. (9 pages, acceptance rate: N/A)

  5.  Eunjee Song, Robert France, Dae-Kyoo Kim, Sudipto Ghosh, "Using Roles for Pattern-Based Model Refactoring", In Proceedings of Workshop on Critical Systems Development  (CSDUML), Dresden, Germany, 2002. (8 pages, acceptance rate: N/A)

    Technical Reports

  1. Dae-Kyoo Kim, “Evaluating Pattern Conformance of UML Models,” Technical Report CSE-05-TR-0501, Computer Science and Engineering, Oakland University, Rochester, Michigan, 2005. (13 pages)

  2. Dae-Kyoo Kim and Jon Whittle, "Generating UML Models from Domain Patterns," Technical Report CSE-05-TR-0301, Computer Science and Engineering, Oakland University , Rochester , Michigan , 2005. (25 pages)

  3. Robert France, Dae-KyooKim, Eunjee Song, "Role-Based Modeling Language (RBML) Specification V1.0", Technical Report 02-106, Computer Science Department, Colorado State University, Fort Collins, Colorado, 2002. (59 pages)

  4. Robert France, Dae-KyooKim and Eunjee Song, "Patterns as Precise Characterizations of Designs", Technical Report 02-101, Computer Science Department, Colorado State University, Fort Collins, Colorado, 2002.

Tutorials

RBML Tutorial: PDF, PowerPoint