1 / 13

Constructing multi-theories expert system for UML models validation

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

arwen
Download Presentation

Constructing multi-theories expert system for UML models validation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  2. Agenda • Identification and problem analysis • Conceptualization • Formalization • Validation • Implementation • Conclusion and future work

  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. 3. Formalization • Predicate logic language … Business strategy theory UML theory Knowledge Base UML Profile theory … (BusinessStrategy) …

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

  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. 5. Implementation FML – formal markup language (predicate logic) BusinessProcess theory

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

  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 -

More Related