Software Composition and Modeling Laboratory
I am a member of Software Composition and Modeling Laboratory (SOFTCOM).
Model-Integrated Computing (MIC) is anapproach to the description and generation of software systems. Aspect-OrientedSoftware Development (AOSD) is a new model for software composition that contributesto better separation of concerns and improved modularity of software.Aspect-Oriented Domain Modeling (AODM) combines AOSD and MIC by weavingcrosscutting constraints into domain models to enable separation of concernsand improved changeability in domain modeling. This research involves thedesign and construction of aspect weavers called C-SAW for domain models, with the primaryfunctionality of interpreting the constraint specifications in order to carryout the corresponding transformations on the target model. This research is currentlyconducted in the Generic Modeling Environment (GME), a domain-specific modeling environment based on the principles of MIC. The C-SAW tool is implemented as a Plug-In component of GME. The main benefit of model weaving is to facilitate rapid construction and evolution of domain models via flexible weaving of additive changes.
The C-SAW tool can be downloaded from this web site:
http://www.gray-area.org/Research/C-SAW/
Effective testing and debugging support is vital to ensure the correctness and reliability of model transformation. The purpose of this research is to investigate engineering methodologies for testing and debugging model transformation and construct supporting tools to improve the quality of model transformation. Currently, a model transformation testing tool called M2MUnit has been developed to enable unit testing of model transformation specifications.
Effective testing and debugging support is vital to ensure the cor rectness and reliability of model transformation. The purpose of this research is to investigate engineering methodologies for testing and debugging model transformation and construct supporting tools to improve the quality of model transformation. Currently, a model transformation testing tool called MTUnit has been developed to enable unit testing of model transformation specifications.
This work is funded by the DARPA Information Exploitation Office (DARPA/IXO), under the ProgramComposition for Embedded Systems (PCES) program.
------------------------------------------------------------------------------------------------------------------------------------------------
--------------------------------------------------------------------------------------------------------------------------------------------------
2001-2002 Online Advertisement Models, directed by Dr. Juan E. Gilbert