Optimalizace spouštění stroje pravidel Azure Logic Apps (Preview)
Platí pro: Azure Logic Apps (Standard)
Důležité
Tato funkce je ve verzi Preview a podléhá dodatečným podmínkám použití pro microsoft Azure Preview.
Modul pravidel Azure Logic Apps poskytuje kontext spouštění sady pravidel, kterou můžete vytvořit pomocí nástroje Microsoft Rules Composer. Tato příručka vysvětluje základní koncepty fungování stroje pravidel a poskytuje doporučení optimalizace pro operace a provádění.
Základní součásti
Exekutor sady pravidel
Tato komponenta implementuje algoritmus zodpovědný za vyhodnocení podmínky pravidla a provádění akce. Výchozí exekutor sady pravidel je stroj pro odvozování odvozování založený na síti na základě diskriminace, který je navržený tak, aby optimalizoval provoz v paměti.
Translator sady pravidel
Tato komponenta přebírá jako vstup objekt RuleSet a vytváří spustitelný soubor sady pravidel. Výchozí překladač v paměti vytvoří z definice sady pravidel kompilovanou síť diskriminace.
Zachytávání sady pravidel
Tato komponenta přijímá výstup z exekutoru sady pravidel a předává tento výstup do nástrojů pro sledování a monitorování sady pravidel.
Vyhodnocení podmínky a spuštění akce
Modul pravidel Azure Logic Apps je vysoce efektivní modul pro odvozování, který dokáže propojit pravidla s objekty .NET nebo dokumenty XML. Modul pravidel používá pro spouštění sady pravidel třífázový algoritmus s následujícími fázemi:
Utkání
Modul pravidel ve fázi shody porovnává fakta s predikáty, které používají typ faktu, což jsou odkazy na objekty udržované v pracovní paměti stroje pravidel pomocí predikátů definovaných v podmínkách pravidla. Kvůli efektivitě se porovnávání vzorů napříč všemi pravidly v sadě pravidel a podmínky, které jsou sdíleny mezi pravidly, se shodují pouze jednou. Modul pravidel může ukládat částečné shody podmínek v pracovní paměti, aby se urychlily následné operace porovnávání vzorů. Výstup z fáze porovnávání vzorů obsahuje aktualizace programu stroje pravidel.
Konfliktů
Ve fázi řešení konfliktů modul pravidel zkoumá pravidla, která jsou kandidáty na spuštění, a určí další sadu akcí pravidel, které se mají spustit, na základě předem určeného schématu řešení. modul pravidel přidá všechna kandidátská pravidla nalezená během odpovídající fáze do programu modulu pravidel.
Výchozí schéma řešení konfliktů je založené na prioritách pravidel v rámci sady pravidel. Priorita je vlastnost pravidla, kterou můžete nakonfigurovat v nástroji Microsoft Rules Composer. Čím větší je číslo, tím vyšší je priorita. Pokud se aktivuje více pravidel, modul pravidel nejprve spustí akce s vyšší prioritou.
Akce
Ve fázi akce modul pravidel spouští akce v vyřešené pravidlo. Akce pravidel můžou v modulu pravidel uplatnit nová fakta, což způsobí, že cyklus bude pokračovat a označuje se také jako řetězení vpřed.
Důležité
Algoritmus nikdy nepřeruší aktuálně spuštěné pravidlo. Modul pravidel provede všechny akce v aktuálně spuštěném pravidle před opakováním fáze shody. Jiná pravidla programu modulu pravidel se ale nespustí, než se fáze shody znovu spustí. Fáze shody může způsobit, že modul pravidel tato pravidla před spuštěním programu odebere.
Příklad
Následující příklad ukazuje, jak funguje třífázový algoritmus shody, řešení konfliktů a akce:
Pravidlo 1: Vyhodnocení příjmů
Deklarativní reprezentace
Získat rating žadatele pouze v případě, že poměr příjmů k půjčkě žadatele je menší než 0,2.
KDYŽ – reprezentace pomocí obchodních objektů
IF Application.Income / Property.Price < 0.2 THEN Assert new CreditRating( Application)
Pravidlo 2: Vyhodnocení úvěrového hodnocení
Deklarativní reprezentace
Schválit žadatele pouze v případě, že rating žadatele je větší než 725.
KDYŽ – reprezentace pomocí obchodních objektů:
IF Application.SSN = CreditRating.SSN AND CreditRating.Value > 725 THEN SendApprovalLetter(Application)
Následující tabulka shrnuje fakta:
| Fakt | Popis | Pole |
|---|---|---|
| Aplikace | Dokument XML, který představuje aplikaci domácí půjčky. | - Příjem: 65 000 Kč - SSN: XXX-XX-XXXX |
| Vlastnost | Dokument XML, který představuje vlastnost k nákupu. | - Cena: 225 000 Kč |
| CreditRating | Dokument XML, který obsahuje rating žadatele o úvěr. | - Hodnota: 0-800 - SSN: XXX-XX-XXXX |
Aktualizace pracovní paměti a programu
Na začátku jsou pracovní paměť a agenda stroje pravidel prázdná. Jakmile aplikace přidá fakta o aplikaci a vlastnosti , modul pravidel aktualizuje svou pracovní paměť a program, jak je znázorněno na obrázku:
| Pracovní paměť | Agenda |
|---|---|
| -Aplikace -Vlastnost |
Pravidlo 1 |
Modul pravidel přidá pravidlo 1 do svého programu, protože podmínka Application.Income / Property.Price < 0.2 se vyhodnotí jako true během fáze shody.
V pracovní paměti neexistuje žádná skutečnost CreditRating , takže podmínka pravidla 2 se nevyhodnocuje.
Pravidlo 1 je jediné pravidlo programu, takže pravidlo se provede a pak zmizí z programu.
Pravidlo 1 definuje jedinou akci, která má za následek novou skutečnost, což je dokument CreditRating žadatele, který je přidán do pracovní paměti.
Po dokončení provádění pravidla 1 se ovládací prvek vrátí do fáze shody.
Jediným novým objektem , který se má shodovat, je fakt CreditRating , takže výsledky fáze shody jsou následující:
Pracovní paměť Agenda -Aplikace
-Vlastnost
- CreditRatingPravidlo 2 Pravidlo 2 se nyní provede, které volá funkci, která žadateli pošle schvalovací dopis.
Po dokončení pravidla 2 se ovládací prvek vrátí do fáze shody. Nejsou však k dispozici žádná nová fakta, která by se měla shodovat, a program je prázdný, takže se ukončí řetězení a provádění sady pravidel je dokončeno.
Agenda a priorita
Abyste pochopili, jak modul pravidel Azure Logic Apps vyhodnocuje pravidla a provádí akce, musíte se také seznámit s koncepty agendy a priority.
Agenda
Program modulu pravidel je plán, který zařadí pravidla do fronty pro provádění. Agenda existuje pro instanci motoru a funguje na jedné sadě pravidel, nikoli na řadu sad pravidel. Když je fakt uplatněn do pracovní paměti a jsou splněny podmínky pravidla, modul umístí pravidlo do programu programu a spustí toto pravidlo na základě priority. Modul provede akce pravidla od nejvyšší po nejnižší prioritu a pak provede akce pro další pravidlo v programu.
Modul pravidel zachází s akcemi v pravidle jako s blokem, takže všechny akce se spouštějí před tím, než se modul přesune na další pravidlo. Všechny akce v bloku pravidla se spustí bez ohledu na ostatní akce v bloku. Další informace o kontrolním výrazu naleznete v tématu Optimalizace modulu pravidel pomocí řídicích funkcí .
Následující příklad ukazuje, jak program funguje:
Pravidlo 1
IF
Fact1 == 1
THEN
Action1
Action2
Pravidlo 2
IF
Fact1 > 0
THEN
Action3
Action4
Když je fakt Fact1, který má hodnotu 1, je v motoru uplatněn, obě pravidla 1 a pravidlo 2 mají splněné podmínky. Takže modul přesune obě pravidla do programu, aby provedl své akce.
| Pracovní paměť | Agenda |
|---|---|
| Fakt 1 (hodnota=1) | Pravidlo 1: - Akce 1 - Akce2 Pravidlo 2: - Akce 3 - Akce4 |
Priorita
Ve výchozím nastavení jsou všechna pravidla nastavená na hodnotu 0 jako priorita pro provádění. Tuto prioritu ale můžete změnit u jednotlivých pravidel. Priorita se může pohybovat na obou stranách 0 s většími čísly s vyšší prioritou. Modul provádí akce od nejvyšší priority po nejnižší prioritu.
Následující příklad ukazuje, jak priorita ovlivňuje provádění objednávek pravidel:
Pravidlo 1 (priorita = 0)
IF
Fact1 == 1
THEN
Discount = 10%
Pravidlo 2 (priorita = 10)
IF
Fact1 > 0
THEN
Discount = 15%
I když jsou splněny podmínky obou pravidel, pravidlo 2 se spustí jako první kvůli vyšší prioritě. Konečná sleva je 10 procent z důvodu výsledku provedené akce pro pravidlo 1, jak je znázorněno v následující tabulce:
| Pracovní paměť | Agenda |
|---|---|
| Fakt1 (hodnota=1) | Pravidlo 2: Sleva: 15 % Pravidlo 1: Sleva: 10 % |
Vedlejší účinky akce
Pokud provádění akce ovlivňuje stav objektu nebo termín použitý v podmínkách, znamená to, že tato akce má na daný objekt nebo termín "vedlejší účinek". Tato fráze neznamená, že akce má vedlejší účinky, ale spíše je objekt nebo termín potenciálně ovlivněn jednou nebo více akcemi.
Předpokládejme například, že máte následující pravidla:
Pravidlo 1
IF OrderForm.ItemCount > 100
THEN OrderForm.Status = "Important"
Pravidlo 2
IF OrderList.IsFromMember = true
THEN OrderForm.UpdateStatus("Important")
V tomto příkladu má OrderForm.UpdateStatus vedlejší účinek na OrderForm.Status, což znamená, že OrderForm.Status je potenciálně ovlivněna jednou nebo více akcemi.
Vlastnost SideEffects pro členy třídy .NET je nastavena na hodnotu true jako výchozí hodnota, která brání modulu pravidel v ukládání člena do mezipaměti se vedlejšími účinky. V tomto příkladu modul pravidel neuvádí mezipaměť OrderForm.Status v pracovní paměti. Místo toho modul získá nejnovější hodnotu OrderForm.Status pokaždé, když modul vyhodnotí pravidlo 1. Pokud hodnota vlastnosti SideEffects je false, modul pravidel ukládá hodnotu do mezipaměti, když modul vyhodnotí OrderForm.Status poprvé. Pro pozdější vyhodnocení ve scénářích řetězení dopředu ale modul použije hodnotu uloženou v mezipaměti.
Nástroj Microsoft Rules Composer v současné době neposkytuje způsob, jak upravit hodnotu vlastnosti SideEffects . Hodnotu vlastnosti SideEffects však můžete nastavit programově prostřednictvím rozhraní Business Rules Framework, což je Microsoft . Knihovna tříd kompatibilní s rozhraním NET Tuto hodnotu nastavíte na vazbu pomocí ClassMemberBinding třídy k určení metod objektů, vlastností a polí použitých v podmínkách a akcích pravidla. ClassMemberBinding třída má vlastnost s názvem SideEffects, která obsahuje logickou hodnotu, která označuje, zda přístup k členu změní jeho hodnotu.
Důležité informace o výkonu
Tato část popisuje, jak modul pravidel Azure Logic Apps funguje v různých scénářích a s různými hodnotami pro parametry konfigurace a ladění.
Typy faktů
Pro přístup k faktům .NET trvá modul pravidel méně času, než přístup k faktům XML. Pokud máte v sadě pravidel možnost použít fakta .NET nebo fakta XML, zvažte použití faktů .NET k lepšímu výkonu.
Priorita pravidla
Nastavení priority pravidla může být v rozsahu na obou stranách 0 , přičemž větší čísla mají vyšší prioritu. Akce se spouštějí v pořadí od nejvyšší priority po nejnižší prioritu. Když sada pravidel implementuje chování přesměrování řetězení pomocí assert nebo update volání, můžete optimalizovat řetězení pomocí Priority vlastnost.
Předpokládejme například, že pravidlo 2 má závislost na hodnotě nastavené pravidlem 1. Pokud má pravidlo 1 vyšší prioritu, pravidlo 2 se spustí jenom po vyvolání pravidla 1 a aktualizaci hodnoty. Naopak pokud má pravidlo 2 vyšší prioritu, pravidlo se může aktivovat jednou a potom znovu spustit po spuštění pravidla 1 a aktualizovat fakt v podmínce pro pravidlo 2. Tento scénář může nebo nemusí vést ke správným výsledkům, ale při spouštění dvakrát má vliv na výkon a aktivaci pouze jednou.
Další informace naleznete v tématu Vytváření pravidel pomocí nástroje Microsoft Rules Composer.
Logické operátory OR
Modul pravidel je optimalizovaný tak, aby spouštět logické operátory AND a rekonstruoval pravidlo, které modul parsoval do disjunktivního normálního tvaru tak, aby logický operátor OR byl použit pouze na nejvyšší úrovni.
Pokud v podmínkách použijete více logických operátorů OR , toto zvýšení vytvoří více permutací, které rozšíří síť analýzy stroje pravidel. V důsledku toho může modul pravidel trvat dlouhou dobu, než pravidlo normalizuje.
Následující seznam obsahuje možná alternativní řešení tohoto problému:
Změňte pravidlo na disjunktivní normální formulář tak, aby operátor OR byl pouze na nejvyšší úrovni.
Zvažte vytvoření pravidla prostřednictvím kódu programu, protože můžete zjistit, že vytvoření pravidla v nesousedivé normální podobě v nástroji Microsoft Rules Composer může být složité.
Vyvíjejte pomocnou komponentu, která provádí operace OR , a vrací logickou hodnotu a pak tuto komponentu použijte v pravidle.
Rozdělte pravidlo na několik pravidel a pravidla kontrolují příznak nastavený dříve spouštěným pravidlem nebo použijte objekt, který dříve spuštěné pravidlo použilo, například:
Pravidlo 1:
IF (a == 1 OR a == 3) THEN b = truePravidlo 2:
IF (b == true) THEN …Pravidlo 1:
IF (a == 1 OR a == 3) THEN Assert(new c())Pravidlo 2:
IF (c.flag == true) THEN …
Aktualizace volání
Funkce Update aktualizuje skutečnost, která existuje v pracovní paměti modulu pravidel, což způsobuje opětovné hodnocení pro všechna pravidla, která používají aktualizované skutečnosti v podmínkách. Toto chování znamená, že volání funkce Update můžou být nákladná, zejména pokud řada pravidel vyžaduje opětovné hodnocení kvůli aktualizovaným faktům. V některýchsituacích
Představte si například následující pravidla:
Pravidlo 1
IF PurchaseOrder.Amount > 5
THEN StatusObj.Flag = true; Update(StatusObj)
Pravidlo 2
IF PurchaseOrder.Amount <= 5
THEN StatusObj.Flag = false; Update(StatusObj)
Všechna zbývající pravidla v sadě pravidel ve svých podmínkách používají StatusObj.Flag . Když zavoláte funkci Update u objektu StatusObj , všechna pravidla se znovu zhodnotí. Bez ohledu na hodnotu v poli Částka se všechna pravidla s výjimkou pravidla 1 a pravidla 2 vyhodnocují dvakrát: jednou před voláním aktualizace a jednou po volání aktualizace.
Místo toho můžete nastavit hodnotu příznaku na false před vyvolání sady pravidel a pak použít pouze pravidlo 1 v sadě pravidel k nastavení příznaku. V tomto případě je funkce Update volána pouze v případě, že je hodnota Amount větší než 5. Funkce Update se nevolá, pokud je částka menší nebo rovna 5. Tímto způsobem se vyhodnocují všechna pravidla kromě pravidla 1 a pravidla 2 dvakrát, pouze pokud je hodnota Částka větší než 5.
Chování vlastnosti SideEffects
V XmlDocumentFieldBinding a ClassMemberBinding třídy SideEffects vlastnost určuje, zda uložit hodnotu vázaného pole, člena nebo sloupce.
V XmlDocumentFieldBinding třídy SideEffects vlastnost výchozí hodnota je false. Nicméně , ClassMemberBinding třída, SideEffects vlastnost výchozí hodnota je true.
Takže pokud modul přistupuje k poli v dokumentu XML podruhé nebo později v sadě pravidel, získá modul hodnotu pole z mezipaměti. Pokud však modul přistupuje k členu objektu .NET podruhé nebo později v sadě pravidel, získá modul hodnotu z objektu .NET, nikoli z mezipaměti.
Toto chování znamená, že pokud nastavíte vlastnost SideEffects v třídě .NET ClassMemberBinding na false, můžete zvýšit výkon, protože modul získá hodnotu člena z mezipaměti od druhé a vyšší. Hodnotu vlastnosti však můžete nastavit pouze prostřednictvím kódu programu, protože Nástroj Microsoft Rules Composer nezpřístupňuje vlastnost SideEffects .
Instance a selektivita
Třídy XmlDocumentBinding a ClassBinding mají následující vlastnosti, které modul pravidel používá jejich hodnoty k optimalizaci vyhodnocení podmínky. Tyto hodnoty vlastností umožňují modulu použít v vyhodnocení podmínek co nejmenší možné instance a pak použít zbývající instance.
Instance: Očekávaný počet instancí třídy v pracovní paměti.
Pokud znáte počet instancí objektů předem, můžete vlastnost Instances nastavit na toto číslo, aby se zlepšil výkon.
Selektivita: Procento instancí třídy, které úspěšně projdou podmínkami pravidla.
Pokud znáte procento instancí objektů, které předávají podmínky předem, můžete vlastnost Selectivity nastavit na toto procento, aby se zlepšil výkon.
Tyto hodnoty vlastností můžete nastavit pouze prostřednictvím kódu programu, protože nástroj Microsoft Rules Composer je nezpřístupňuje.
Podpora dědičnosti tříd
Dědičnost je schopnost používat všechny funkce z existující třídy a rozšířit tyto schopnosti bez přepsání původní třídy, což je klíčovou funkcí v jazycích OOP (Object Oriented Programming).
Modul pravidel Azure Logic Apps podporuje následující druhy dědičnosti tříd:
Dědičnost implementace: Schopnost používat vlastnosti a metody základní třídy bez jiného kódování.
Dědičnost rozhraní: Schopnost používat pouze názvy vlastností a názvy metod, ale podřízená třída musí poskytnout implementaci.
Pomocí modulu pravidel můžete psát pravidla z hlediska společné základní třídy, ale objekty vytříděné do modulu pravidel mohou pocházet z odvozených tříd.
Následující příklad má základní třídu s názvem Employee, zatímco odvozené třídy jsou pojmenovány RegularEmployee a ContractEmployee:
class Employee
{
public string Status()
{
// member definition
}
public string TimeInMonths()
{
// member definition
}
}
class ContractEmployee : Employee
{
// class definition
}
class RegularEmployee : Employee
{
// class definition
}
V tomto příkladu předpokládejme, že máte následující pravidla:
Pravidlo 1
IF Employee.TimeInMonths < 12
THEN Employee.Status = "New"
At run time, if you assert two objects, a **ContractEmployee** instance and a **RegularEmployee** instance, the engine evaluates both objects against the Rule 1.
You can also assert derived class objects in actions by using an **Assert** function. This function causes the engine to reevaluate rules that contain the derived object and the base type in their conditions as shown in the following example, which demonstrates implementation inheritance:
**Rule 2**
```text
IF Employee.Status = "Contract"
THEN Employee.Bonus = false
Assert(new ContractEmployee())
Po kontrolním výrazu modul znovu vyhodnocuje všechna pravidla, která obsahují typ Zaměstnanec nebo typ ContractEmployee ve svých podmínkách. I když je uplatněna pouze odvozená třída, základní třída také získá asserted, pokud pravidla jsou zapsána pomocí metod v základní třídě, nikoli v odvozené třídě.