ArkTS-based Declarative Development Paradigm