Journal Publications:

  1. Yajing Zhao, Jing Dong, and Tu Peng, Ontology Classification for Semantic Web Based Software Engineering, IEEE Transactions on Services Computing (TSC). 2009. (To appear). [DOI]
  2. Jing Dong, Tu Peng, Yajing Zhao, Automated Verification of Security Pattern Compositions, Information and Software Technology (IST), Elsevier-Science, 2009. (To appear).
  3. Jing Dong, Yajing Zhao, and Yongtao Sun, A Matrix-Based Approach to Recovering Design Patterns, IEEE Transactions on Systems, Man, and Cybernetics (TSMC), Part A, Volume: 39, Issue: 6, pages: 1271-1282, November 2009.
  4. Jing Dong, Yajing Zhao, and Tu Peng, A Review of Design Pattern Mining Techniques, the International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing, Volume: 19, Issue: 6, Pages 823-855, September 2009.
  5. Jing Dong, Yajing Zhao, and Yongtao Sun, XSLT-Based Evolutions and Analyses of Design Patterns, Software – Practice and Experience (SPE), Wiley, Volume 39, Issue 8, Pages 773-805, June 2009.
  6. Jun Kong, Kang Zhang, Jing Dong, and Dianxiang Xu, Specifying Behavioral Semantics of UML Diagrams through Graph Transformations, the Journal of Systems and Software (JSS), Elsevier-Science, Volume 82, Issue 2, Pages 292-306, January 2009.

  7. Jing Dong, Raymond Paul, and Liang-Jie Zhang, High Assurance Service-Oriented Architecture, IEEE Computer, Volume 41, Issue 8, Pages 22-23, August 2008.

  8. Jing Dong, Paulo Alencar, Donald Cowan, and Sheng Yang,   Composing Pattern-Based Components and Verifying Correctness, the Journal of Systems and Software (JSS), Volume 80, Issue 11, Pages 1755-1769, Elsevier-Science, November 2007. [DOI]
  9. Jing Dong, Sheng Yang, and Yongtao Sun,   A Classification of Design Pattern Evolutions, the Journal of Object Technology (JOT), Volume 6, Number 10, Pages 95-109, November-December 2007.
  10. Chunying Zhao, Jun Kong, Jing Dong, and Kang Zhang,   Pattern Based Design Evolution Using Graph Transformation, the Journal of Visual Languages and Computing (JVLC), Vol.18, No.4, pages 378-398, Elsevier-Science, August 2007.
  11. Jing Dong, Sheng Yang and Kang Zhang,   Visualizing Design Patterns in Their Applications and Compositions, IEEE Transactions on Software Engineering (TSE), Volume 33, Number 7, pp. 433-453, July 2007. [DOI]
  12. Jing Dong, Yongtao Sun, Sheng Yang and Kang Zhang,   Dynamic Web Service Composition Based on OWL-S, Science in China: Special Issue on Internet-Oriented Software Technologies, Springer-Verlag, Volume 49, Number 6, pages 843-863, December 2006. (SCI index)
  13. Jing Dong, Paulo Alencar, and Donald Cowan,  Automating the Analysis of Design Component Contracts, Software - Practice and Experience (SPE), Wiley, Volume 36, Issue 1, pages 27-71, January 2006. [DOI]
  14. Jing Dong, Sheng Yang, Lawrence Chung, Paulo Alencar and Donald Cowan,  A COTS Architectural Component Specification Stencil for Selection and Reasoning,  ACM SIGSOFT Software Engineering Notes, Volume 30, Number 6, November 2005.
  15. Jing Dong, Paulo Alencar, and Donald Cowan,  A Behavioral Analysis and Verification Approach to Pattern-Based Design Composition, Software and Systems Modeling, Springer-Verlag, Volume 3, Number 4, December 2004, Pages 262-272. [DOI]
  16. Jing Dong,  Adding Pattern Related Information in Structural and Behavioral Diagrams, Information and Software Technology (IST), Elsevier-Science, Volume 46, Issue 5, April 2004, Pages 293-300. [DOI]
  17. Daniel Berry, Khuzaima Daudjee, Jing Dong, Igor Finestein, Maria Nelson, Torsten Nelson, and Lihua Ou,  Users Manual as a Requirements Specification: Case Studies, Requirements Engineering Journal, Springer-Verlag, Volume 9, No 1, February 2004, Pages 67-82.
  18. Jing Dong,  UML Extensions for Design Pattern Compositions, the Journal of Object Technology (JOT), Vol. 1, No. 5, pages 149-161, Nov. 2002.

Edited Books:

  1. Jing Dong, Raymond Paul, Liang-Jie Zhang, High Assurance Services Computing, Springer, 2009. (to appear)
  2. Bojan Cukic, Jing Dong, The Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE), IEEE Computer Society Press, USA, November 2007.

