|
|
|
I am currently a Ph.D. candidate of Department of Systems and Computer Engineering of Carleton University, under the supervison of Dr. Lionel Briand and Dr. Yvan Labiche. I completed my M.A.Sc in the same department with the same supervisors. Before I came to Canada, I was an electrical and software engineer in China Aviation Motor Control Institute.
My research interests mainly focus on Model-driven development with the Unified Modeling Language (UML), which include:
-
Model-Driven development with UML
-
Model-Driven Architecture (MDA)
-
Model Analysis
-
Metamodeling
-
Model Transformation
-
Traceability Analysis
-
Requirements Engineering
-
Empirical Studies in Software Engineering
A more complete CV can be downloaded here.
Some of my Ph.D. research works:
A use case modeling approach: RUCM (Restricted Use Case Modeling), which is composed of a set of well-defined restriction rules and a use case template. The goal of RUCM is to reduce ambiguity, improve understandability of use case models, and facilitate automated generation of analysis models. The approach has been experimentally evaluated to be applicable, and easier to understand. It yields better models when used by humans.
A CASE tool: aToucan (Automated Transformation Of Use Case model into ANalysis model) is built as an Eclipse plug-in, using the Eclipse development platform. It relies on a number of existing technologies: EMF (for metamodeling), the Standford Parser (as a natural language parser), Kermeta (for model transformation), and Eclipse UML2 (as an EMF-based implementation of the UML 2 standard).
aToucan can automatically generate a UML analysis model comprising
class, sequence and activity diagrams from requirements (expressed
as use cases) and generate traceability links between them.
   
Case studies have been conducted
and results show that our tool helps generate a useful, initial
analysis model that can then be manually refined, and that it
outperforms Masters students and significantly outperforms 4th year
engineering students. Performance analysis result show that the
execution time of the tool is linearly dependent on the number of
simple sentences contained in a use case model and remains within a
range of few minutes, thus suggesting the approach is scalable.
Please
click here
to
check out some automatically generated class diagrams by aToucan and
here to check
out some automatically generated sequence and activity diagrams.
UCMeta is the intermediate model in aToucan, used to bridge the gap
between textual UCMs and UML analysis models.
The current version of UCMeta is composed of 108
metaclasses and is expected to evolve over time. UCMeta is implemented as an Ecore model, using
Eclipse EMF. Please click here to
explore UCMeta and you can find the architecture of UCMeta from
here.
EDUCATION |
|
| Sep. 2006 - Present |
Ph.D. (Candidate) in Software Engineering
Software Quality Engineering Laboratory (SQUALL), Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, Canada
Thesis Supervisors: Dr. Lionel Briand and Dr. Yvan Labiche
Thesis Title: Automatically Deriving a UML Analysis Model from a Use Case Model
|
| Sep. 2004 - Sep. 2006 |
M.A.Sc. in Software Engineering
Software Quality Engineering Laboratory (SQUALL), Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, Canada
Thesis Supervisors: Dr. Lionel Briand and Dr. Yvan Labiche
Thesis Title: Towards Vertical Impact Analysis of UML Models
|
| Sep. 1992 - Jul. 1996 |
B.Eng. in Electrical Engineering
Department of Automatic Control, Beijing University of Aeronautics and Astronautics, Beijing, China |
INDUSTRIAL COLLABORATIONS |
| Sep. 2005 - Present |
IBM Centers for Advanced Studies (CAS) student, IBM Rational Software, Ottawa, Canada. Related to the project here. The following presentations/posters have been given in IBM-Rational Ottawa Lab:
-
Transformation based Traceability Generation and Maintenance between Use Cases and Analysis Model, Nov. 2007
-
Automated Traceability Analysis for UML Refinements, Jan. 2007
-
Modeling, capturing, and analyzing traceability in the context of UML model refinements, Mar. 2006
-
Transformation-based traceability analysis between use cases & analysis model, Annual IBM Ottawa Lab Technical Exchange Day, 2008
 Poster (PDF file).
|
WORKING EXPERIENCE |
Aug. 1996 - Oct. 2003
China Aviation Motor Control System Institute, Wuxi, China |
Electrical and Software Engineer, Team Lead, 2002-2003
Designed a Ground Fault Detection System for an aircraft engine control system
Software Engineer, 2000-2003
Designed an embedded Real-Time software system-level test environment for the embedded software of an aircraft engine control system, collaborated with the Department of Project Systems Engineering, Beijing University of Aeronautics and Astronautics, Beijing, China.
Electrical and Software Engineer, Team Lead, 1998-2002
Designed a Hardware-in-the-loop Simulator for an aircraft engine control system
Electrical Engineer, 1996-2000
Participated in the reliability design and experiment research for a Full Authorized Digital Electronic Control system (FADEC).
|
PUBLICATIONS
|
| Journals |
- Automated Traceability Analysis for UML Model Refinements
Lionel Briand, Yvan Labiche, Tao Yue
Elsevier Journal of Information and Software Technology, vol. 51, no. 2, pp. 512-527, February 2009.
- A Systematic Review of Transformation Methodologies between User Requirements and Analysis Models
Tao Yue, Lionel Briand, Yvan Labiche
Submitted to Requirements Engineering Journal, April 2009.
|
|
| Conferences |
- A Use Case Modeling Approach to Facilitate the Transition Towards Analysis Models: Concepts and Empirical Evaluation
Tao Yue, Lionel Briand, Yvan Labiche
proceedings of MODELS 2009
Presentation (PDF file)
-
An Automated
Approach to Transform Use Cases into Activity
Diagrams
Tao Yue, Lionel C. Briand, Yvan
Labiche
Submitted to 6th European Conference on Modeling
Foundations and Applications (ECMFA 2010)
|
|
| Technical Reports |
-
An Automated
Approach to Transform Use Cases into Activity
Diagrams
Tao
Yue, Lionel C. Briand, Yvan Labiche
Technical Report SCE-10-01, Carleton University,
January 2010
Full
text (PDF file) - Automatically Deriving a UML Analysis Model from a Use Case Model
Tao Yue, Lionel Briand, Yvan Labiche
Technical Report SCE-09-09, Carleton University, August 2009
Full text (PDF file)
- A Use Case Modeling Approach to Facilitate the Transition Towards Analysis Models: Concepts and Empirical Evaluation
Tao Yue, Lionel Briand, Yvan Labiche
Technical Report SCE-09-05, Carleton University, May 2009
Full text (PDF file)
- A Systematic Review of Transformation Methodologies between User Requirements and Analysis Models
Tao Yue, Lionel Briand, Yvan Labiche
Technical Report SCE-09-03, Carleton University, March 2009
Full text (PDF file)
- Automated Traceability Analysis for UML Model Refinements
Tao Yue, Lionel Briand, Yvan Labiche
Technical Report SCE-06-06, Version 2, Carleton University, April 2006
Full text (PDF file)
|
|
| Others |
- Automated Transformation from User Requirements to Software Model
Research Labs Poster Fair of Department of Systems and Computer Engineering, 2009
Poster (PDF file)
- Automated Traceability Analysis
Department of Computer Science, Nanjing University of Aeronautics and Astronautics (NUAA), Nanjing, China, 2008
|
|
