ISO/IEC 15909-2:2011 システムおよびソフトウェアエンジニアリング—高レベルのペトリネット—パート2:転送形式 | ページ 6

※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。

4 用語、定義、略語

4.1 用語と定義

この文書の目的のために、ISO/IEC 15909-1 および以下に示されている用語と定義が適用されます。

4.1.1

注釈

オブジェクト (4.1.7) の近くのテキストとして表される ラベル (4.1.5) に関連付けられています。

4.1.2

属性

関連付けられている オブジェクト (4.1.7) の形式または形状を制御する ラベル (4.1.5) 。 注釈 (4.1.1) とは対照的に、通常はテキストとして表示されません。

4.1.3

グラフィック情報

ネット グラフ の オブジェクト (4.1.7) と ラベル (4.1.5) のグラフィックの外観を定義する情報。これには、位置、サイズ、線の色、塗りつぶしの色、フォント、または線の幅が含まれます。

4.1.4

グローバルラベル

ネット グラフ の オブジェクト (4.1.7) ではなく、 ネット グラフ自体に関連付けられた ラベル (4.1.5)

4.1.5

ラベル

ネットグラフ またはその オブジェクトの 1 つに関連付けられた情報 (4.1.7)

4.1.6

メタモデル

一部のモデリング表記の概念とその関係を定義するモデル

注記 1: ISO/IEC 15909 のこの部分のメタモデルは、主にUMLクラス図です。

4.1.7

(ネットグラフの) オブジェクト

ネットグラフ の arc 、 node 、 参照ノード (4.1.14) 、または page (4.1.8)

4.1.8

ページ

大きな ネット グラフを 小さな部分に分割するために使用される構造化メカニズム。これらの部分は、印刷されるネットの単位でもあります。

4.1.9

pnmlコアモデル

メタ モデル (4.1.6) は、 ペトリ ネット のすべてのバージョンに共通する ネット グラフ モデルの基本概念と構造を定義します。

4.1.10

pnmlドキュメント(ペトリネットドキュメント)

1 つ以上の ネット グラフ を含むXMLドキュメント

4.1.11

pnml のハイレベル ネット ドキュメント

1 つ以上の ネット グラフ を含む pnmlDocument (4.1.10) すべての ネット グラフは 高レベルのペトリ ネット に準拠しwhere

4.1.12

pnml配置/遷移ネット ドキュメント

1 つ以上の ネット グラフ を含む pnmlDocument (4.1.10) すべての ネット グラフは 配置/遷移ネット に準拠しwhere

4.1.13

pnml対称ネットドキュメント

1 つ以上の ネット グラフ を含む pnmlDocument (4.1.10) すべての ネット グラフは 対称ネット に準拠しwhere

4.1.14

参照ノード

別の ノード を代表する ペトリ ネット の ノード 。 ネット グラフ の別の ページ (4.1.8) で定義されている可能性があります。

4.1.15

参考場所

場所を 表し、別の 参照場所 (4.1.15) または 場所 を参照する 参照ノード (4.1.14)

4.1.16

基準遷移

遷移を 表し、別の 参照遷移 (4.1.16) または 遷移 を参照する 参照ノード (4.1.14)

4.1.17

ソースノード

円弧 の始点に関連付けられた ノード

4.1.18

ターゲットノード

円弧 の端に関連付けられた ノード

4.1.19

ツール固有の情報

ネット グラフ の オブジェクト (4.1.7) または ネット グラフ 自体に関連付けられた、特定のツールに固有であり、他のツールで使用されることを意図していない情報

4.2 略語

4.2.1

CSS

カスケードスタイルシート

4.2.2

CSS2

カスケード スタイル シート レベル 2

4.2.3

OCL

オブジェクト制約言語

4.2.4

P/Tネット

プレイス/トランジションネット

4.2.5

PNML

ペトリネットマークアップ言語

4.2.6

リラックスNG

XML/ 新世代の通常の言語記述

4.2.7

sn

対称ネット

4.2.8

UML

統一モデリング言語

4.2.9

XML

拡張可能なマークアップ言語

参考文献

