9. Operational context of ATL ATL MOF MMa MMb Ma Mb MMa2MMb.atl ATL MMa is the source metamodel Ma is the source model Mb is the target model MMB is the target metamodel
29. Stakeholder Explains Designer Models Structured English RuleSpeak . . . English Text Valida The double transformation facilitates reusing the intermediate SBVR representation (e.g. generation for rule-based engines) Validation of UML Models * Work co-authored by Raquel Pau and Ruth Raventós UML CASE Tool UML Model Transf. M2M: UML to SBVR Transf M2T: SBVR to Natural Language SBVR Model ATL MofScript UML2
30. Input UML Model SBVR intermediate representation M2M ATL Transf. product Concept type: object type Necessity : each price of product is greater than zero price Concept type: role Definition: integer that represents the value of a product product has price Concept type: is-property-of fact type Necessity : each product has exactly one price family has code Concept type: is-property-of fact type Necessity : each family has exactly one code product belongs to family Concept type: associative fact type Necessity : each product belongs to exactly one family Structured English MOFScript Transf. Validation of UML Models
To present you a method that helps the designer during the specification of the software system by automatically generating a set of operations for a given class diagram.
To present you a method that helps the designer during the specification of the software system by automatically generating a set of operations for a given class diagram.