Statecharts Yakindu Tool

Transcrição

1 Statecharts Yakindu Tool 1

2 Agenda Introduction Installing Modeling Simulation Practice 2

3 3

4 Features Modeling Syntax checking Simulation Integration with Java code Code generation Java C C++ 4

5 Download (01/02) 5

6 Download (02/02) 6

7 Online resources - documentation 7

8 Yakindu Installing & Running 8

9 Installing & Running 9

10 Creating a new project 10

11 Creating a new project (1/4) The first step is to create a new Eclipse project that can serve as a container for our model. From the main menu, select File New Project...: 11

12 Creating a new project (2/4) The New Project wizard opens, showing a couple of different project types structured in various folders. Select General Project and click Next >. 12

13 Creating a new project (3/4) Specify a meaningful Project name, e. g. LightSwitch, and optionally select a Location to create the project in. Click Finish. 13

14 Creating a new project (4/4) 14

15 Creating a new folder 15

16 Creating a new folder (1/2) Right-click on the project s root, i. e. on LightSwitch, then select New Folder from the context menu. 16

17 Creating a new folder (2/2) Give the model folder a reasonable name, e. g. model, and type it into the Folder Name text field. Then click Finish. The new model folder is created and appears in the Project Explorer view at the left. 17

18 Creating a new statechart 18

19 Creating a new statechart (1/4) Right-click on the model folder and select New Other in the context menu: 19

20 Creating a new statechart (2/4) Select YAKINDU SCT Statechart model 20

21 Creating a new statechart (3/4) The default file name in the File Name field is default.sct 21

22 Creating a new statechart (4/4) 22

23 Getting to know the environment 23

24 Project Explorer Browse your project s files 24

25 Outline Zoomed out view of your statechart 25

26 Problems/Properties Problems: warnings and errors in your current project Properties: properties of the selected element 26

27 Problems 27

28 Main Panel (1/4) The actual modeling 28

29 Main Panel (2/4) Text area for declarations 29

30 Main Panel (3/4) The actual statechart 30

31 Main Panel (3/4) Palette of modeling elements 31

32 Perspective 32

33 Inserting elements 33

34 Pallete 34

35 Inserting elements To insert an element, select the element in the Palette (1) and then draw it in the statechart (2) 35

36 Inserting transitions (1/2) To insert a transition, select Transition in the Palette (1) and then drag (2) and drop (3) from the origin state to the target state... 36

37 Inserting transitions (2/2)... and lastly you can detail the transition: event (condition) / action 37

38 Inserting super-states (1/2) Super-states are called Composite States it can be added in the same way as regular states 38

39 Inserting super-states (2/2) If you need to turn a state into a super-state, you just need to add a Region to that state 39

40 Inserting orthogonal states (1/3) To insert an orthogonal state, select Orthogonal State in the pallete (drop-down menu of Composite State ), then just insert it as a regular state 40

41 Inserting orthogonal states (2/3) The orthogonal state starts with 2 sub-states. To add more, insert a region 41

42 Editing elements 42

43 Editing elements (1/2) Option 1) Double-click the element; write; press Enter. 43

44 Editing elements (2/2) Option 2) Click the element (1); go to the Properties panel (2); edit. 44

45 Simulation 45

46 Running a simulation (1/3) Create a statechart 46

47 Running a simulation (2/3) In the Run menu (1), select Run As (2), Statechart Simulation (3) 47

48 Running a simulation (3/3) The tool will change to the SC Simulation perspective Active states are highlighted in red (1) 48

49 Events 49

50 After Syntax: after time unit Unit: s seconds ms milliseconds us microseconds ns nanoseconds empty implies seconds 50

51 Custom Events You can write any event in your transitions (1) But you need to declare the events (2) 51

52 Defining events (general) You can define general events interface: in event presscapslocks in event pressenter in event... 52

53 Defining events (scoped) Or you can define scoped events interface Keyboard: in event presscapslocks in event pressenter in event... 53

54 Events in a simulation During simulation, the declared events appear in a list of events, which can be clicked to simulate the occurrence of that event 54

55 Variables and Actions 55

56 Variables (declaring 1/2) internal: var varname:vartype = startingvalue Ex: var count:integer = 0 56

57 Variables (declaring 2/2) Possible types: integer real boolean string 57

58 Variables (modifying) Variable can be modified by actions 58

59 Actions Transition event [condition] / action State entry / action exit / action 59

60 Variables (conditions) Variables can also be used to define conditions event [condition] / action 60

61 Variables (simulation) During simulation, the current value of variables is also displayed in the Simulation View 61

62 Variables and Actions 62

63 Practice 1 Create this statechart and simulate its execution 63

64 Practice 2 Create this statechart and simulate its execution 64

65 Practice 3 Online book store Uma livraria pretende desenvolver um sistema web onde ela poderá vender seus livros. Acessando o website os usuários visualizarão a página inicial do site, que é composta por uma lista de livros. Se o usuário encontrar o livro desejado na lista, ele poderá visualizar seus detalhes diretamente. Além disso, o usuário poderá pesquisar por um determinado livro quantas vezes desejar até que o produto seja encontrado, onde ele poderá visualizar os detalhes do livro. A qualquer momento o usuário poderá retornar para a página inicial. Uma vez que o livro seja encontrado e seus detalhes sejam visualizados, o usuário tem 3 opções: ele pode comprar o livro, enviar uma recomendação do livro ou escrever uma resenha sobre ele. Após qualquer uma dessas ações, o usuário é redirecionado para a página inicial. Com o intuito de realizar a compra, o usuário deverá executar o seguinte procedimento: primeiro é necessário fornecer detalhes pessoais, escolher local da entrega, calcular o valor do frete, confirmar a compra e então realizar o pagamento. Entretanto, o cálculo do frete não é sempre realizado, uma vez que o usuário pode escolher retirar em uma loja física. Para realizar a compra, o usuário não precisa estar cadastrado no site. Caso o pagamento não seja feito com sucesso, o usuário poderá tentar mais duas vezes, ou então voltar para a página inicial. Após a terceira tentativa, se o pagamento não for bem sucedido, o usuário será redirecionado para a página inicial. Independentemente da interação do usuário, o sistema deve enviar s a cada 12 horas para aqueles usuários cujos pagamentos ainda não foram aprovados. 65