Research Interests
Component-Based Software Engineering, Design Patterns, Software Architecture,
Formal Methods,
Object-Oriented Design, UML, MDA, SOA, Web Service, Multi-agent systems,
Aspect-oriented Design, Requirement Engineering, Software Reuse,
Transformations, Software Evolution.
Selected Publications:
2009
-
Yajing Zhao,
Jing Dong, and Tu Peng,
Ontology Classification for Semantic Web Based Software Engineering, IEEE
Transactions on Services Computing (TSC). 2009. (To appear).
-
Jing Dong, Tu
Peng, Yajing Zhao,
Automated Verification of Security Pattern Compositions, Information
and Software Technology (IST), Elsevier-Science, 2009. (To appear).
-
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.
- 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.
- 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.
- 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.
2008
-
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.
-
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.
-
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.
-
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.
- 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.
- 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
- 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]
- 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.
- 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.
- 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%)
- 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.
- 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]
- 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.
- 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%)
- 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.
- 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.
- 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.
- 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
- 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)
- 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.
- 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.
- 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.
- 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.
- 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]
2005
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- 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]
- 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.
- 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.
- 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]
- 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.
2003
- 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.
- 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.
- 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.
- 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.
- 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.
- Jing Dong and Kang Zhang,
Design Pattern
Compositions in UML, in Software Visualization - From Theory to
Practice, Kluwer Academic Publishing, pages 287-308, 2003.
- 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.
- 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]
- 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
- Jing Dong,
UML Extensions for Design Pattern Compositions, the Journal of
Object Technology (JOT), Vol. 1, No. 5, pages 149-161, Nov. 2002.
- 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
- 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
- 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.
- 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.
- 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.
- 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
- 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.
- 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.
- 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
- 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.