Enhancing model-driven architecture with support for verification and validation
- Contributors:
- Paul Strooper, David Carrington, Kerry Raymond (DSTC), Roger Duke, Soon-Kyeong Kim, Luke Wildman, Jörn Guy Süß, Geoffrey Watson
- Associated RHD Students:
- Junhua Wang, David Hearnden, Quang Huy and Abu Zafer Javed.
- Description:
- Model-driven architecture facilitates the generation of application software from high-level models. Currently verification and validation tools and techniques for the quality assurance of such software are not integrated into the standards for model-driven architecture. This limits the applicability of model-driven architecture and leaves software engineers with the problem of how to most effectively apply these verification and validation tools and techniques. This project will extend model-driven architecture to provide appropriate integration points for verification and validations tools and techniques. The extended framework will be applied and evaluated by targeting dynamic distributed software applications.
Publications – Conference Proceedings:
|
Kim, Burger, Carrington, An MDA approach towards integrating formal
and informal modeling languages, in Formal
Methods, pages 448-464, 2005. Kim, Wildman, Duke, A UML
approach to the generation of test sequences for Java-based concurrent
systems, in the 2005 Australian Software Engineering Conference, pages
100-109, 2005. Smith and Wildman, Model checking Z specifications
using SAL, in ZB2005: Formal Specification and Development in Z and B,
2005. Sϋß and Leicher,
A Morphism between MOF
and RDF, accepted for presentation at the 2006 Australian Software
Engineering Conference. Wang, Kim, and Carrington, Verifying metamodel coverage of model transformations, accepted
for presentation at the 2006 Australian Software Engineering Conference. Kim and Carrington, A
formal V&V framework for UML
models based on model transformation techniques, MoDeVa
workshop, 2005. Wang, Kim, and Carrington. A comparison of QVT-partners and DSTC’s model
transformation languages, in the 4th Asia Pacific International Symposium
on Information Technology, pages 251-254, 2005.
Jörn Guy Süß, Timothy McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson, MDA-based Re-Engineering with Object-Z, Accepted for MoDELS 2006. |
