「PIONEチュートリアル-PNML」の版間の差分

2014年11月5日 (水) 02:48時点における版

PIONEは、直接、pione定義書を記述する事もできますが、PNMLを用いて、ペトリネットの形式で記述することもできます． WoPeD（推奨）により、ペトリネットを記述し、PNML形式で保存します。それぞれのアクションは、マークダウン形式で記述する事ができます．

WoPeDを使ったpione定義書の作成

　ここではWoPeDを使って、PNMLファイルを作成し、pione定義書を作成するチュートリアルを行います。

まず、WoPeDを起動し、新規作成するためにFileのNewを選択します。
新規作成したファイル内のProcess上で右クリックすると、アイテムを選択することができます。



pione定義書を作成する上では上部2つの"○"(Place)と"□"(Transition)を使用します。主に"○"(Place)はファイルなどの入出力データを指し、"□"(Transition)はRuleなどの処理を指します。そして、"○"(Place)と"□"(Transition)の間をドラッグ操作による矢印(Annotation)でつなぐと、入力ファイルからある処理を経て出力ファイルを作成するフローが完成します。

WoPeDでフローを作成したら、次は"□"(Transition)の中身を作成します。こちらは下記のようなマークダウン形式ファイルを作成します。##が意味持っていることに注意して下さい。

## Transition名

ここにコメントを記述することができます。

```
Transition内のAction
```

## 次のTransition名
.
.
.

PNMLファイルとマークダウンファイルを作成した後は下記のコマンドによって、pione定義書へコンパイルすることができます。

$ pione compile (pnmlファイル) --action (アクション定義ファイル) > (pione定義書ファイル名)

基本１（特定のファイルを出力する）

　では、PIONEチュートリアル#基本１（特定のファイルを出力する）と同様にHelloプログラムを作ってみましょう。

まず、下記のようなHelloWorld.pnmlを作成します。このとき出力ファイルの">"はMain Ruleにおける出力を指しています。("<"はMain Ruleの入力)


次に下記のようなHelloWorld.mdを作成します。

# HelloWorld.pione

## Hello
Here, you can write Comment.


```
echo "Hello PIONE world !" > {$O[1]}
```

このファイルはこちらからダウンロードできます。

最後にコンパイルを行います。

pione compile HelloWorld.pnml --action HelloWorld.md > HelloWorld.pione

コンパイル後のpione定義書

Rule Main
  output 'message.txt'
Flow
  rule Hello
End

Rule Hello
  output 'message.txt'
Action
  echo "Hello PIONE world !" > {$O[1]}
End

PIONEチュートリアル#基本１（特定のファイルを出力する）と同様の機能を持つファイルHelloWorld.pioneが作成されました。

実行結果

/Basic1$ pione-client HelloWorld.pione -b HelloWorld
  ==> &Anonymous:Root([],{})
    --> Rule Application: &Anonymous:Root([],{})
      --> Distribution: &Anonymous:Root([],{})
            >>> &Anonymous:Main([],{})
  ==> &Anonymous:Main([],{})
    --> Rule Application: &Anonymous:Main([],{})
      --> Distribution: &Anonymous:Main([],{})
            >>> &Anonymous:Hello([],{})
  ==> &Anonymous:Hello([],{})
   SH ------------------------------------------------------------
   SH echo "Hello PIONE world !" > message.txt
   SH ------------------------------------------------------------
  <== &Anonymous:Hello([],{})
      <-- Distribution: &Anonymous:Main([],{})
    <-- Rule Application: &Anonymous:Main([],{})
      <-- Distribution: &Anonymous:Root([],{})
  <== &Anonymous:Main([],{})
    <-- Rule Application: &Anonymous:Root([],{})
  <== &Anonymous:Root([],{})
/Basic1$ cat HelloWorld/output/message.txt 
Hello PIONE world !

同様にHelloWorld/output/message.txt へHello PIONE world !が出力されています。

基本２（複数ルールによる処理）

　少しルールを増やした例を試してみましょう。
今回は各行に1つずつの数値が記述されている全ての.inファイルに対して、各数に2を掛ける処理(First)、さらに1を足す処理(Second)を施して、.outを出力するルールを作成します。

PNMLファイル

上記の2つ目のplaceでの{S*}はPIONEの記述における{$I[1]}を表しています。

マークダウンファイル

# Serial2.pione

## First
Multiply 2 to all input data.

```
awk '{print $1*2}' {$I[1]} > {$O[1]}
```

## Second
Add 1 to all input data.

```
awk '{print $1+1}' {$I[1]} > {$O[1]}
```

このファイルはこちらからダウンロードできます。

コンパイル後のpione定義書

Rule Main
  input '*.in'
  output '*.out'
Flow
  rule First
  rule Second
End

Rule First
  input '*.in'
  output '{$*}.route'
Action
  awk '{print $1*2}' {$I[1]} > {$O[1]}
End

Rule Second
  input '*.route'
  output '{$*}.out'
Action
  awk '{print $1+1}' {$I[1]} > {$O[1]}
End

PIONEの実行結果
入力ファイル

3
5

2
4

7
1

8
9
6

1
2
3
4
5
6
7
8
9

出力ファイル

7
11

5
9

15
3

17
19
13

3
5
7
9
11
13
15
17
19

入力ファイルの各データが×2の後に+1の処理が施され、PIONEチュートリアル#基本５（直列：フロールールの設定 ）と同様の処理を作成することができました。

基本３（複数種類の入出力がある処理）

　複数種類の入出力がある少し複雑な処理を記述してみましょう。