A java library for compiling pattern language described in Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models by prof. Radosław Klimek.
A java library for compiling pattern language described in Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models by prof. Radosław Klimek.