ETSI's Bug Tracker - Part 06: TTCN-3 Control Interface
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0002146 | Part 06: TTCN-3 Control Interface | Technical | public | 15-10-2007 12:12 | 06-12-2007 11:08

Reporter | Pavel Yakovenko |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | always
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v3.3.1 (published 2008-04) | Fixed in Version | v3.3.1 (published 2008-04) |
Clause Reference(s) | TCI, clause 10, W3C XML Mapping
Source (company - Author) | ISPRAS, Pavel Yakovenko

Summary | 0002146: XML schema for TLI is too strict

Description

Few issues have been discovered in the XML schema for TLI->XML mapping. Some of them look like typos while others do not allow to create XML documents from good test suite executions that may be successfully validated against schema.
Brief description of the discovered issues:
1) Value, EnumeratedValue and UnionValue value lack "minOccurs" attribute. This is critical since instances of corresponding Template type definitions (i.e. instances of TciValueTemplate, EnumeratedTemplate and UnionTemplate) MUST have elements defined in the base type (i.e. values). In other words instance of UnionTemplate must have two elements - one from UnionValue type and one from UnionTemplate. Omitting UnionValue element gives invalid document.
2) Some elements in the events (mostly communication events) lack minOccurs attribute while data may not be provided for these elements. The typical example is the mandatory returnValue element in procedure reply events. If signature doesn't return value then there is no way to create valid document. The alternative solution would be to add "null" element to Value and Template type definitions and use it in such cases.
3) tliPrGetCall_c event (and only it) has mandatory "signatureTmpl" element. It should be either optional or removed at all.
4) tliMReceive_c event (and only it) has "fromComp" element while all other events use "from" element for information about sender. Looks like a typo.
5) TciValueTemplate complex type lacks "verdicttype" element although there exists "VerdictTemplate" type definition. Looks like a typo.
6) RecordOf and SetOf complex types (and only them) lack "verdicttype" element. Looks like a typo.
7) UnionValue, AnytypeValue and AddressValue (and only them) do not have "omit" and "null" elements. Without "omit" it's not possible to represent optional (and omitted) fields of above mentioned types nested within record or set type.

Steps To Reproduce |
Additional Information | In the attachment you may find ZIP archieve with fixed xsd files. All changes are marked with comments starting with YAK word and each comment gives short description of what has been changed.
Tags | No tags attached.
Relationships |
Attached Files | XSD_fixed.zip (8,785) 15-10-2007 12:12 http://oldforge.etsi.org/mantis/file_download.php?file_id=1031&type=bug es_20187306v030301_CR2146.zip (1,173,921) 04-12-2007 14:32 http://oldforge.etsi.org/mantis/file_download.php?file_id=1191&type=bug es_20187306v030301_CR2146_a.zip (984,176) 05-12-2007 15:44 http://oldforge.etsi.org/mantis/file_download.php?file_id=1219&type=bug

Issue History
Date Modified | Username | Field | Change
15-10-2007 12:12 | Pavel Yakovenko | New Issue |
15-10-2007 12:12 | Pavel Yakovenko | Status | new => assigned
15-10-2007 12:12 | Pavel Yakovenko | Assigned To | => Gyorgy Rethy
15-10-2007 12:12 | Pavel Yakovenko | File Added: XSD_fixed.zip |
15-10-2007 12:12 | Pavel Yakovenko | Clause Reference(s) | => TCI, clause 10, W3C XML Mapping
15-10-2007 12:12 | Pavel Yakovenko | Source (company - Author) | => ISPRAS, Pavel Yakovenko
15-10-2007 17:53 | Ina Schieferdecker | Assigned To | Gyorgy Rethy => Ina Schieferdecker
18-10-2007 13:53 | Ina Schieferdecker | Project | TTCN-3 Change Requests => Part 06: TTCN-3 Control Interface
18-10-2007 13:54 | Ina Schieferdecker | Target Version | => Edition 3.3.1 (not yet published)
04-12-2007 14:31 | Ina Schieferdecker | Note Added: 0004262 |
04-12-2007 14:32 | Ina Schieferdecker | File Added: es_20187306v030301_CR2146.zip |
04-12-2007 14:32 | Ina Schieferdecker | Note Added: 0004264 |
04-12-2007 14:33 | Ina Schieferdecker | Resolution | open => fixed
04-12-2007 16:38 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Thomas DeiÃŸ
05-12-2007 15:44 | Thomas DeiÃŸ | File Added: es_20187306v030301_CR2146_a.zip |
05-12-2007 15:54 | Thomas DeiÃŸ | Note Added: 0004339 |
05-12-2007 15:55 | Thomas DeiÃŸ | Note Added: 0004340 |
05-12-2007 15:55 | Thomas DeiÃŸ | Assigned To | Thomas DeiÃŸ => Ina Schieferdecker
05-12-2007 16:26 | Ina Schieferdecker | Note Added: 0004345 |
05-12-2007 16:26 | Ina Schieferdecker | Status | assigned => resolved
06-12-2007 11:08 | Ina Schieferdecker | Status | resolved => closed
06-12-2007 11:08 | Ina Schieferdecker | Fixed in Version | => Edition 3.3.1 (not yet published)

Notes

(0004262)
Ina Schieferdecker
04-12-2007 14:31

Thank you for the proposals!
1) is solved a bit differently: the cardinalities are defined directly for the TciValueTemplates, EnumeratedTemplates, etc., i.e. not in the values
2) all tciPars, parsTmpl, and triPars set optional
all replValue, replTmpl, and repl set optional
all address and addressTmpl set optional
all excValue and excTmpl set optional
3) this is a left-over and should be removed
4) this is a left-over and now renamed to from
5) ok
6) ok
7) ok

(0004264)
Ina Schieferdecker
04-12-2007 14:32

The resolution is using already the updated text from CR2000

(0004339)
Thomas DeiÃŸ
05-12-2007 15:54

Some of the problems, especially optionality of returnValues in replies, shows up in the C-mapping. Separate CR to be written.

(0004340)
Thomas DeiÃŸ
05-12-2007 15:55

checked by Thomas. All issues raised by Pavel solved. A few more found when checking the solution.

(0004345)
Ina Schieferdecker
05-12-2007 16:26

es_20187306v030301_CR2146_a.zip adds the verdicttype to the record, record of, set, set of, union and anytype templates and corrects two typos.