Formalizing UML-Based Process Models Using Graph Transformations.

Ansgar Schleicher

Published in: AGTIVE (1999)

Keyphrases

process model
process mining
business processes
event logs
constraint language
business process
business process models
modeling language
control flow
metamodel
design patterns
software process
software engineering
petri net
business process modeling
reference models
web services
artificial neural networks