Digital Twins for Manufacturing Using UML and Behavioral Specifications.
Mohammad AzangooAmir TaherkordiJan Olaf BlechPublished in: ETFA (2020)
Keyphrases
- specification language
- class diagram
- conceptual models
- conceptual modeling
- object oriented
- high level
- manufacturing systems
- software engineering
- delay insensitive
- formal specification
- production planning
- formal methods
- case study
- unified modeling language
- modeling language
- software development
- artificial intelligence
- manufacturing processes
- database design
- uml models