Моделирование бизнес-процессов / Моделирование бизнес-процессов / I D E F / idef5

Appendix B. Grammar for the IDEF5 Elaboration Language

B.1 Constant and variables

<word> ::= a primitive syntactic object

<expression> ::= <word> | (<expression>*)

<indvar> ::= a word beginning with the character ? <predvar> ::= a word beginning with the character # <variable> ::= <indvar> | <predvar>

<I5-ontology-constant>::= a word denoting an ontology

<logical-constant> ::= a word denoting a truth value | <ontology-constant>::<logical-constant> <I5-individual-constant> ::= a word denoting an individual

149

| <ontology-constant>::<I5-note-constant> <I5-object-state-constant> ::= <I5-kind-constant>:<I5-property-constant> |

<ontology-constant>::<I5-kind-constant>:<I5-property-constant>

<I5-constant> ::= <I5-property-constant> | <I5-SO-pred-constant> | <I5-TO-pred-constant> | <I5-function-constant> | <I5-kind-constant> | <I5-ontology-term-constant> | <I5-source-constant> | <I5-note-constant> | <I5-source-statement-constant> | <I5-attribute-constant> | <I5-individual-constant>

<constant> ::= <I5-constant> | <I5-ontology-constant> | <logical-constant>

B.2 Operators

<definition-operator> ::= define-relation | define-function | define-individual | := | :argument-type

<term-operator> ::= listof | setof | if | cond | the | setofall

<sentence-operator> ::= = | /= | not | and | or | implies | equiv | forall | exists | nec | poss | <I5-sentence-operator>

<I5-sentence-operator> :=<I5-kind-operator> | <I5-ontology-operator> | <I5-note-operator> | <I5-relation-operator> | <I5-function-operator> | <I5-individual-operator> | <I5-property-operator> | <I5-attribute-operator> | <I5-statement-operator> | <I5-ontology-term-operator> | <I5-source-operator> | I5-process

<I5-kind-operator>::= I5-kind | I5-kind-property | I5-kind-attribute | I5-has-synonyms | I5-kind-description | I5-referenced-relations | defining | essential | subkind-of | I5-object-state

<I5-ontology-operator> ::= I5-ontology | I5-ontology-context | I5-ontology-viewpoint |

I5-ontology-purpose | I5-ontology-project |

I5-ontology-analyst | I5-ontology-reviewer |

I5-ontology-description

150

<I5-individual-operator> ::= I5-individual | I5-individual-description | I5-instance-of

<I5-relation-operator> ::= I5-relation | I5-relation-description | I5-relation-arity |

I5-rel-arg-type

I5-attribute-applies-to

<I5-source-statement-operator> ::= I5-source-statement | I5-source-statement-description |

I5-source-statement | I5-has-original-statement |

I5-status-type | active_original | active_derived |

retired_original | retired_derived

<I5-ontology-term-operator> ::= I5-ontology-term | I5-use-statements | I5-sources-used |

I5-ontology-term-description |

I5-ontology-term-description

<I5-source-operator> ::= I5-source | I5-source-description | I5-collected-from | I5-collected-by |

I5-source-abstract | I5-source-purpose |

I5-support-ontology-terms | I5-support-statement |

I5-has-supporting-sources

<operator> ::= <definition-operator> | <term-operator> | <sentence-operator>

B.3 Terms

<term> ::= <indvar> | <I5-constant> | <I5-ontology-constant> | <funterm> | <listterm> | <setterm> | <logterm> | quanterm> | <I5-attribute-term>

<funterm> ::= (<I5-function-constant> <term>+)

<I5-attribute-term> ::= (<I5-attribute-constant> <individual-constant> | <indvar>) | <setterm> ::= (setof <term>*)

<listterm> ::= (listof <term>*)

151

<logterm> ::= (if <sentence> <term> [<term>]) |

