1. Constructing multi-theories expert system for UML models validation Miroslav Líška miroslav_liska@formal-analysis.com Slovak University of Technology Faculty of Informatics and Information Technologies Bratislava, Slovakia

2. 1.Identification and problem analysis 2.Conceptualization 3.Formalization 4.Validation 5.Implementation 6.Conclusion and future work Agenda

3. 1. Identification and problem analysis Domain Software engineering (Model Driven Development) Complex IS development depends on complex knowledge Software process knowledge Target(business) domain knowlegde

4. 2. Conceptualization Goal Problem Opportunity

5. Business strategy theory UML theory UML Profile theory … (BusinessStrategy) … … 3. Formalization Predicate logic language Knowledge Base

6. 4. Validation UML Model Knowledge Base T1: Business strategy theory T2:UML theory T3:UML Profile theory (Business Strategy)M : Interpretation C(“Person”) … (automatic proving) M|=T Software process knowledge Business domain knowlegde

7. 5. Implementation FormalStudio – currently only in specification phase usecase model

8. 5. Implementation ENVIRONMENT:user interface model

9. 5. Implementation MENU: user interface model

10. FML – formal markup language (predicate logic) 5. Implementation BusinessProcess theory

11. Model of theory in FML (PARSED UML) 5. Implementation

12. 6. Conclusion and future work Validation process refinement Expert system functionality refinement (agent system orientation) User Inteface refinement

13. Thank you for your attention - discussion -