Exploiting the hierarchical structure of rule-based specifications - - PowerPoint PPT Presentation

▶
exploiting the hierarchical structure of rule based
SMART_READER_LITE
LIVE PREVIEW

Exploiting the hierarchical structure of rule-based specifications - - PowerPoint PPT Presentation

Dec 13, 2022 329 likes •1.29k views

Exploiting the hierarchical structure of rule-based specifications for decision planning Alberto Lluch Artur Boronat Roberto Bruni Ugo Montanari Generoso Paolillo IFIP International Conference on Formal T echniques for Distributed Systems

slide-1
SLIDE 1

Exploiting the hierarchical structure of rule-based specifications for decision planning

Alberto Lluch Artur Boronat Roberto Bruni Ugo Montanari Generoso Paolillo

IFIP International Conference on Formal T echniques for Distributed Systems June 7 – 10, 2010, Amsterdam

slide-2
SLIDE 2

MOF UML CD1 OC1 OC2 CD2 RS

TRANSFORMATION REFACTORING RECONFIGURATION

slide-3
SLIDE 3

MOF UML CD1 OC1 OC2 CD2 RS

TRANSFORMATION REFACTORING RECONFIGURATION Rewriting Logic Semantics [Boronat,Meseguer @FASE'08]

slide-4
SLIDE 4

MOF UML CD1 OC1 OC2 CD2 RS

TRANSFORMATION REFACTORING RECONFIGURATION Rewriting Logic Semantics [Boronat,Meseguer @FASE'08]

MOMENT2=ECLIPSE+MAUDE

slide-5
SLIDE 5

a

slide-6
SLIDE 6

[G(a)] | [H(a)] a

slide-7
SLIDE 7

[G(a)] | [H(a)] a

SOS-like rules

slide-8
SLIDE 8

MAUDE [G(a)] | [H(a)] a

SOS-like rules

slide-9
SLIDE 9

MAUDE [G(a)] | [H(a)] a

SOS-like rules ADR [Montanari, Bruni, Lluch, Gadducci, Tuosto, etc. @TGC'10]

slide-10
SLIDE 10

contains

1

slide-11
SLIDE 11

contains

1 2

slide-12
SLIDE 12

contains

q 1 3 2

slide-13
SLIDE 13

contains

q 1 3 2

slide-14
SLIDE 14

B

0..* 0..1

A

slide-15
SLIDE 15

BOX

color: ●●●... points contains

slide-16
SLIDE 16
slide-17
SLIDE 17
slide-18
SLIDE 18

b a

< a:Box | content:b > , < b:Box | container:a >

slide-19
SLIDE 19

b b a a

< a:Box | content:b > , < b:Box | container:a > < a : Box | < b : Box > >

slide-20
SLIDE 20
slide-21
SLIDE 21
slide-22
SLIDE 22
slide-23
SLIDE 23
slide-24
SLIDE 24

Object Collections (flat graphs) Conformant

slide-25
SLIDE 25

Object Collections (flat graphs) Conformant Nested Object Collections (hierarchical graphs) Conformant

slide-26
SLIDE 26

contains

q 1 3 2

slide-27
SLIDE 27
slide-28
SLIDE 28
slide-29
SLIDE 29
slide-30
SLIDE 30
slide-31
SLIDE 31
slide-32
SLIDE 32
slide-33
SLIDE 33
slide-34
SLIDE 34
slide-35
SLIDE 35
slide-36
SLIDE 36
slide-37
SLIDE 37
slide-38
SLIDE 38
slide-39
SLIDE 39
slide-40
SLIDE 40
slide-41
SLIDE 41
slide-42
SLIDE 42
slide-43
SLIDE 43
slide-44
SLIDE 44
slide-45
SLIDE 45
slide-46
SLIDE 46

WHICH STYLE IS BEST?

slide-47
SLIDE 47
slide-48
SLIDE 48

vs

slide-49
SLIDE 49
slide-50
SLIDE 50

vs

slide-51
SLIDE 51
slide-52
SLIDE 52
slide-53
SLIDE 53
slide-54
SLIDE 54
slide-55
SLIDE 55
slide-56
SLIDE 56
slide-57
SLIDE 57
slide-58
SLIDE 58
slide-59
SLIDE 59

PURE SOS LOCAL SOS SPO t i m e

24 25 26

slide-60
SLIDE 60

contains

q 1 3 2

slide-61
SLIDE 61
slide-62
SLIDE 62
slide-63
SLIDE 63

?

slide-64
SLIDE 64

? or ?

slide-65
SLIDE 65

2 1

slide-66
SLIDE 66
slide-67
SLIDE 67

a

slide-68
SLIDE 68

a b

slide-69
SLIDE 69

a b a+b

slide-70
SLIDE 70

2$,1h 1$,2h

slide-71
SLIDE 71

a,b a+c,max(c,d) c,d

slide-72
SLIDE 72

< A , + , x , 0 , 1 >

< Domain , choose , combine , worst , best > < Nat∞ , min , + , ∞ , 0 > < [0,1] , min , max , 0 , 1 > < Bool , or , and , false , true >

slide-73
SLIDE 73

< A , + , x , 0 , 1 >

< Domain , choose , combine , worst , best > < Nat∞ , min , + , ∞ , 0 > < [0,1] , min , max , 0 , 1 > < Bool , or , and , false , true >

slide-74
SLIDE 74

<A,+,x,0,1> X <B,+,x,0,1> = < AxB, (+,+), (x,x), (0,0), (1,1) >

slide-75
SLIDE 75

d e c b

slide-76
SLIDE 76

a a x b b

slide-77
SLIDE 77

IMPLEMENTATION NOTES

slide-78
SLIDE 78

Object Configuration Module Nested Object Configuration Module Rewrite rules

STATE SPACE

slide-79
SLIDE 79

FRONT-END

MOMENT2

http://www.cs.le.ac.uk/people/aboronat/tools/moment2-gt/

INTERFACE BACK-END

MAUDE

slide-80
SLIDE 80

FRONT-END

MOMENT2

http://www.cs.le.ac.uk/people/aboronat/tools/moment2-gt/

INTERFACE BACK-END

MAUDE

proof of concept

slide-81
SLIDE 81

FRONT-END

MOMENT2

http://www.cs.le.ac.uk/people/aboronat/tools/moment2-gt/

INTERFACE BACK-END

MAUDE

proof of concept

???

slide-82
SLIDE 82
slide-83
SLIDE 83

UML UML RDBS

slide-84
SLIDE 84

SPO S O S

UML UML RDBS

slide-85
SLIDE 85

CONCLUSION

slide-86
SLIDE 86

FLAT HIERARCHICAL

slide-87
SLIDE 87

SPO/REDUCTION CRL/SOS FLAT HIERARCHICAL

slide-88
SLIDE 88

SPO/REDUCTION CRL/SOS QUALITATIVE QUANTITATIVE FLAT HIERARCHICAL

slide-89
SLIDE 89

SPO/REDUCTION CRL/SOS QUALITATIVE QUANTITATIVE FLAT HIERARCHICAL Composition-free Composition-driven

slide-90
SLIDE 90

SPO/REDUCTION CRL/SOS Sequences Trees QUALITATIVE QUANTITATIVE FLAT HIERARCHICAL Composition-free Composition-driven

slide-91
SLIDE 91

SPO/REDUCTION CRL/SOS Sequences Any choice Trees Quantitative choice QUALITATIVE QUANTITATIVE FLAT HIERARCHICAL Composition-free Composition-driven

slide-92
SLIDE 92

SPO/REDUCTION CRL/SOS Sequences Any choice Trees Quantitative choice QUALITATIVE QUANTITATIVE FLAT HIERARCHICAL ...RL/Maude! Composition-free Composition-driven RL/Maude

slide-93
SLIDE 93

THANKS!

slide-94
SLIDE 94

alberto.lluch@imtlucca.it linkedin.com/in/albertolluch