Application: Process Version: v1.0 Tool: All Records found: 13 Status: P: Pending, S: Suspended, C: Corrected, R: Not reproductible. |
Tool | id | description | comment | date | status | forecast |
---|---|---|---|---|---|---|
* | 3711 | BPMN execution trace based on MSC recommendation. | Done. The BPMN specific layout has been used instead of the standard one. For exemple messages are represented with dashed arrows where the standard actually uses plain arrows. | 2019-10-29 | C | v1.0 |
* | 3708 | BPMN visualizer. | Done. Based on models coming from MEGA HOPEX. | 2019-10-29 | C | v1.0 |
* | 3712 | Replay a scenario on the BPMN model. | Done. The scenario is the MSC execution trace. It can be replayed step by step or automatically til the end. | 2019-10-29 | C | v1.0 |
* | 3713 | Define a property. | Done. The PSC (Property Sequence Chart) has been used to express the property. | 2019-10-29 | C | v1.0 |
* | 3709 | BPMN executor based on the semantic described in the official recommendation. | Done. Some restrictions detailed in the user manual. | 2019-10-29 | C | v1.0 |
* | 3705 | Import BPMN file based on the standard XML format. | Done. When importing the conformance to the standard XML schema is verified. | 2019-10-29 | C | v1.0 |
* | 3714 | Automatically explore all possible paths of execution. | Done. The execution is driven by OBP (Observer Based Prover) tool written by ENSTA Bretagne STICC research lab. | 2019-10-29 | C | v1.0 |
* | 3715 | Property verification on the model. | Done. The property is translated in GPSL (Generic Property Specification Language). OBP (Observer Based Prover) tool developed by ENSTA Bretagne automatically explores all possible execution paths and verify the property. | 2019-10-29 | C | v1.0 |
* | 3646 | Editing features for BPMN models/diagrams. | Done. | 2019-10-29 | C | v1.0 |
IN | 3722 | When installing on Linux, no menu entry is created and the file associations with .bprj, .bprz and .bpmn files are not done. | Done. Questions have been added to the install-process.sh tool to offer menu entry creation and file type associations. | 2020-01-20 | C | v1.0.1 |
IN | 3724 | On macOS, the file associations with .bprj and .bprz files is not properly configured. | Done. The association was done for .bpmn files, but not for projects. | 2020-01-20 | C | v1.0.1 |
ME | 3696 | When collapsing two lifelines, the new instance head name is ???? Could it be a concat of the collapsed lifelines ? | Done. When collapsing the lifelines A and B, the name for the collapsed one is now A+B. If the initial lifelines have several lines in their head text, only the first line appears in the collapsed one. | 2019-10-17 | C | v1.0 |
ME | 3694 | When exporting an MSC with the EPS format, the bounding box is way larger than the diagram. | Done. This was actually done on purpose so that the text of the messages - that can be quite wide - would have a better chance to all fit in the exported image. The width of the message texts is now estimated earlier and the page size adjusted to fit them properly. | 2019-10-16 | C | v1.0 |