| The industry standard Unified Modeling Language (UML) tool provides the software developer little guidance about whether proposed sets of UML diagrams are sensible representations approaching satisfaction of domain application requirements. Standard automated-UML-checkers do not check for omission of critical types of domain UML elements, nor for dependency relationships between different functional types of these elements. This dissertation developed an enhanced UML-checking-tool which focuses on three conceptual groups of keystone UML elements that organize automated-UML-checking for business applications software design. In addition, a complementary UML methodology is proposed which further organizes UML business software application development by emphasizing preference of reusable UML elements representing software from legacy applications, from commercial-off-the-shelf (COTS) components, and from software design patterns. Evaluations of the dissertation prototype against the industry standard automated-UML-checker showed improved checking that highlights conflicts and dependencies among conceptual building-blocks for a specific domain. This research demonstrates how knowledge representation in the form of UML elements can be translated into a format that can be subjected to enhanced automated-rule-checking. |
