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.
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. 9. The method of claim 8 , wherein the behavioral description excludes any portion of the business process not highlighted via the user selection.