Towards a Formal Specification of Production Processes Suitable for Automatic Execution.
Marko VjesticaVladimir DimitrieskiMilan PisaricSlavica KordicSonja RisticIvan LukovicPublished in: Open Comput. Sci. (2021)
Keyphrases
- formal specification
- production processes
- model checking
- specification languages
- specification language
- code generation
- data abstraction
- object oriented design
- production process
- process algebra
- formal methods
- concurrent systems
- database
- response time
- data model
- knowledge representation
- business rules
- reverse engineering
- software engineering
- complex systems
- fine grained