1. A computer-implemented method comprising: receiving a user input at a computing device, the user input defining behavioral and static aspects of a target process artifact and comprising business process information for use in a specific business process model within an organization, the behavioral aspect comprising inputs for one or more behavioral reasoning processes comprising substitution, auto-completion, and deadlock/liveliness verification; 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 query specification, the process artifact library provided as a computer-readable repository that stores one or more of process patterns, models, fragments, and guidelines, the querying comprising: querying the process artifact library relating to the static aspect of the target process artifact to obtain a subset of the process artifact library; after querying, performing π-calculus reasoning, related to the behavioral aspect of the target process, on the subset of the process artifact library; and outputting a candidate process artifact matching the behavioral and static aspects, based on querying the process artifact library.
7. The method of claim 1 , wherein outputting a candidate process artifact further comprises outputting a process model, pattern, fragment, or guideline, determined based upon a user preference.