A methodology for engineering collaborative and ad-hoc mobile applications using SyD middleware