1. A computer-implemented method comprising: receiving a user input defining behavioral and static aspects of a target process artifact; automatically defining a query specification comprising: an axiom component expressing the static aspect using a logical expression, and a process definition component expressing the behavioral aspect using ontologized π-calculus; querying a process artifact library using the automatically defined query specification; and outputting a candidate process artifact matching the defined behavioral and static aspects, based on querying the process artifact library.