ETSI's Bug Tracker - Ext Pack: Behaviour Types (ES 202 785)
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0007984 | Ext Pack: Behaviour Types (ES 202 785) | Clarification | public | 01-10-2020 06:56 | 18-12-2020 15:17

Reporter | Martin Hauch |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v1.7.1 (published 2020-05) |
Target Version | v1.8.1 (ongoing) | Fixed in Version | v1.8.1 (ongoing) |
Clause Reference(s) | 5.2
Source (company - Author) | Devoteam - Martin Hauch

Summary | 0007984: sequence of RunsOnSpec, MtcSpec, SystemSpec in BehaviourType definitions

Description

In "Part 1: TTCN-3 Core Language" the following rules are defined for functions and altsteps:
A.1.6.1.4 Function definitions
160.FunctionDef ::= FunctionKeyword [ DeterministicModifier | ControlModifier ]
IdentifierOrControl
"(" [FunctionFormalParList] ")" [RunsOnSpec] [MtcSpec]
[SystemSpec] [ReturnType] StatementBlock
A.1.6.1.7 Altstep definitions
194.AltstepDef ::= AltstepKeyword [ ControlModifier ] [ InterleavedKeyword ] Identifier
"(" [FunctionFormalParList]
")" [RunsOnSpec] [MtcSpec] [SystemSpec]
"{" AltstepLocalDefList
AltGuardList "}"
In Document of Change-Request 7812 (CR7812-3.docx) the following definition is defined:
TTCN-3 Language Extensions: Behaviour Types
type function BehaviourTypeIdentifier
[ "<" { FormalTypePar [","] } ">" ] NOTE1
"(" [ { ( FormalValuePar | FormalTimerPar | FormalTemplatePar | FormalPortPar ) [","] } ] ")"
[ runs on ( ComponentType | self ] NOTE2
[ system ComponentType ]
[ mtc ComponentType ]
[ return [ template ] Type ]
type altstep BehaviourTypeIdentifier
[ "<" { FormalTypePar [","] } ">" ] NOTE1
"(" [ { ( FormalValuePar | FormalTimerPar | FormalTemplatePar | FormalPortPar ) [","] } ] ")"
[ runs on ( ComponentType | self ] NOTE2
[ system ComponentType ]
[ mtc ComponentType ]
Why is the sequence of 'RunsOnSpec, MtcSpec, SystemSpec' in core language
changed to 'RunsOnSpec,SystemSpec,MtcSpec' for BehaviourTypes?
Perhaps this sequence should be adapted for behaviour types to definition in TTCN-3 core language!

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR7984.docx (137,341) 05-10-2020 09:36 http://oldforge.etsi.org/mantis/file_download.php?file_id=3954&type=bug

Issue History
Date Modified | Username | Field | Change
01-10-2020 06:56 | Martin Hauch | New Issue |
05-10-2020 08:21 | Jens Grabowski | Assigned To | => Jacob Wieland - Spirent
05-10-2020 08:21 | Jens Grabowski | Status | new => assigned
05-10-2020 09:36 | Jacob Wieland - Spirent | File Added: CR7984.docx |
05-10-2020 09:36 | Jacob Wieland - Spirent | Note Added: 0015756 |
05-10-2020 09:36 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Tomas Urban
05-10-2020 09:36 | Jacob Wieland - Spirent | Status | assigned => confirmed
06-10-2020 13:33 | Tomas Urban | Note Added: 0015760 |
06-10-2020 13:33 | Tomas Urban | Status | confirmed => resolved
06-10-2020 13:33 | Tomas Urban | Resolution | open => fixed
06-10-2020 13:33 | Tomas Urban | Assigned To | Tomas Urban => Jens Grabowski
17-12-2020 16:13 | Gyorgy Rethy | Assigned To | Jens Grabowski => Gyorgy Rethy
18-12-2020 15:17 | Gyorgy Rethy | Note Added: 0015893 |
18-12-2020 15:17 | Gyorgy Rethy | Status | resolved => closed
18-12-2020 15:17 | Gyorgy Rethy | Product Version | v1.6.1 (published 2018-05) => v1.7.1 (published 2020-05)
18-12-2020 15:17 | Gyorgy Rethy | Fixed in Version | => v1.8.1 (ongoing)
18-12-2020 15:17 | Gyorgy Rethy | Target Version | => v1.8.1 (ongoing)

Notes

(0015756)
Jacob Wieland - Spirent
05-10-2020 09:36

added proposal, please review

(0015760)
Tomas Urban
06-10-2020 13:33

The order of clauses has been corrected and the proposed resolution can be added to the specification.

(0015893)
Gyorgy Rethy
18-12-2020 15:17

Implemented in draft 1.7.2