IStaticProcessFactGenerator.java

package tud.st.bpel.prolog;

import alice.tuprolog.Struct;

/**
 * Interface to access the class StatisProcessFactGenerator
 * @author Philipp Zuehlke
 *
 */
public interface IStaticProcessFactGenerator {
	/**
	 * With help of this method it is possible to add all relevant information of an invoke activity to the
	 * static process information
	 * @param token The unique token id of the invoke activity
	 * @param parent A unique reference to the parent element
	 * @param partnerLink The partnerlink in the BPEL definition
	 * @param portType The Porttype in the BPEL definition
	 * @param operation The Operation in the BPEL definition
	 * @param inputVariable The Inputvariable in the BPEL definition
	 * @param outputVariable The Outputvariable in the BPEL definition
	 */
	public void addInvoke(String token, String parent,
			String partnerLink, String portType, String operation,
			String inputVariable, String outputVariable);

	/**
	 * This methods adds information of a simple activity to the static process information
	 * @param token The unique token id of the activity
	 * @param parent A unique reference to the parent element
	 */
	public void addActivity(String token, String parent);

	
	/**
	 * This method aggregates all static information(all activities and all invokes) and puts them into
	 * a tuprolog fact
	 * @return All static information as a tuprolog fact
	 */
	public Struct getStaticProcessStruct();

}