`ogma-core`: Introduce minimal support for sequence diagrams

[ivanperez-keera]

Description

The diagram backend has the ability to transform state machine diagrams in different formats into state machine implementations in Copilot. However, other kinds of diagrams may also be useful in the context of formal analysis and/or runtime verification, such as sequence diagrams. To make Ogma easier to use for the intended audience, we want to support the most likely use cases.

We should add support for Mermaid sequence diagrams to Ogma.

Type

• Feature: Support for new type of diagram.

Additional context

None.

Requester

• Ivan Perez.

Method to check presence of bug

Not applicable.

Expected result

The diagram backend is capable of transforming sequence diagrams into monitoring specifications.

Desired result

The diagram backend is capable of transforming sequence diagrams into monitoring specifications.

Proposed solution

Modify the diagram backend to add a parser for Mermaid sequence diagrams.

Have the parser construct a state machine, and use the standard Diagram backend to produce a monitor.

Further notes

None.

[ivanperez-keera]

Change Manager: Confirmed that the issue exists.

[ivanperez-keera]

Technical Lead: Confirmed that the issue should be addressed.

[ivanperez-keera]

Technical Lead: Issue scheduled for fixing in Ogma 1.12.0.

Fix assigned to: @ivanperez-keera .