<complete-definition> ::=(define-individual <individual-constant> := <term>) | (define-function <function-constant> ({<indvar> | <predvar>}+)

[:argument-type (({<I5-kind-constant> | <I5-object-state-term>}+)+)]

:= <term>) |

(define-relation <relation-constant> ({<indvar> | <predvar>}+) [:argument-type (({<I5-kind-constant> |

<I5-object-state-term>}+)+)] := <sentence>)

<partial-definition> ::= (define-individual <individual-constant> [<sentence>]) |

[:argument-type (({<I5-kind-constant> | <I5-object-state-term>}+)+)]

[<sentence>]))

B.5 Sentences

B.5.1 General Sentences

<sentence> ::=<logical-constant> | <equation> | <inequality> | <relsent> | <logsent> <quantsent> | <I5-sentence>

<equation> ::=(= <term> <term>)

152

<inequality> ::= (/= <term> <term>)

<relsent> ::= (<relation-constant> <term>+) | (<function-constant> <term> <term>*)

<logsent> ::= (not <sentence>) | (and <sentence> <sentence>+) | (poss <sentence>) | (implies <sentence> <sentence>) | (equiv <sentence> <sentence>) | (nec <sentence>)

<quantsent> ::= (forall ([<indvar> | <predvar>]+) <sentence>) |

string)

<I5-ontology-description-decl> ::= (I5-ontology-description <I5-ontology-constant> | <indvar> string)

153

B.5.2.2 IDEF5 Kind Sentences

<I5-kind-sentence> :=<I5-kind-decl> | <I5-kind-property-decl> | <I5-kind-attribute-decl> |

B.5.2.3 IDEF5 Individual Sentences

<I5-individual-sentence> ::= <I5-individual-decl> | <I5-individual-description-decl> | <I5-instance-of-decl>

<I5-individual-decl> ::= (I5-individual <I5-individual-constant> | <indvar>) <I5-individual-description-decl> ::= (I5-individual-description <I5-individual-constant> |

<indvar> string) <I5-is-of-kind-decl> ::= (I5-is-of-kind <I5-individual-constant> | <indvar>

<I5-kind-constant> | <predvar>)

B.5.2.4 IDEF5 Property Sentences

<I5-property-sentence> ::= <I5-property-decl> | <I5-property-description-decl> | <has-property-decl>

<I5-property-decl> ::=(I5-property <I5-property-constant> | <predvar>)

154

<I5-property-description-decl> ::= (I5-property-description <I5-attribute-constant> | <predvar> string)

<I5-has-property-decl> ::= (I5-has-property <I5-individual-constant> | <predvar> <I5-property-constant> | <predvar>)

B.5.2.5 IDEF5 Attribute Sentences

<I5-attribute-sentence> ::= <I5-attribute-decl> | <I5-attribute-description-decl> | <I5-attribute-type-decl> |<I5-attribute-applies-to-decl>

<I5-attribute-decl> ::= (I5-attribute <I5-attribute-constant> | <predvar> <I5-attribute-type>) <I5-attribute-type-decl> ::= <list-type> | <I5-kind-constant> | <set-type>

<list-type> ::= (listof <I5-kind-constant> | (or <I5-kind-constant> <I5-kind-constant>+)) | (list-of <list-type>) | (listof <type>)

<I5-attribute-description-decl> ::= (I5-attribute-description <I5-attribute-constant> | <predvar> string)

<I5-attribute-applies-to -decl> ::=(I5-attribute-applies-to <I5-attribute-constant> | <predvar> <I5-individual-constant> | <indvar>)

B.5.2.6 IDEF5 Relation Sentences

<I5-relation-sentence> ::=<I5-relation-decl> | <I5-relation-description-decl> | <I5-rel-arg-type-decl> | <I5-relation-arity-decl>

