Formalizing Knowledge
Knowledge formalization comprises four activities:
Gathering requirements relevant to the domain of interest
Abstracting that knowledge into some set of concepts
Expressing those concepts formally in a model
Testing the model for correctness (preferably by executing it)
Gathering Requirements
Every subject matter area has a set of requirements placed upon it by its owners and users. A banking system, for example, may make loans, manage accounts, and charge customers for account usage monthly based on the number of transactions or the average minimum daily balance. Before any system can be built, the requirements must be gathered, understood, made consistent, and relieved of inconsistencies.
There are many ways to approach this ...
Get MDA Distilled: Principles of Model-Driven Architecture now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
