Model driven engineering of manufacturing execution systems using a formal specification.
Benedikt WeissenbergerStefan FladXinyu ChenSusanne RöschTobias VoigtBirgit Vogel-HeuserPublished in: ETFA (2015)
Keyphrases
- formal specification
- model driven engineering
- formal methods
- specification languages
- model checking
- databases
- specification language
- building blocks
- software components
- ami systems
- object oriented design
- reverse engineering
- lightweight
- distributed systems
- object oriented
- data sources
- user interface
- artificial intelligence