| Task 19: Formal Support for Precise Use of UML | |
|
|
|
|
Activity: research
Description: The research will develop a formal semantic model for UML-Based Software Development. This model will identify the most important UML modelling elements and study their consistency, transformation and integration. With the results of the research, we will provide general principles and methodology for domain modelling, requirement specification, and refinement and verification of UML models.
Purpose: We believe that these principles and techniques can be used by the developers of eMacao in their domain modeling and design. We will provide suggestions and guidance to help them in building this models and in their design. We will also help people in this project to work on some case studies of the project by using the proposed approach.
Report: