Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model.
Robin MrossAron SchnakenbeckMarcus VölkerAlexander FayStefan KowalewskiPublished in: IEEE Access (2022)
Keyphrases
- metamodel
- transformation rules
- modeling language
- development process
- life cycle
- software systems
- reference model
- data model
- black box
- model driven
- design patterns
- uml profile
- software engineering
- neural network
- functional verification
- cooperative
- meta learning
- information systems
- real world
- model checking
- distributed systems
- case study
- formal methods
- linear transformation
- formal verification
- platform independent
- development processes
- data sets