Overlaying Control Flow Graphs on P4 Syntax Trees with Gremlin.
Dániel LukácsMáté TejfelPublished in: Acta Cybern. (2024)
Keyphrases
- control flow
- data flow
- software testing
- process model
- workflow management systems
- modeling language
- graph theory
- memory hierarchy
- information technology
- reactive systems
- test cases
- formal semantics
- graph mining
- transition systems
- web services
- business process models
- graph matching
- software systems
- object oriented
- query language
- multi agent systems
- data structure
- database systems