A subtyping-based flexible service adaptation mechanism for dynamic application reconfiguration support in pervasive computing environments = 퍼베이시브 환경에서 동적인 어플리케이션 재구성을 위한 subtyping 기반의 탄력적인 서비스 구성 기법