(An Example for) Formally Modeling Robot Behavior with UML and OCL.
Martin GogollaAntonio VallecilloPublished in: STAF Workshops (2017)
Keyphrases
- modeling language
- robot behavior
- sequence diagrams
- uml diagrams
- metamodel
- unified modeling language
- uml class diagrams
- tool support
- software design
- class diagram
- test cases
- multi modal
- object oriented
- mobile robot
- constraint language
- relational databases
- decision making
- software systems
- robotic systems
- human robot
- real time