A comparative study of specification methods for electronic commerce systems.