Key research themes
1. How do object-oriented methodologies utilize UML for effective software modeling and design?
This research theme focuses on the integration and application of the Unified Modeling Language (UML) within object-oriented software engineering methodologies to model and design complex software systems. It explores how UML diagrams (e.g., class, use case, activity, sequence) serve as standard tools for representing static structure and dynamic behavior, enabling clearer communication, compatibility with existing systems, and comprehensive system analysis and development.
2. What are the current advancements and challenges in aspect-oriented modeling within object-oriented software development?
This theme investigates how aspect-oriented programming (AOP) and aspect-oriented software development (AOSD) extend traditional object-oriented paradigms to better modularize cross-cutting concerns. It focuses on formal specification languages, UML profile extensions, and modeling techniques that support the explicit representation of aspects, pointcuts, and advices at earlier stages of development to improve modularity, code reuse, and maintainability.
3. How can logic meta-languages and formal graph grammars improve reasoning and correctness in object-oriented system modeling?
This theme explores the use of declarative logic meta-languages and formal methods such as graph grammars to express, analyze, and verify the structural properties of object-oriented software systems. It aims to address difficulties in documenting system structure, enforcing design conventions, and ensuring compliance with architectural patterns by providing executable, high-level abstractions that enable automated reasoning and correctness by construction.