ENHANCED PROCESS QUERY FRAMEWORK

An enhanced process query framework, including receiving a user input defining behavioral and static aspects of a target process artifact, and automatically defining a query specification including an axiom component expressing the static aspect using a logical expression, and a process definition component expressing the behavioral aspect using ontologized π-calculus. The process further includes 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.