Home > Support > Features


Application: Process
Version: v1.0
Tool: All

Records found: 13

Status: P: Pending, S: Suspended, C: Corrected, R: Not reproductible.

Select feature id:
Description contains:
Select application:
Select application version:
Select tool:

Tool acronyms: IN: Installation, LM: License management, PM: Project manager, BE: BPMN editor, BS: BPMN Simulator (BPSim), BX: BPMN eXecutor, BV: BPMN Validation (OBP), ME: MSC editor, MT: MSC tracer, TE: Text editor

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