Difference between revisions of "Core.Procedures"
Jump to navigation
Jump to search
m (Hb moved page OtxProcedures to Core.OtxProcedures: #3153) |
|||
| (6 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{DISPLAYTITLE:OTX '''Procedures''' data model}}[[Category:OTX-Core]][[Category:Procedures]] | {{DISPLAYTITLE:OTX '''Procedures''' data model}}[[Category:OTX-Core]][[Category:Procedures]] | ||
== Classification == | == Classification == | ||
| − | {{ClassificationCore | Procedures | OTX procedures data model | [[OTX Core]] | - }} | + | {{ClassificationCore | Procedures | OTX procedures data model | [[OtxReference#Core|OTX Core]] | - }} |
== Introduction == | == Introduction == | ||
| Line 9: | Line 9: | ||
* '''Name''' <br/> Within the OTX document unique name <br/> {{Important|The name "'''main'''" has a special meaning. A procedure named "'''main'''" is used as the entry point for the OTX runtime environment.}} | * '''Name''' <br/> Within the OTX document unique name <br/> {{Important|The name "'''main'''" has a special meaning. A procedure named "'''main'''" is used as the entry point for the OTX runtime environment.}} | ||
* '''Specification''' <br/> Description of procedure | * '''Specification''' <br/> Description of procedure | ||
| − | * [[ | + | * [[Core.Visibilities|Visibility]] |
** Private (Standard) | ** Private (Standard) | ||
** Package | ** Package | ||
** Public | ** Public | ||
| − | * '''Implements''' <br/> Indicates a [[ | + | * '''Implements''' <br/> Indicates a [[Core.Signatures.ProcedureSignatures|Procedure Signatures]], which is implemented by this procedure. |
| − | * '''ValidFor''' <br/> Refers to a [[ | + | * '''ValidFor''' <br/> Refers to a [[Core.Validities|Validity]]. The procedure is not performed when results for the term of the expression of Validity '''False'''. |
== Checker rules == | == Checker rules == | ||
{| {{TableHeader}} | {| {{TableHeader}} | ||
| − | {{TableRowKeyValueList|[[CoreChk008|Core_Chk008]]|Public main procedure}} | + | {{TableRowKeyValueList|[[Core.Validation.CoreChk008|Core_Chk008]]|Public main procedure}} |
| − | {{TableRowKeyValueList|[[CoreChk053|Core_Chk053]]|No dangling OtxLink associations}} | + | {{TableRowKeyValueList|[[Core.Validation.CoreChk053|Core_Chk053]]|No dangling OtxLink associations}} |
| − | {{TableRowKeyValueList|[[CoreChk026|Core_Chk026]]|No duplicate validities for procedures implementing the same signature}} | + | {{TableRowKeyValueList|[[Core.Validation.CoreChk026|Core_Chk026]]|No duplicate validities for procedures implementing the same signature}} |
| − | {{TableRowKeyValueList|[[CoreChk027|Core_Chk027]]|Procedure parameters match signature parameters}} | + | {{TableRowKeyValueList|[[Core.Validation.CoreChk027|Core_Chk027]]|Procedure parameters match signature parameters}} |
| − | {{TableRowKeyValueList|[[CoreChk013|Core_Chk013]]|Correct referencing of validities}} | + | {{TableRowKeyValueList|[[Core.Validation.CoreChk013|Core_Chk013]]|Correct referencing of validities}} |
| − | {{TableRowKeyValueList|[[CoreChk007|Core_Chk007]]|Have specification if no realisation exists}} | + | {{TableRowKeyValueList|[[Core.Validation.CoreChk007|Core_Chk007]]|Have specification if no realisation exists}} |
|} | |} | ||
== See also == | == See also == | ||
| − | [[ | + | [[Core.Validation|Validation (OTX-Checker)]] <br/> |
| − | [[ | + | [[General.NamingConventions|Naming Conventions]] <br/> |
| − | [[ | + | [[Core.Declarations|Declarations]] <br/> |
| − | [[ | + | [[Core.Visibilities|Visibilities]] <br/> |
| − | [[ | + | [[Core.Imports|Imports]] <br/> |
| − | [[ | + | [[Core.Signatures|Signatures]] <br/> |
| − | [[ | + | [[Core.Parameters|Parameter Declarations]] <br/> |
| − | [[ | + | [[Core.Validities|Validities]] <br/> |
| − | [[ | + | [[Core.Comments|Comments]] |
Latest revision as of 03:34, 17 February 2016
Classification
| Name | Procedures |
| Short Description | OTX procedures data model |
| Class | OTX Core |
| Pre-Conditions | - |
| Specified by | ISO 13209-2 |
Introduction
A procedure (Procedure) represents the executable part of a OTX document. You can be the entry point of a OTX runtime environment or the target of an invocation with a procedure call activity.
Properties
- Name
Within the OTX document unique name
|
Important: The name "main" has a special meaning. A procedure named "main" is used as the entry point for the OTX runtime environment. |
- Specification
Description of procedure - Visibility
- Private (Standard)
- Package
- Public
- Implements
Indicates a Procedure Signatures, which is implemented by this procedure. - ValidFor
Refers to a Validity. The procedure is not performed when results for the term of the expression of Validity False.
Checker rules
| Core_Chk008 | Public main procedure |
| Core_Chk053 | No dangling OtxLink associations |
| Core_Chk026 | No duplicate validities for procedures implementing the same signature |
| Core_Chk027 | Procedure parameters match signature parameters |
| Core_Chk013 | Correct referencing of validities |
| Core_Chk007 | Have specification if no realisation exists |
See also
Validation (OTX-Checker)
Naming Conventions
Declarations
Visibilities
Imports
Signatures
Parameter Declarations
Validities
Comments
