synchronisability parallelisation sequentialisation transferrability utilisability interconvertability generalizeability constructability allocatability analysability