Domain Modeling-Based Software Engineering: A Formal Approach (The International Series on Asian Studies in Computer and Information Science)