A semantic model for specifying data-intensive Web applications using WebML