Title: The transformational implementation of JSD process specifications via finite automata representation