Please join the Office of Research Development for two upcoming webinars about tools that could help advance your research. These platforms are accessible to all UML faculty, staff, and students.

A quick start Blazor project that shows how to create and add ports nodes programmatically and dynamically. This project includes a code snippet to add multiple ports, update port properties ...

Abstract: This paper shows a method for translating UML sequence diagrams to Petri nets and verifying deadlockfreeness, reachability, safety and liveness properties by using a model checker. In this ...

Engineers in China and the US have demonstrated a 6G chip that can provide internet speeds of over 100 gigabits per second (Gbps). That's 10 times faster than 5G's theoretical limit – and close to 500 ...

UML-MCP is a powerful diagram generation server that implements the Model Context Protocol (MCP), enabling seamless diagram creation directly from AI assistants and other applications.