ETSI's Bug Tracker - Ext Pack: Advanced Matching (ES 203 022)
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0007175 | Ext Pack: Advanced Matching (ES 203 022) | New Feature | public | 11-09-2015 12:20 | 24-12-2016 12:45

Reporter | Jacob Wieland - Spirent |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v1.1.1 (published 2017-07) | Fixed in Version | v1.1.1 (published 2017-07) |
Clause Reference(s) | B.1.2
Source (company - Author) | Testing Technologies - Jacob Wieland
TS version |

Summary | 0007175: No easy way to describe conjunction matching mechanism.

Description

At the moment, it is not possible to easily combine two existing matching mechanism into a conjunction, i.e. a matching mechanism which matches iff both matching mechanisms match.
It is possible via the DeMorgan rules to write it like this:
complement(complement(A), complement(B)) (not(not(A) or not(B)) == A and B) but that is a very clumsy way.
Another way is to define a type restricted by A and then a subtype restricted by B and then use a ? of the resulting type as matching mechanism, but again, this is very complicated.
Therefore, I propose to introduce a new matching mechanism that does this directly, i.e.
and(A1, ..., An)
Since the keyword 'and' normally can only appear in infix position, I don't see any grammatical ambiguities arising from this.

Steps To Reproduce |
Additional Information |
Tags | technically agreed

Relationships

related to | 0007174 | closed | Jens Grabowski | New matching mechanism: matching by function
related to | 0007494 | closed | Jens Grabowski | TRI and TCI extensions for advanced matching

Attached Files

Additional-logical-operators-Ideas-160722.pptx (35,785) 22-07-2016 13:37
http://oldforge.etsi.org/mantis/file_download.php?file_id=3436&type=bug
CR7175-1.docx (176,072) 19-08-2016 15:42
http://oldforge.etsi.org/mantis/file_download.php?file_id=3506&type=bug
CR7175-2.docx (184,372) 15-11-2016 13:17
http://oldforge.etsi.org/mantis/file_download.php?file_id=3520&type=bug
CR7175-3.docx (180,865) 15-11-2016 14:25
http://oldforge.etsi.org/mantis/file_download.php?file_id=3522&type=bug
CR7175-4.docx (164,193) 16-11-2016 13:20
http://oldforge.etsi.org/mantis/file_download.php?file_id=3534&type=bug
CR7175-5.docx (167,187) 16-11-2016 14:36
http://oldforge.etsi.org/mantis/file_download.php?file_id=3538&type=bug
CR7175-6.docx (167,029) 16-11-2016 16:53
http://oldforge.etsi.org/mantis/file_download.php?file_id=3545&type=bug
CR7175-7.docx (194,695) 17-11-2016 08:58
http://oldforge.etsi.org/mantis/file_download.php?file_id=3546&type=bug
CR7175-8.docx (167,605) 17-11-2016 10:57
http://oldforge.etsi.org/mantis/file_download.php?file_id=3550&type=bug

