A Formal Model for MAWC Operations

The match operator match_t(f({O1, O2, ..., On}), {O1', O2', ..., Om'})) finds threshold-t matched objects from {O1', O2', ..., Om'}. The abstract operator abstract_j (f({O1, O2, ..., On})) extracts level-j objects. The weave operator weave_type-k(f({O1, O2, ..., On})) weaves together type-k objects. The customize operator customize_style-s(f({O1, O2, ..., On})) creates a style-s customized presentation.