A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer. - Naoya Nitta; Shinji Kageyama; Kouta Fujii (FACS, 2023)