本編の参考文献

1R. Bastide, J. Billington, E. Kindler, F. Kordon, および KH Mortensen, 編集者。ペトリ ネット用の XML/SGML ベースの交換フォーマットに関する会議、デンマーク、オーフス、2000 年 6 月。第 21 回 ICATP
2F. バウセ、P. ケンパー、P. クリツィンガー。抽象的なペトリ ネット表記。ペトリ ネット ニュースレター、49:9–27, 1995 年 10 月。
3G. ベルトロー、J. ヴォーテラン、G. ヴィダル=ナケ。ペトリ ネットを説明するための構文。ペトリ ネット ニュースレター、29:4–15, 1988 年 4 月。
4ジョナサン・ビリントン、ソーレン・クリステンセン、キース・ヴァン・ヒー、エッカート・キンドラー、オラフ・クマー、ローレ・ペトルッチ、ライナー・ポスト、クリスチャン・ステーノ、マイケル・ウェーバー。 Petri Net マークアップ言語: 概念、テクノロジー、ツール。 W. van der Aalst および E. Best, 編集者、 『ペトリ ネットの応用と理論 2003』、第 24 回国際会議、LNCS 2679, 483 ~ 505 ページ。シュプリンガー、2003 年 6 月。
5AM コールマンズです。 PNIF 言語定義。技術レポート、英国ニューカッスル・アポン・タイン大学計算科学部、1995 年 7 月、バージョン 2.
6RBリンソーとT.メイルンド。高レベルのペトリ ネット用のテキスト交換形式。プロセスで。カラーペトリネットとデザイン/CPN の実用化に関するワークショップ、47 ~ 63 ページ、コンピュータサイエンス学部、オーフス大学、デンマーク、1998 年。PB-53
7T・メイルンドとK・H・モーテンセン。高レベルのペトリ ネット用の交換形式の XML によるスタイルとコンテンツの分離。 Bastide et al. [1], 7 ~ 11 ページ。
8C.ステノ。 Petri Net マークアップ言語: 実装とアプリケーション。 J. Desel および M. Weske, 編集者、 Promise 2002, 情報学講義ノートP-21, 18 ~ 30 ページ。コンピュータサイエンス協会、2002 年。
9O. Sy, M. Buffo, D. Buchs, F. Kordon, および R. Bastidペトリ ネット モデルのXML表現に対する実験的アプローチ。 Technical Report 2000/336, ローザンヌ連邦エコール工科大学、情報局、2000 年 6 月。
10M. ウェーバーと E. キンドラー。 Petri Net マークアップ言語。 H. Ehrig, W. Reisig, G. Rozenberg, および H. Weber 編集者、 『Petri Net Technology for Communication Based Systems』、LNCS 2472, 124 ~ 144 ページ。シュプリンガー、ベルリン - ハイデルベルク、2003 年。
11G.ウィーラー。ペトリ ネットを説明するためのテキスト構文。 Foresee 設計文書、Telecom Australia Research Laboratories, 1993 年。バージョン

付録 D の参考文献

