Download now Free registration required
The lack of a precise semantics for UML AD makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domains that require a certain degree of confidence. Due to economical interests, the business domain is one of these. To enhance confidence level of UML AD, this paper provides a formal definition of their syntax and semantics. The main interest of the approach is that the authors chose UML AD, which are recognized to be more tractable by engineers.
- Format: PDF
- Size: 188.8 KB