Name Recipes/Common/CallLifting

Synopsis Lift procedure calls to component calls.

Description A frequently occurring problem is that we know the call relation of a system but that we want to understand it at the component level rather than at the procedure level. If it is known to which component each procedure belongs, it is possible to lift the call relation to the component level. Actual lifting amounts to translating each call between procedures by a call between components.

Examples Consider the following figure:



(a) Shows the calls between procedures; (b) shows how procedures are part of a system component. (c) shows how the call relation given in (a) can be lifted to the component level.

The situation can be characterized by:

• A call relation between procedures
• A partOf relation between procedures and components

The problem is now to lift the call relation using the information in the partOf relation. In other words: a call between two procedures will be lifted to a call between the components to which each procedure belongs.

Here is a solution:

module demo::common::Lift

alias proc = str;
alias comp = str;

public rel[comp,comp] lift(rel[proc,proc] aCalls, rel[proc,comp] aPartOf){
	return { <C1, C2> | <proc P1, proc P2> <- aCalls, <comp C1, comp C2> <- aPartOf[P1] * aPartOf[P2]};
}

Please verify that this corresponds exactly to (c) in the figure above.

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]