12R. Bastide, J. Billington, E. Kindler, F. Kordon, および KH Mortensen, 編集者。ペトリ ネット用の XML/SGML ベースの交換フォーマットに関する会議、デンマーク、オーフス、2000 年 6 月。第 21 回 ICATP
13F. ブディンスキー、D. スタインバーグ、E. メルクス、R. エラーシック、TJ グロース。 Eclipse モデリング フレームワーク。エクリプスシリーズ。アディソン・ウェスリー・プロフェッショナル、2003 年 8 月。
14エクリプス財団。 Eclipse モデリング フレームワーク。 http://www.download.eclipse.org/tools/emf/scripts/home.php
15ロム・ヒラー、ファブリス・コルドン、ローレ・ペトルッチ、ニコラッド・トレヴス。モデルエンジニアリング手法に基づいて、ISO/IEC 15909 用の API を構築します。 Petri Net Markup Language (PNML'O5) に関する第 2 回ワークショップ、2005 年 5 月。
16LIP6を移動します。 CPN-AMI ホームページ。 http://www.lip6.fr/cpn-ami
17モデリングおよび検証部門。 PNML フレームワーク。 LIP6, http://www.lip6.fr/pnml
18ああ、神様。 MDA Guide バージョン 1.0.1, 文書番号: omg/2003-06-01, 200
19ああ、神様。 MetaObjectFacility 2.0 コア仕様、文書番号:omg/2003-10-04 。ああ、2003 年 10 月。
20ああ、神様。 UML 2.0 OCL 仕様、文書番号:omg/03-10-14 。ああ、2003 年 10 月。
21レムコ・ポプマ。 JET の紹介。 Azzurri Ltd.、 http://eclipse.org/emf/docs.php ?doc=tutorials/jet1/jet_tutorial1.html, 2005 年。
22AT&T リサーチ。グラフビズ。 http://www.graphviz.org/ 。
23C.ステノ。 Petri Net マークアップ言語: 実装とアプリケーション。 J. Desel および M. Weske, 編集者、 Promise 2002, 情報学講義ノートP-21, 18 ~ 30 ページ。コンピュータサイエンス協会、2002 年。

4 Terms, definitions and abbreviations

4.1 Terms and definitions

For the purposes of this document, the terms and definitions given in ISO/IEC 15909-1 and the following apply.

4.1.1

annotation

label (4.1.5) represented as text near to the object (4.1.7) It is associated with

4.1.2

attribute

label (4.1.5) that governs the form or shape of the object (4.1.7) it is associated with, which, in contrast to an annotation (4.1.1) , is typically not shown as text

4.1.3

graphical information

information defining the graphical appearance of objects (4.1.7) and labels (4.1.5) of a net graph, which can be the position, size, line colour, fill colour, font or line width

4.1.4

global label

label (4.1.5) associated with the net graph itself, rather than with an object (4.1.7) of a net graph

4.1.5

label

information associated with the net graph or one of its object (4.1.7)

4.1.6

meta model

model defining the concepts and their relations for some modelling notation

Note 1 to entry: The meta models in this part of ISO/IEC 15909 are mainly uml class diagrams.

4.1.7

object (of a net graph)

arc , node , reference node (4.1.14) , or page (4.1.8) of a net graph

4.1.8

page

structuring mechanism used to split a large net graph into smaller parts, which are also the units of the net to be printed

4.1.9

pnml Core Model

meta model (4.1.6) defining the basic concepts and structure of net graph models that are common to all versions of Petri nets

4.1.10

pnml Document (Petri Net Document)

xml document that contains one or more net graphs

4.1.11

pnml High-level Net Document

pnmlDocument (4.1.10) that contains one or more net graphs, where all net graphs conform to High-level Petri Nets

4.1.12

pnml Place/Transition Net Document

pnmlDocument (4.1.10) that contains one or more net graphs, where all net graphs conform to Place/Transition Nets

4.1.13

pnml Symmetric Net Document

pnmlDocument (4.1.10) that contains one or more net graphs, where all net graphs conform to Symmetric Nets

4.1.14

reference node

node of a Petri net that is a representative of another node, possibly defined on another page (4.1.8) of the net graph

4.1.15

reference place

reference node (4.1.14) that represents a place and refers to either another reference place (4.1.15) or to a place

4.1.16

reference transition

reference node (4.1.14) that represents a transition and refers to either another reference transition (4.1.16) or to a transition

4.1.17

source node

node associated with the start of an arc

4.1.18

target node

node associated with the end of an arc

4.1.19

tool specific information

Information associated with an object (4.1.7) of a net graph or with the net graph itself that is specific to a particular tool and is not meant to be used by other tools

4.2 Abbreviations

4.2.1

CSS

Cascading Stylesheets

4.2.2

CSS2

Cascading Stylesheets level 2

4.2.3

OCL

Object Constraint Language

4.2.4

P/T Net

Place/Transition Net

4.2.5

PNML

Petri Net Markup Language

4.2.6

RELAX NG

Regular Language description for xml/ New Generation

4.2.7

sn

Symmetric Net

4.2.8

UML

Unified Modeling Language

4.2.9

XML

extensible Markup Language

Bibliography

Bibliography for the main part

1R. Bastide, J. Billington, E. Kindler, F. Kordon, and K. H. Mortensen, editors. Meeting on XML/SGML based Interchange Formats for Petri Nets, Arhus, Denmark, June 2000. 21 st ICATPN.
2F. Bause, P. Kemper, and P. Kritzinger. Abstract Petri net notation. Petri Net Newsletter, 49:9–27, October 1995.
3G. Berthelot, J. Vautherin, and G. Vidal-Naquet. A syntax for the description of Petri nets. Petri Net Newsletter, 29:4–15, April 1988.
4Jonathan Billington, Søren Christensen, Kees van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, and Michael Weber. The Petri Net Markup Language: Concepts, technology, and tools. In W. van der Aalst and E. Best, editors, Application and Theory of Petri Nets 2003, 24th International Conference, LNCS 2679, pages 483-505. Springer, June 2003.
5A. M. Koelmans. PNIF language definition. Technical report, Computing Science Department, University of Newcastle upon Tyne, UK, July 1995. version 2.2.
6R. B. Lyngsø and T. Mailund. Textual interchange format for high-level Petri nets. In Proc. Workshop on Practical use of Coloured Petri Nets and Design/CPN, pages 47–63, Department of Computer Science, University of Arhus, Denmark, 1998. PB-532.
7T. Mailund and K. H. Mortensen. Separation of style and content with XML in an interchange format for highlevel Petri nets. In Bastide et al. [1], pages 7–11.
8C. Stehno. Petri Net Markup Language: Implementation and Application. In J. Desel and M. Weske, editors, Promise 2002, Lecture Notes in Informatics P-21, pages 18–30. Gesellschaft fur Informatik, 2002.
9O. Sy, M. Buffo, D. Buchs, F. Kordon, and R. Bastide. An experimental approach towards the xml representation of Petri net models. Technical Report 2000/336, École Polytechnique Fédéral de Lausanne, Departement D’Informatique, June 2000.
10M. Weber and E. Kindler. The Petri Net Markup Language. In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Petri Net Technology for Communication Based Systems, LNCS 2472, pages 124–144. Springer, Berlin Heidelberg, 2003.
11G. Wheeler. A textual syntax for describing Petri nets. Foresee design document, Telecom Australia Research Laboratories, 1993. version 2.

Bibliography for Annex D

12R. Bastide, J. Billington, E. Kindler, F. Kordon, and K. H. Mortensen, editors. Meeting on XML/SGML based Interchange Formats for Petri Nets, Arhus, Denmark, June 2000. 21st ICATPN.
13F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T.J. Grose. Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley Professional, August 2003.
14Eclipse Foundation. Eclipse Modeling Framework. http://www.download.eclipse.org/tools/emf/scripts/home.php .
15Lom Hillah, Fabrice Kordon, Laure Petrucci, and Nicolad Treves. Building an API for ISO/IEC 15909, based on model engineering techniques. In 2nd Workshop on the Petri Net Markup Language (PNML'O5), May 2005.
16MoVe LIP6. The CPN-AMI Home page. http://www.lip6.fr/cpn-ami .
17Modeling and Verification Department. PNML Framework. LIP6, http://www.lip6.fr/pnml .
18OMG. MDA Guide Version 1.0.1, document no: omg/2003-06-01, 2003.
19OMG. MetaObjectFacility 2.0 Core Specification, document no:omg/2003-10-04. OMG, October 2003.
20OMG. UML 2.0 OCL Specification, document no:omg/03-10-14. OMG, October 2003.
21Remko Popma. Introduction to JET. Azzurri Ltd., http://eclipse.org/emf/docs.php?doc=tutorials/jet1/jet_tutorial1.html , 2005.
22AT&T Research. GraphViz. http://www.graphviz.org/ .
23C. Stehno. Petri Net Markup Language: Implementation and Application. In J. Desel and M. Weske, editors, Promise 2002, Lecture Notes in Informatics P-21, pages 18–30. Gesellschaft f ¨ ur Informatik, 2002.