Issue History
Date Modified | Username | Field | Change
11-09-2015 12:20 | Jacob Wieland - Spirent | New Issue |
21-09-2015 09:45 | Gyorgy Rethy | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
21-09-2015 10:07 | Gyorgy Rethy | Relationship added | related to 0007174
21-09-2015 10:25 | Gyorgy Rethy | Product Version | => v4.7.1 (published 2015-06)
21-09-2015 10:25 | Gyorgy Rethy | Target Version | => v4.8.1 (ongoing)
22-09-2015 11:42 | Gyorgy Rethy | Note Added: 0013238 |
22-09-2015 13:15 | Gyorgy Rethy | Tag Attached: technically agreed |
22-09-2015 13:19 | Gyorgy Rethy | Note Added: 0013239 |
03-11-2015 12:00 | Gyorgy Rethy | Note Added: 0013467 |
03-11-2015 12:00 | Gyorgy Rethy | Target Version | v4.8.1 (ongoing) => Next version (to be defined)
05-11-2015 11:01 | Gyorgy Rethy | Project | Part 01: TTCN-3 Core Language => Ext Pack: Advanced Matching (ES 203 022)
05-11-2015 11:08 | Gyorgy Rethy | Product Version | v4.7.1 (published 2015-06) =>
05-11-2015 11:08 | Gyorgy Rethy | Target Version | Next version (to be defined) => v1.1.1 (published 2017-07)
18-07-2016 11:23 | Jens Grabowski | Assigned To | => Jens Grabowski
18-07-2016 11:23 | Jens Grabowski | Status | new => assigned
22-07-2016 13:37 | Jens Grabowski | File Added: Additional-logical-operators-Ideas-160722.pptx |
15-08-2016 13:12 | Jens Grabowski | Assigned To | Jens Grabowski => Tomas Urban
19-08-2016 09:59 | Jens Grabowski | Note Added: 0014171 |
19-08-2016 15:42 | Tomas Urban | File Added: CR7175-1.docx |
19-08-2016 15:43 | Tomas Urban | Note Added: 0014192 |
15-11-2016 13:17 | Tomas Urban | File Added: CR7175-2.docx |
15-11-2016 13:18 | Tomas Urban | Assigned To | Tomas Urban => Jacob Wieland - Spirent
15-11-2016 13:19 | Tomas Urban | Note Added: 0014249 |
15-11-2016 13:19 | Tomas Urban | Status | assigned => confirmed
15-11-2016 14:25 | Tomas Urban | File Added: CR7175-3.docx |
16-11-2016 13:19 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent =>
16-11-2016 13:19 | Jacob Wieland - Spirent | Assigned To | => Jacob Wieland - Spirent
16-11-2016 13:19 | Jacob Wieland - Spirent | Status | confirmed => assigned
16-11-2016 13:20 | Jacob Wieland - Spirent | File Added: CR7175-4.docx |
16-11-2016 13:23 | Jacob Wieland - Spirent | Note Added: 0014266 |
16-11-2016 13:23 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Axel Rennoch
16-11-2016 13:23 | Jacob Wieland - Spirent | Status | assigned => confirmed
16-11-2016 14:36 | Axel Rennoch | File Added: CR7175-5.docx |
16-11-2016 14:37 | Axel Rennoch | Note Added: 0014270 |
16-11-2016 14:38 | Axel Rennoch | Assigned To | Axel Rennoch => KristÃ³f Szabados
16-11-2016 14:38 | Axel Rennoch | Status | confirmed => assigned
16-11-2016 14:38 | Axel Rennoch | Note Added: 0014271 |
16-11-2016 14:38 | Axel Rennoch | Status | assigned => confirmed
16-11-2016 14:39 | Tomas Urban | Relationship added | related to 0007494
16-11-2016 16:53 | KristÃ³f Szabados | File Added: CR7175-6.docx |
16-11-2016 16:53 | KristÃ³f Szabados | Note Added: 0014282 |
16-11-2016 16:54 | KristÃ³f Szabados | Note Added: 0014283 |
16-11-2016 16:55 | KristÃ³f Szabados | Assigned To | KristÃ³f Szabados => Tomas Urban
16-11-2016 16:55 | KristÃ³f Szabados | Status | confirmed => assigned
17-11-2016 08:58 | Tomas Urban | File Added: CR7175-7.docx |
17-11-2016 09:00 | Tomas Urban | Note Added: 0014287 |
17-11-2016 09:00 | Tomas Urban | Assigned To | Tomas Urban => Jens Grabowski
17-11-2016 09:00 | Tomas Urban | Status | assigned => confirmed
17-11-2016 10:57 | Jens Grabowski | File Added: CR7175-8.docx |
17-11-2016 10:57 | Jens Grabowski | Status | confirmed => resolved
17-11-2016 10:57 | Jens Grabowski | Resolution | open => fixed
24-12-2016 12:44 | Jens Grabowski | Status | resolved => closed
24-12-2016 12:45 | Jens Grabowski | Fixed in Version | => v1.1.1 (published 2017-07)

Notes

(0013238)
Gyorgy Rethy
22-09-2015 11:42

STF discussion: candidate for a new advanced matching mechanisms package.

(0013239)
Gyorgy Rethy
22-09-2015 13:19

STF discussion: useful extension of matching mechanisms. It need be studied, which operations could work with which matching mechanisms. Logical operations and set operations are the first obvious candidates. Candidate for the new advanced matching package proposed to MTS.

(0013467)
Gyorgy Rethy
03-11-2015 12:00

To be part of the new extension on advanced matching mechanisms.

(0014171)
Jens Grabowski
19-08-2016 09:59

STF discussion: - conjunction, keyword: conjunct(T1,T2,...) - implication, infix notation, keyword implies: T1 implies T2 - substraction, infix notation, keyword without: T1 without T2 (Repetition of sub-sequences inside values see CR 7167) - Inside-Values Disjunction: analogous to conjunction, keyword: disjunct

(0014192)
Tomas Urban
19-08-2016 15:43

Partial draft attached (containing conjuction, implication and exclusion). To be contiued in the next SFT session.

(0014249)
Tomas Urban
15-11-2016 13:19

Proposal uploaded, please review.

(0014266)
Jacob Wieland - Spirent
16-11-2016 13:23

please review for understandability

(0014270)
Axel Rennoch
16-11-2016 14:37

some minor corrections BNF has been checked together with BNF from the core

(0014271)
Axel Rennoch
16-11-2016 14:38

please do your check and forward to Jens

(0014282)
KristÃ³f Szabados
16-11-2016 16:53

Added an example for usage of all from. Please check.

(0014283)
KristÃ³f Szabados
16-11-2016 16:54

also hopefully simplified restriction e in section 4.2

(0014287)
Tomas Urban
17-11-2016 09:00

One modification made: "and all other required conditions are met" added to 4.5 restriction g. Please check and mark as resolved if acceptable.