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.
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. 8. The method of claim 1 , wherein receiving the user input defining the behavioral aspect of the target process artifact further comprises: displaying a user interface comprising a business process display region displaying a business process; receiving a user selection highlighting a portion of the business process; and outputting, as the user input, an automatically generated behavioral description of the highlighted portion, described using ontologized π-calculus.