4.1.2. ASM Rule Invocation
Prev 4.1. ASM Rule Definition and Invocation Next

4.1.2. ASM Rule Invocation

[Tip]Description

An ASM rule invocation is an abstract term for a whole set of different invocations of ASM rule definitions and built-in ASM rules.

[Important]Syntax
AsmRuleAST ::= SimpleRuleAST
             | CompoundRuleAST
	           | ModelManipulationRuleAST

AsmRulesAST ::= AsmRulesOptAST AsmRuleAST 
	
AsmRulesOptAST ::= $empty
                 | AsmRulesOptAST AsmRuleAST

Traditionally, an ASM rule invocation is a simple rule or a compound rule. In VIATRA, the set of ASM rule invocations is extended with model manipulation rules, which can modify the VIATRA model space.

[Note]Semantics

The semantics of each type of rule invocations are described separately.

Prev Up Next
4.1.1. ASM Rule Definition Home 4.2. Simple ASM Rules