To enhance the expressive power and enable the ability of formal verification, a simple type system and specification annotation is introduced. Firstly, an example, i.e., requirements of a belt transport system, will be described. After that, the formal definition of the extended Formalized Process Description will be given. These definitions will then be used to describe the example. Then a consistency checking method will be presented based on the formal definition to check the consistency of the example. Finally, the limits and the further research of the method will be discussed.
Referent: | Cheng Xin |
Zeit: | 5. Mai 2022, 15:00 – 16:00 Uhr |
Ort: |
als Web-Meeting (Zugangsdaten über sekretariat@ifak.eu) |
29.04.2022