Customer. Sales Department. order product. send notification. product in stock? order received. yes prepare order. ship order

Transcription

1 Customer order product Sales Department order received no product in stock? yes prepare order send notification ship order

2 Correction and completion (of processes) Example (process) generation Correctness-preserving editing operations including replace and intelligent remove Diagram contraction (i.e., auto-link for processes) Demo 2

3 Process models practically relevant example appl. Approach realized in the DiaGen meta-tool Editors with the same features for several languages: Nassi-Shneiderman Diagrams n:=0 while x>1 y x even? n x:=x/2 x:=3x+1 n:=n+1 3

4 Process models practically relevant example appl. Approach realized in the DiaGen meta-tool Editors with the same features for several languages: Nassi-Shneiderman Diagrams Sequence Diagrams Fred Bob Hank 4

5 Process models practically relevant example appl. Approach realized in the DiaGen meta-tool Editors with the same features for several languages: Nassi-Shneiderman Diagrams Sequence Diagrams Alligator Eggs But: also restrictions (to be discussed later) Here: only well-structured process models 5

6 Diagram editors and meta-tools Classification of editors and meta-tools Hypergraphs and hypergraph patches Correspondence diagram hypergraph Hypergraph grammars for syntax definition Hypergraph patches Using hypergraph patches in diagram editors Diagram analysis in DiaGen editors Syntax-based user assistance Further assistance features Correctness-preserving editing operations Diagram contraction Restrictions 6

7 Generation of diagram editors from a specification Different approaches for syntax definition: C1 C2 7

8 Generation of diagram editors from a specification Different approaches for syntax definition: Grammar or Metamodel C1:Class ::= C1:Class src :Association Class src trg C2:Class trg C2:Class Association 8

9 metatool specification tool generator operates editor developer editor framework generated code uses diagram editor existing meta-tools provide good support for the editor developer less (generic) support for the editor user editor user 9

10 specification usually: metatool better tool editor more work for generator with our editor approach: generated framework code better editor and less work for operates uses editor developer diagram editor existing meta-tools provide good support for the editor developer less (generic) support for the editor user editor user 10

11 Free-hand editor diagram components can be freely arranged without any restrictions a lot of freedom OR AND Structure editor predefined operations that transform correct diagrams into (other) correct diagrams a lot of guidance 11

12 Diagram editors and meta-tools Classification of editors and meta-tools Hypergraphs and hypergraph patches Correspondence diagram hypergraph Hypergraph grammars for syntax definition Hypergraph patches Using hypergraph patches in diagram editors Diagram analysis in DiaGen editors Syntax-based user assistance Further assistance features Correctness-preserving editing operations Diagram contraction Restrictions 12

13 Hypergraph: edges connect an arbitrary number of nodes depending on their label Edges represent diagram components Nodes represent attachment areas node gateway (hyper-) edge label 13

14 Spatial Relationship Hypergraph at sequence at at sequence at inter start at sequence at gateway at message 14

15 Abstract Syntax Hypergraph pool start inter end message message pool start gateway message gateway end 15

16 n n Process ::= start Flow end n1 n2 n1 n2 Flow ::= FlElem Flow n1 FlElem n2 n1 FlElem n2 ::= n1 inter n2 n1 n2 context-free rules unambiguous n1 gateway Flow Flow gateway n2 inter start n1 n2 n4 n5 n3 n6 ::= message inter start n1 n2 n4 n5 n3 n6 16

17 Description of hypergraph modifications n1 start H n3 n5 n6 end n2 n4 merge nodes add edges (and nodes) n1 start n3 n5~n6 end n2 n4 n1 start n3 n5 n6 end n2 n4 17

18 Conventional parser just constructs a derivation tree/dag wrt a grammar Extended parser computes patches while parsing Input: - hypergraph H - hypergraph grammar G - number of edges to add Output: all possible correcting hypergraph patches of this size For patch construction only context-free rules are considered 18

19 Diagram editors and meta-tools Classification of editors and meta-tools Hypergraphs and hypergraph patches Correspondence diagram hypergraph Hypergraph grammars for syntax definition Hypergraph patches Using hypergraph patches in diagram editors Diagram analysis in DiaGen editors Syntax-based user assistance Further assistance features Correctness-preserving editing operations Diagram contraction Restrictions 19

20 Compute patch and carry it over to diagram act1 completion act1 act2 act2 completion act2 act2 20

21 Layouter Layout information Diagram Modeler SRG Reducer ASG Parser Drawing tool Update translator Hypergraph patches Assistance selects operation I need help! chooses Editor user asks for assistance 21

22 Diagram order product SRG Modeler start at sequence at end ASG Reducer start end patch-computing Parser start end start at sequence at at sequence at at sequence at end Update Translator Layouter Parser Reducer order product 22

23 Diagram editors and meta-tools Classification of editors and meta-tools Hypergraphs and hypergraph patches Correspondence diagram hypergraph Hypergraph grammars for syntax definition Hypergraph patches Using hypergraph patches in diagram editors Diagram analysis in DiaGen editors Syntax-based user assistance Further assistance features Correctness-preserving editing operations Diagram contraction Restrictions 23

24 Break and patch operation operation intelligent remove act1 act2 act2 24

25 Benefits: preservation of correctness no additional specification effort exhaustive Integration of free-hand and syntax-directed editing a lot of freedom powerful guidance 25

26 Derive a correct diagram using layout information send notification order received product in stock? order closed Auto-link for BPMs prepare order ship order, send shipping info send notification order received product in stock? order closed prepare order ship order, send shipping info 26

27 Diagram editors and meta-tools Classification of editors and meta-tools Hypergraphs and hypergraph patches Correspondence diagram hypergraph Hypergraph grammars for syntax definition Hypergraph patches Using hypergraph patches in diagram editors Diagram analysis in DiaGen editors Syntax-based user assistance Further assistance features Correctness-preserving editing operations Diagram contraction Restrictions 27

28 Input 28

29 Context-free languages only context-free part of diagram is considered for the computation of patches many languages are inherently context-sensitive similar support for context-sensitive rules (too) many solutions Example: C1:Class ::= C1:Class src :Association n 2 solutions for n classes C2:Class trg C2:Class 29

30 BPM editor accepted for demo-track of the 2009 Business Process Management Conference Demonstration of novel features Participants answered questions regarding their level of experience and role in business process modeling their preferred business modeling tool and, of course, the demonstrated features 30

31 31

32 Syntax-based assistance is useful Syntax-based assistance can be computed without much specification effort Generic approach purely based on syntax, i.e., semantics not considered Resulting features are just complementary However: Speed & Context-freeness Patch-computing parser is available as a library can be used with other (meta) tools 32

33 Sketching editor with user-assistance User-assistance with metamodel-based syntax specification AtoM 3 33