Abstract: The quality of software architecture has a great influence on achieving non-functional requirements to the software system. In this paper, we propose an approach based on Petri nets models ...

This is a Grafana panel plugin that provides a way to create flow-charts, sequence diagrams, and gantt charts by leveraging the mermaid.js library. A diagram can be defined using the Mermaid JS syntax ...

Abstract: Concurrent software is notoriously difficult to debug. We investigate the use of UML sequence diagrams to help developers correctly reason about the potential behaviors of buggy concurrent ...