UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components.
Taoufik Sakka RouisMohamed Tahar BhiriMourad KmimechLayth SlimanPublished in: ISDA (2017)
Keyphrases
- formal methods
- software systems
- database design
- metamodel
- object oriented
- class diagrams
- object oriented modeling
- uml models
- sequence diagrams
- conceptual modeling
- modeling language
- unified modeling language
- class diagram
- state machine
- conceptual models
- software development
- software engineering
- uml activity diagrams
- model checking
- tool support
- software components
- uml profile
- building blocks
- specification language
- regression testing
- relational databases
- database systems
- model driven engineering
- databases
- object oriented analysis and design
- uml class diagrams
- uml diagrams
- constraint language
- testing process
- distributed databases
- knowledge base
- neural network