Programming coordination laws of artifacts in CArtAgO