The VM* Wiki

Official documentation for the VM* family of model manipulation languages.

User Tools

Site Tools


vmtl:semantics

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
vmtl:semantics [2015/03/13 12:48]
127.0.0.1 external edit
vmtl:semantics [2015/09/22 15:05] (current)
rvac [The VMTL Metamodel]
Line 1: Line 1:
 +~~NOCACHE~~
 +
 ====== The Operational Semantics of VMTL ====== ====== The Operational Semantics of VMTL ======
  
Line 7: Line 9:
 ===== The VMTL Metamodel ===== ===== The VMTL Metamodel =====
  
-In VMTL, a **transformation** consists of one or more **rules**. Each rule has an execution **priority** expressed as a positive integer, with as a default value. Rules with higher ​priority take precedence over rules with lower priority. In case the highest priority ​is shared by several rules, one of the rules is randomly selected for execution.+In VMTL, a **transformation** consists of one or more **rules**. Each rule has an execution **priority** expressed as a positive integer, with ∞ as a default value. Rules with lower numerical values assigned to their priority ​attribute ​take precedence over rules with higher values. In case the lowest value is shared by several rules, one of the rules is randomly selected for execution.
  
 {{ :​vmtl:​metamodel.png?​direct|}} {{ :​vmtl:​metamodel.png?​direct|}}
Line 41: Line 43:
  
 ^Stereotype^Extends^Description^Icon^ ^Stereotype^Extends^Description^Icon^
-| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​VM Annotation</​span></​html>​ | Comment | Stereotype applicable to Comments containing annotations specified by any VM* language (VMTL, VMCL, or VMTL). | -- | +| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​&​lt;&​lt;​VM Annotation&​gt;&​gt;​</​span></​html>​ | Comment | Stereotype applicable to Comments containing annotations specified by any VM* language (VMTL, VMCL, or VMTL). | -- | 
-| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​VM Transformation</​span></​html>​ | Package | Stereotype applicable to Packages containing one VMTL Transformation.| -- | +| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​&​lt;&​lt;​VM Transformation&​gt;&​gt;​</​span></​html>​ | Package | Stereotype applicable to Packages containing one VMTL Transformation.| -- | 
-| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​VM Rule</​span></​html>​ | Package | Stereotype applicable to Packages containing one VMTL Rule.| -- | +| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​&​lt;&​lt;​VM Rule&​gt;&​gt;​</​span></​html>​ | Package | Stereotype applicable to Packages containing one VMTL Rule.| -- | 
-| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​VM Find</​span></​html>​ | Package, Comment | Stereotype applicable to Packages containing one Find Pattern. The Stereotype can also be applied to Comments included in Find Patterns, in which case the Stereotype Icon replaces the standard Comment notation.| {{ :​vmtl:​vm_find.png?​direct&​50 |}} | +| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​&​lt;&​lt;​VM Find&​gt;&​gt;​</​span></​html>​ | Package, Comment | Stereotype applicable to Packages containing one Find Pattern. The Stereotype can also be applied to Comments included in Find Patterns, in which case the Stereotype Icon replaces the standard Comment notation.| {{ :​vmtl:​vm_find.png?​direct&​50 |}} | 
-| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​VM Produce</​span></​html>​ | Package, Comment | Stereotype applicable to Packages containing one Produce Pattern. The Stereotype can also be applied to Comments included in Produce Patterns, in which case the Stereotype Icon replaces the standard Comment notation.| {{ :​vmtl:​vm_produce.png?​nolink&​50 |}} | +| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​&​lt;&​lt;​VM Produce&​gt;&​gt;​</​span></​html>​ | Package, Comment | Stereotype applicable to Packages containing one Produce Pattern. The Stereotype can also be applied to Comments included in Produce Patterns, in which case the Stereotype Icon replaces the standard Comment notation.| {{ :​vmtl:​vm_produce.png?​nolink&​50 |}} | 
-| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​VM Update</​span></​html>​ | Package, Comment | Stereotype applicable to Packages containing one Update Pattern. The Stereotype can also be applied to Comments included in Update Patterns, in which case the Stereotype Icon replaces the standard Comment notation. | {{ :​vmtl:​vm_update.png?​nolink&​50 |}} | +| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​&​lt;&​lt;​VM Update&​gt;&​gt;​</​span></​html>​ | Package, Comment | Stereotype applicable to Packages containing one Update Pattern. The Stereotype can also be applied to Comments included in Update Patterns, in which case the Stereotype Icon replaces the standard Comment notation. | {{ :​vmtl:​vm_update.png?​nolink&​50 |}} | 
-| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​VM Forbid</​span></​html>​ | Package, Comment | Stereotype applicable to Packages containing one Forbid Pattern. The Stereotype can also be applied to Comments included in Forbid Patterns, in which case the Stereotype Icon replaces the standard Comment notation. | {{ :​vmtl:​vm_forbid.png?​nolink&​50 |}} | +| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​&​lt;&​lt;​VM Forbid&​gt;&​gt;​</​span></​html>​ | Package, Comment | Stereotype applicable to Packages containing one Forbid Pattern. The Stereotype can also be applied to Comments included in Forbid Patterns, in which case the Stereotype Icon replaces the standard Comment notation. | {{ :​vmtl:​vm_forbid.png?​nolink&​50 |}} | 
-| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​VM Require</​span></​html>​ | Package, Comment | Stereotype applicable to Packages containing one Require Pattern. The Stereotype can also be applied to Comments included in Require Patterns, in which case the Stereotype Icon replaces the standard Comment notation. | {{ :​vmtl:​vm_require.png?​nolink&​50 |}} |+| <​html><​span style="​white-space:​ nowrap; font-weight:​ bold">​&​lt;&​lt;​VM Require&​gt;&​gt;​</​span></​html>​ | Package, Comment | Stereotype applicable to Packages containing one Require Pattern. The Stereotype can also be applied to Comments included in Require Patterns, in which case the Stereotype Icon replaces the standard Comment notation. | {{:​vmtl:​vm_require.png?​nolink&​50|}} |
  
 Some host modeling languages do not provide support for stereotypes and profiles. For such host languages, naming conventions must be used. For instance, in the case of BPMN, VMTL transformations must be contained in Packages having names prefixed by the "''​[VM Transformation]''"​ string. Some host modeling languages do not provide support for stereotypes and profiles. For such host languages, naming conventions must be used. For instance, in the case of BPMN, VMTL transformations must be contained in Packages having names prefixed by the "''​[VM Transformation]''"​ string.
vmtl/semantics.1426250905.txt.gz · Last modified: 2015/03/24 16:11 (external edit)