Modelling the real-time behaviour of machine controls using UML statecharts.
Stephan SeidelThomas KlotzUlrich DonathJürgen HaufePublished in: ETFA (2010)
Keyphrases
- real time
- class diagrams
- formal methods
- conceptual modeling
- uml profile
- object oriented
- vision system
- uml models
- sequence diagrams
- low cost
- unified modelling language
- metamodel
- uml class diagrams
- regression testing
- real time systems
- shop floor
- qualitative models
- object oriented systems
- flowshop
- object oriented modeling
- model checking
- knowledge base
- artificial intelligence