Book Chapters:

  1. Jing Dong, Tu Peng, Yongtao Sun, Longji Tang, and Yajing Zhao, Design Patterns From Theory To Practice, in Encyclopedia of Information Science and Technology, Second Edition, pages 1047-1052, IGI Global Publishing, 2008.
  2. Jing Dong, Paulo Alencar, and Donald Cowan,   Formal Specification and Verification of Design Patterns, in Design Pattern Formalization Techniques, Idea Group Inc., pages 94-108, 2007.
  3. Jing Dong and Jianchao Han, Class and Object, in Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., 2007.
  4. Jing Dong and Kang Zhang,  Design Pattern Compositions in UML, in Software Visualization - From Theory to Practice, Kluwer Academic Publishing, pages 287-308, 2003.

Conference Publications:

    2008

  1. Longji Tang, Jing Dong, and Tu Peng, A Generic Model of Enterprise Service-Oriented Architecture, the Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE), pages 1-7, Taiwan, December 2008.
  2. Jing Dong, Yongtao Sun, Yajing Zhao, Hierarchical Composition of OWL-S Web Services, the Proceedings of 6th International Conference on Software Engineering Research, Management and Applications (SERA), pages 187-194, Czech Republic, August 2008, IEEE CS Press.
  3. Raymond Paul, I-Ling Yen, Farokh Bastani, Jing Dong, Wei-Tek Tsai, Krishna Kavi, Arif Ghafoor, Jaideep Srivastava, An Ontology-Based Integrated Assessment Framework for High-Assurance Systems, the Proceedings of the IEEE International Conference on Semantic Computing (ICSC), pages 386-393, Santa Clara, CA, USA, August 2008.
  4. Jing Dong, Yongtao Sun, Yajing Zhao, Compound Record Clustering Algorithm for Design Pattern Detection by Decision Tree Learning, the Proceedings of the IEEE International Conference on Information Reuse and Integration (IRI), pages 226-231, USA, July 2008.
  5. Tu Peng, Jing Dong, Yajing Zhao, Verifying Behavioral Correctness of Design Pattern Implementation, the Proceedings of the 20th  International Conference on Software Engineering and Knowledge Engineering (SEKE), pages 454-459, CA, USA, July 2008.
  6. Jed Limke, Jun Kong, Jing Dong, Adaptation in a Pervasive Computing Environment, the Proceedings of the International Conference on Software Engineering Theory and Practice (SETP), pages 145-155, Orlando, FL, USA, July  2008.
  7. Jing Dong, Yongtao Sun, Yajing Zhao, Design Pattern Detection By Template Matching, the Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC), pages 765-769, Ceará, Brazil, March 2008.

    2007

  8. Jianchao Han, Jing Dong, Perspectives of Granular Computing in Software Engineering, the Proceedings of the IEEE International Conference on Granular Computing (GrC), pages 66-71, Silicon Valley, USA, November 2007.
  9. Jing Dong, Tu Peng, Yajing Zhao, Model Checking Security Pattern Compositions, the Proceedings of the Seventh International Conference on Quality Software (QSIC), pages 80-89, Portland, Oregon, USA, October 2007, IEEE CS Press . (Accept rate: 24/92=26.1%)
  10. Jing Dong, Yajing Zhao,   Classification of Design Pattern Traits, the Proceedings of the Nineteenth International Conference on Software Engineering and Knowledge Engineering (SEKE), Boston, USA, July 2007.

  11. W. Eric Wong, Lei Zhao, Yu Qi, Kai-Yuan Cai, and Jing Dong, Effective Fault Localization using BP Neural Networks, the Proceedings of the Nineteenth International Conference on Software Engineering and Knowledge Engineering (SEKE), pages 374-379, Boston, USA, July 2007.

  12. Longji Tang and Jing Dong, A Survey of Formal Methods for Software Architecture, the Proceedings of the International Conference on Software Engineering Theory and Practice (SETP), pages 221-227,  Orlando, FL, USA, July 2007.

  13. Jing Dong, Tu Peng and Zongyan Qiu,   Commutability of Design Pattern Instantiation and Integration, the Proceedings of the First IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE), pages 283-292, China, June 2007. (Accept rate: 46/210=21.9%)
  14. Jing Dong, Yajing Zhao, and Tu Peng,  Architecture and Design Pattern Discovery Techniques – A Review, the Proceedings of International Conference on Software Engineering Research and Practice (SERP), pages 621-627, USA, June 2007.
  15. Jing Dong and Yajing Zhao,   Experiments on Design Pattern Discovery, the Proceedings of the 3rd International Workshop on Predictor Models in Software Engineering (PROMISE), in conjunction with ICSE, Minneapolis, MN, USA, May 2007.
  16. Jing Dong, Dushyant S. Lad and Yajing Zhao,   DP-Miner: Design Pattern Discovery Using Matrix, the Proceedings of the Fourteenth Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS), pages 371-380, Arizona, USA, March 2007.

    2006

  17. Jing Dong, Sheng Yang, Dushyant S. Lad, and Yongtao Sun,   Service Oriented Evolutions and Analyses of Design Patterns, the Proceedings of the Second IEEE International Symposium on Service-Oriented System Engineering (SOSE), pages 11-18, October 2006.
  18. Jing Dong, Sheng Yang, Yongtao Sun, and W. Eric Wong,   QVT Based Model Transformation for Design Pattern Evolutions, the Proceedings of the Tenth IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA), pages 16-22, USA, August 2006.
  19. Jing Dong, Yongtao Sun, and Sheng Yang,   OWL-S Ontology Framework Extension for Dynamic Web Service Composition, the Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE), pages 544-549, San Francisco Bay, California, USA, July 2006.
  20. Jing Dong, Sheng Yang and Kang Zhang,   A Model Transformation Approach for Design Pattern Evolutions, the Proceedings of the Thirteenth Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS), pages 80-89, Germany, March 2006.

    2005

  21. Jing Dong, Sheng Yang and Dung T. Huynh,   Evolving Design Patterns Based on Model Transformation, the Proceedings of the Ninth IASTED International Conference on Software Engineering and Applications (SEA), pages 344-350, Phoenix, AZ, USA, November 2005.
  22. Kendra Cooper, Jing Dong, Kang Zhang, and Lawrence Chung,   Teaching Experiences with UML at The University of Texas at Dallas, the Proceedings of the ACM / IEEE 8th International Conference on Model Driven Engineering Languages and Systems Educator's Symposium, Montego Bay, Jamaica, October 2005.
  23. Jun Kong, Guanglei Song, and Jing Dong, Specifying Behavioral Semantics through Graph Transformation, the Proceedings of the International Workshop on Visual Modeling for Software Intensive Systems (VMSIS), co-located with the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, September 2005.
  24. Jun Kong, Kang Zhang, and Jing Dong, Grammar-Specified Model-Driven Architectures, the Proceedings of the International Workshop on Using Metamodels to Support MDD, in Conjunction with ICECCS,  China, June 2005.
  25. Jing Dong, Sheng Yang, Lawrence Chung, Paulo Alencar and Donald Cowan   A COTS Architectural Component Specification Stencil for Selection and Reasoning, the Proceedings of the Second International Workshop on Models and Processes for the Evaluation of off-the-shelf Components (MPEC), in conjunction with ICSE, USA, May 2005.
  26. Jing Dong, Sheng Yang and Kang Zhang   VisDP: A Web Service for Visualizing Design Patterns on Demand, the Proceedings of the IEEE International Conference on Information Technology Coding and Computing (ITCC), pages 385-391, USA, April 2005.
  27. Jing Dong, Shanguo Chen and Jun-Jang Jeng   Event-Based Blackboard Architecture for Multi-Agent Systems, the Proceedings of the IEEE International Conference on Information Technology Coding and Computing (ITCC), pages 379-384, USA, April 2005.
  28. Jun Kong, Kang Zhang, Jing Dong, and Guanglei Song   A Generative Style Driven Framework for Software Architecture Design, the Proceedings of the 29th Annual NASA/IEEE Software Engineering Workshop (SEW), pages 173-182, Maryland, USA, April 2005.

    2004

  29. Jing Dong, Rucha Khisti, Kendra Cooper, and Yi Deng,  A Component Framework for Resource Management Systems, the Proceedings of International Conference on Software Engineering Research and Practice (SERP), pages 681-687, USA, June 2004.
  30. Jing Dong and Sheng Yang,  Towards Trusted Composition in Software Design, the Proceedings of the Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE), Tampa, Florida, March 2004.

    2003

  31. Jun Kong, Kang Zhang, Jing Dong, and Guanglei Song,  A Graph Grammar Approach to Software Architecture Verification and Transformation, the Proceedings of the IEEE 27th Annual International Computer Software & Applications Conference (COMPSAC), pages 492-497, Dallas, Texas, USA, November 2003.
  32. Jing Dong and Sheng Yang,  Visualizing Design Patterns With A UML Profile, the Proceedings of the IEEE Symposium on Visual/Multimedia Languages (VL), pages 123-125, Auckland, New Zealand, October 2003.
  33. Jing Dong, Paulo Alencar, and Donald Cowan,  A Formal Framework for Design Component Contracts, the Proceedings of the IEEE International Conference on Information Reuse and Integration (IRI), pages 53-60, Las Vegas, US, October 2003.
  34. Kendra Cooper, Lirong Dai, Yi Deng, and Jing Dong, Modeling Performance as an Aspect: a UML Based Approach, the Proceedings of the Fourth International Workshop on Aspect Oriented Modeling with UML, San Francisco, CA, USA, October 2003.
  35. Jing Dong, Paulo Alencar, and Donald Cowan,  On Analysis of Design Component Contracts: A Case Study, the Proceedings of the IEEE International Conference on Software Technology and Engineering Practice (STEP), pages 103-113, Amsterdam, The Netherlands, September 2003.
  36. Jing Dong, Towards A Formal Design Component Framework, the Proceedings of the International Workshop on Software Development Methodologies of Distributed Systems, Amsterdam, The Netherlands, Sept., 2003
  37. Jing Dong and Sheng Yang,  Extending UML To Visualize Design Patterns In Class Diagrams, the Proceedings of the Fifteenth International Conference on Software Engineering and Knowledge Engineering (SEKE), pages 124-131, San Francisco Bay, California, USA, July 2003.
  38. Kendra Cooper, Lirong Dai, Yi Deng, and Jing Dong,  Developing a Formal Design Analysis Framework, the Proceedings of International Conference on Software Engineering Research and Practice (SERP), pages 68-73, Las Vegas, Nevada, USA, June 2003.
  39. Jing Dong,  Representing the Applications and Compositions of Design Pattern in UML, the Proceedings of the Eighteenth Annual ACM Symposium on Applied Computing (SAC), pages 1092-1098, Melbourne, Florida, USA, March 2003. [DOI]
  40. Kendra Cooper, Lirong Dai, Yi Deng, and Jing Dong,  Towards an Aspect-Oriented Architectural Framework, the Proceedings of the Second International Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects), Boston, USA, March 2003.

    2002

  41. Jing Dong, Paulo Alencar, and Donald Cowan,  Modeling and analysis of design component contracts in logic programming, the Proceedings of the 3rd Workshop on Constraint Logic Programming and Software Engineering (CLPSE), Copenhagen, Denmark, July 2002.

    2001

  42. Jing Dong, Paulo Alencar, and Donald Cowan,  A Behavioral Analysis Approach to Pattern-Based Composition, the Proceedings of the 7th International Conference on Object-Oriented Information Systems (OOIS), pages 540-549, Springer-Verlag, Calgary, Canada, August 2001.

    2000

  43. Jing Dong, Paulo Alencar, and Donald Cowan,  Component Contract Templates - A Rigorous Approach for Component Specification and Composition Verification, the Proceedings of the OOPSLA'00 Workshop on Component Contracts, Minneapolis USA, October 2000.
  44. Jing Dong,  Model Checking the Composition of Hypermedia Design Components, the Proceedings of the 10th IBM Center for Advanced Studies Conference (CASCON), pages 51-64, Toronto Canada, November 2000.
  45. Jing Dong,  A Logical Framework for Design Composition, the Proceedings of the 22nd IEEE/ACM International Conference on Software Engineering (ICSE), pages 698-700, Limerick, Ireland, June 2000.
  46. Jing Dong, Paulo Alencar, and Donald Cowan,  Ensuring Structure and Behavior Correctness in Design Composition, the Proceedings of the 7th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS), pages 279-287, Edinburgh UK, April 2000.

    1999

  47. Paulo Alencar, Donald Cowan, Jing Dong, and Carlos Lucena,  A Pattern-Based Approach to Structural Design Composition, the Proceedings of the IEEE 23rd Annual International Computer Software & Applications Conference (COMPSAC), pages 160-165, Phoenix USA, October 1999.
  48. Jing Dong, Paulo Alencar, and Donald Cowan,  Correct Composition of Design Components, the Proceedings of the 4th International Workshop on Component-Oriented Programming (WCOP), in conjunction with ECOOP'99, Lisbon, Portugal, June 1999.
  49. Jing Dong, Paulo Alencar, and Donald Cowan,  A Component Specification Template for COTS-based Software Development, the Proceedings of the International Workshop on Ensuring Successful COTS Development, in conjunction with ICSE-21, Los Angeles, USA, May 1999.

    1998

  50. Paulo Alencar, Donald Cowan, Jing Dong, and Carlos Lucena,  A Transformational Approach for Structural Design Assessment and Change, the Proceedings of the ECOOP'98 Workshop on the Techniques, Tools and Formalisms for Capturing and Assessing Architectural Quality in Object-Oriented Software, Brussels, Belgium, July 1998, appeared as the Lecture Notes in Computer Science, vol. 1543, Springer-Verlag.