<I5-relation-decl> ::=(I5-relation <predvar> | <I5-relation-constant>) <I5-relation-arity-decl> ::= (I5-relation-arity <relation-constant> | <predvar>

pos-int | <indvar>) <I5-rel-arg-type-decl> ::= (I5-rel-arg-type <relation-constant> | <predvar>

(({<I5-kind-constant> | <predvar> | <I5-object-state-term>}+)+)) <I5-relation-description-decl> ::= (I5-relation-description <I5-relation-constant> | <predvar>

155

<I5-fct-arg-type-decl> ::= (I5-fct-arg-type <I5-function-constant> | <predvar> (({<I5-kind-constant> | <predvar> | <I5-object-state-term>}+)+))

<I5-function-description-decl> ::= (I5-function-description <I5-function-constant> | <predvar> string)

B.5.2.8 IDEF5 Source Sentences

<I5-source-sentence> ::= <I5-source-decl> | <I5-source-description-decl> |

B.5.2.9 IDEF5 Source-Statement Sentences

<I5-source-statement-sentence> ::= <I5-source-statement-decl> | <I5-status-decl> | <I5-source-statement-description-decl> | <I5-source-statement-decl> | <I5-has-original-statement-decl> | <I5-has-supporting-sources-decl>

156

<I5-source-statement-description-decl> ::= (I5-source-statement-description <I5-source-statement-constant> | <indvar> string)

<I5-status-decl> ::= (I5-status <I5-source-statement-constant>| <indvar> <I5-status-type-decl>

<I5-status-type-decl> ::= active_original | active_derived | retired_original | retired_derived <I5-has-original-statement-decl> ::= (I5-has-original-statement

<I5-source-statement-constant> | <indvar> <I5-source-statement-constant> | <indvar>)

B.5.2.10 IDEF5 Ontology-Term Sentences

<I5-ontology-term-sentence> ::= <I5-ontology-term-decl> | <I5-use-statements-decl> | <I5-ontology-term-description-decl> | <I5-ontology-term-description-decl>

<I5-ontology-term-decl> ::= (I5-ontology-term <I5-term-constant> | <indvar>) <I5-ontology-term-description-decl> ::= (I5-ontology-term-description <I5-term-constant> |

<indvar> string) <I5-uses-statements-decl>::= (use-statements <I5-ontology-term-constant> | <indvar>

({<I5-source-statement-constant> | <indvar>}+))

B.5.2.11 IDEF5 Note Sentences

B.5.2.12 Object State Related Constructs and Relations

<I5-process-decl> ::= (I5-process <I5-process-constant> | <predvar>)

The following relations are predefined and chracterized as follows:

(define-relation part-of (?x ?y))

(forall (#x #y) (=> (I5-rel-arg-type part-of (#x #y))

157

(and (I5-kind #x) (I5-kind #y))))

(define-relation transitions-to (?x ?y))

(forall (#x #y) (=> (I5-rel-arg-type transitions-to (#x #y))

(and (or (I5-kind #x) (I5-object-state #x)) (or (I5-kind #y) (I5-object-state #y)))))

(define-relation inst-transitions-to (?x ?y))

(forall (#x #y) (=> (I5-rel-arg-type transitions-to (#x #y))

(and (or (I5-kind #x) (I5-object-state #x)) (or (I5-kind #y) (I5-object-state #y)))))

(define-relation transitions-during (?x ?y ?z))

(define-relation s-transitions-to (?x ?y ))

(forall (#x #y) (=> (I5-rel-arg-type transitions-to (#x #y))

(and (or (I5-kind #x) (I5-object-state #x)) (or (I5-kind #y) (I5-object-state #y)))))

(define-relation inst-s-transitions-to (?x ?y ))

(forall (#x #y) (=> (I5-rel-arg-type transitions-to (#x #y))

(and (or (I5-kind #x) (I5-object-state #x)) (or (I5-kind #y) (I5-object-state #y)))))

(define-relation s-transitions-during (?x ?y ?z))

(forall (#x #y #z) (=> (I5-rel-arg-type transitions-to (#x #y))

(and (or (I5-kind #x) (I5-object-state #x)) (or (I5-kind #y) (I5-object-state #y))

158