Integration of a formal specification approach into CPPS engineering workflow for machinery validation.
Birgit Vogel-HeuserChristoph HuberSuhyun ChaBernhard BeckertPublished in: INDIN (2021)
Keyphrases
- formal specification
- model checking
- specification language
- object oriented design
- specification languages
- reverse engineering
- formal methods
- process algebra
- data abstraction
- software engineering
- petri net
- concurrent systems
- software components
- business rules
- workflow management systems
- virtual enterprise
- protocol specification
- open source
- expert systems
- database systems
- grid workflow
- real world