UFO.UFO-C
Class Creation

UFO.UFO-C.Creation

public class Creation

A resource participation of r in ac is a creation iff (r is not present in s1) and (r is present in s2) and (there is at least one action contribution ac that is also part of a and such that s2 satisfies the propositional content of ac);