Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program.
Pieter Van GorpRik EshuisPublished in: MoDELS (2) (2010)
Keyphrases
- process model
- rewrite rules
- control flow
- process mining
- business processes
- transformation rules
- business process
- consistency constraints
- petri net
- design patterns
- business process models
- event logs
- formal specification
- query optimization
- databases
- code generator
- case study
- sql queries
- complex queries
- dynamic behaviors
- software systems