Specification theory, patterns, and models in information systems domains: an exploratory investigation