Abstraction and checking
Abstraction:
- Support for capturing and representing aspects of object systems
- Representations for the conceptual structures of modeling methods.
Checking:
- Ensure that models are syntactically consistent
- Operates mostly on the conceptual structure and deals with constraints and rules of the method
- Needed in methods which apply multiple modeling languages