Popular repositories Loading

1. incubator-eventmesh incubator-eventmesh Public

   Forked from apache/eventmesh

   EventMesh is a dynamic event-driven application runtime used to decouple the application and backend middleware layer, which supports a wide range of use cases that encompass complex multi-cloud, w…

   Java

2. guide-rpc-framework guide-rpc-framework Public

   Forked from Snailclimb/guide-rpc-framework

   A custom RPC framework implemented by Netty+Kyro+Zookeeper.（一款基于 Netty+Kyro+Zookeeper 实现的自定义 RPC 框架-附详细实现过程和相关教程。）

   Java

3. SCTranslator SCTranslator Public

   Forked from zhang1993/SCTranslator

   A translator of UML statecharts to Promela

   XSLT

4. SCA SCA Public

   Forked from JPLOpenSource/SCA

   JPL Statechart Autocoder Rev. 2

   HTML

5. WorkflowModelCheck WorkflowModelCheck Public

   Forked from ThinerZQ/WorkflowModelCheck

   statemachine workflow xml definition transfer to promela code

   JavaScript

6. SysMLPromelaTransformation SysMLPromelaTransformation Public

   Forked from SysMLATL/SysMLPromelaTransformation

   ATL Transformation from SysML to Promela