Я бы не стала давать однозначный ответ на этот вопрос.
Объясню свою позицию.
Имя человека - это имя собственное. Есть негласное правило: имена и фамилии ( особенно они ) с языка на язык не переводятся. Приведу простой пример:
Английского джентельмена по фамилия Wood ( по-английски дерево, лес ) мы в русском языке не назовем мистером Лесом или, тем более, Деревом.
Наше имя Анна на английский язык можно перевести как:
- Ann, что, в общем-то является английским "аналогом",
- Anna, если просто передавать русские буквы английскими ( транслитерировать ).
Но многие имена звучат по-разному на разных языках, при этом, возможно, имея общее происхождение.
Итак, женское имя Василина.
По правилам транслитерации ( так, как пишут в загранпаспорте, например ) напишем Vasilina.
Но, полагаю, Василина и Вася имеют много общего, а Василий по-английски - Basil.
Можно предположить, что Василина - Basilina. В пользу этого вариант говорит тот факт, что женское имя Василина, как утверждают некоторые источники, "произошло" от греческого Басилевс (Βασιλίς), в переводе - царственная.
