A FORMALIZATION OF DARCS PATCH THEORY USING INVERSE SEMIGROUPS