この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
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
拡張可能なマークアップ言語
参考文献
本編の参考文献
| 1 | R. Bastide, J. Billington, E. Kindler, F. Kordon, および KH Mortensen, 編集者。ペトリ ネット用の XML/SGML ベースの交換フォーマットに関する会議、デンマーク、オーフス、2000 年 6 月。第 21 回 ICATP |
| 2 | F. バウセ、P. ケンパー、P. クリツィンガー。抽象的なペトリ ネット表記。ペトリ ネット ニュースレター、49:9–27, 1995 年 10 月。 |
| 3 | G. ベルトロー、J. ヴォーテラン、G. ヴィダル=ナケ。ペトリ ネットを説明するための構文。ペトリ ネット ニュースレター、29:4–15, 1988 年 4 月。 |
| 4 | ジョナサン・ビリントン、ソーレン・クリステンセン、キース・ヴァン・ヒー、エッカート・キンドラー、オラフ・クマー、ローレ・ペトルッチ、ライナー・ポスト、クリスチャン・ステーノ、マイケル・ウェーバー。 Petri Net マークアップ言語: 概念、テクノロジー、ツール。 W. van der Aalst および E. Best, 編集者、 『ペトリ ネットの応用と理論 2003』、第 24 回国際会議、LNCS 2679, 483 ~ 505 ページ。シュプリンガー、2003 年 6 月。 |
| 5 | AM コールマンズです。 PNIF 言語定義。技術レポート、英国ニューカッスル・アポン・タイン大学計算科学部、1995 年 7 月、バージョン 2. |
| 6 | RBリンソーとT.メイルンド。高レベルのペトリ ネット用のテキスト交換形式。プロセスで。カラーペトリネットとデザイン/CPN の実用化に関するワークショップ、47 ~ 63 ページ、コンピュータサイエンス学部、オーフス大学、デンマーク、1998 年。PB-53 |
| 7 | T・メイルンドとK・H・モーテンセン。高レベルのペトリ ネット用の交換形式の XML によるスタイルとコンテンツの分離。 Bastide et al. [1], 7 ~ 11 ページ。 |
| 8 | C.ステノ。 Petri Net マークアップ言語: 実装とアプリケーション。 J. Desel および M. Weske, 編集者、 Promise 2002, 情報学講義ノートP-21, 18 ~ 30 ページ。コンピュータサイエンス協会、2002 年。 |
| 9 | O. Sy, M. Buffo, D. Buchs, F. Kordon, および R. Bastidペトリ ネット モデルのXML表現に対する実験的アプローチ。 Technical Report 2000/336, ローザンヌ連邦エコール工科大学、情報局、2000 年 6 月。 |
| 10 | M. ウェーバーと E. キンドラー。 Petri Net マークアップ言語。 H. Ehrig, W. Reisig, G. Rozenberg, および H. Weber 編集者、 『Petri Net Technology for Communication Based Systems』、LNCS 2472, 124 ~ 144 ページ。シュプリンガー、ベルリン - ハイデルベルク、2003 年。 |
| 11 | G.ウィーラー。ペトリ ネットを説明するためのテキスト構文。 Foresee 設計文書、Telecom Australia Research Laboratories, 1993 年。バージョン |
付録 D の参考文献
| 12 | R. Bastide, J. Billington, E. Kindler, F. Kordon, および KH Mortensen, 編集者。ペトリ ネット用の XML/SGML ベースの交換フォーマットに関する会議、デンマーク、オーフス、2000 年 6 月。第 21 回 ICATP |
| 13 | F. ブディンスキー、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 月。 |
| 16 | LIP6を移動します。 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 年。 |
| 22 | AT&T リサーチ。グラフビズ。 http://www.graphviz.org/ 。 |
| 23 | C.ステノ。 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
| 1 | R. 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. |
| 2 | F. Bause, P. Kemper, and P. Kritzinger. Abstract Petri net notation. Petri Net Newsletter, 49:9–27, October 1995. |
| 3 | G. Berthelot, J. Vautherin, and G. Vidal-Naquet. A syntax for the description of Petri nets. Petri Net Newsletter, 29:4–15, April 1988. |
| 4 | Jonathan 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. |
| 5 | A. M. Koelmans. PNIF language definition. Technical report, Computing Science Department, University of Newcastle upon Tyne, UK, July 1995. version 2.2. |
| 6 | R. 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. |
| 7 | T. 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. |
| 8 | C. 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. |
| 9 | O. 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. |
| 10 | M. 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. |
| 11 | G. Wheeler. A textual syntax for describing Petri nets. Foresee design document, Telecom Australia Research Laboratories, 1993. version 2. |
Bibliography for Annex D
| 12 | R. 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. |
| 13 | F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T.J. Grose. Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley Professional, August 2003. |
| 14 | Eclipse Foundation. Eclipse Modeling Framework. http://www.download.eclipse.org/tools/emf/scripts/home.php . |
| 15 | Lom 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. |
| 16 | MoVe LIP6. The CPN-AMI Home page. http://www.lip6.fr/cpn-ami . |
| 17 | Modeling and Verification Department. PNML Framework. LIP6, http://www.lip6.fr/pnml . |
| 18 | OMG. MDA Guide Version 1.0.1, document no: omg/2003-06-01, 2003. |
| 19 | OMG. MetaObjectFacility 2.0 Core Specification, document no:omg/2003-10-04. OMG, October 2003. |
| 20 | OMG. UML 2.0 OCL Specification, document no:omg/03-10-14. OMG, October 2003. |
| 21 | Remko Popma. Introduction to JET. Azzurri Ltd., http://eclipse.org/emf/docs.php?doc=tutorials/jet1/jet_tutorial1.html , 2005. |
| 22 | AT&T Research. GraphViz. http://www.graphviz.org/ . |
| 23 | C. 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. |