bptlab/chor-checker

Stars
1
Language
TypeScript
Created almost 5 years ago
Updated about 3 years ago

bptlab/chor-checker

bptlab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

TLAplus based model checking framework for choreographies

chor-js

An editor for BPMN 2.0 choreography diagrams based on bpmn-js

chor-js-demo

A demo showcasing the chor-js BPMN 2.0 choreography diagram modeler.

scylla

Extensible BPMN process simulator

ark_automate

An open source RPA tool which uses BPMN to create bots.

awesome-master-thesis

A curated list of awesome master thesis related things

chimera

Chimera: Execution Engine for Case Management

cepta

CEPTA - Complex Event Processing Transportation Analysis

fCM-design-support

Modeling Tool with Design-Time Support for Fragment-Based Case Management

Unicorn

Unicorn Event Processing Platform

mantichor-frontend

Frontend for the Mantichor choreography framework

mimic-log-extraction

A CLI tool for extracting event logs out of MIMIC Databases.

mantichor-corda

Corda R3 adapter for the Mantichor choreography framework

bpi-challenge-2020

The purpose of this repository is to maintain code and text produced to analyze this year's BPI Challenge.

Jupyter Notebook

argos-frontend

argos-backend

This is the repository for the argos backend server. The server controls and serves product, event type and event data for an event dashboard. It requires an Event Processing Platform, eg. Unicorn

mantichor-tezos

Tezos adapter for the Mantichor choreography framework

bpic19

gryphon

web-based modeler based on bpmn.io for fCM case models (to be executed by https://github.com/bptlab/chimera)

MdRPA_Library

model-driven-RPA

Master Project 2023 | Model-driven RPA Bot Development

active-chor-js

Extension of chor-js for blockchain-based active choreographies

scylla-ui

UI visualizing results of the BPMN process simulator Scylla

holistic-process-platform

A BPMN-based platform that combines BPMS and RPA.

TracEX

This bachelorproject focuses on event log extraction from patient journeys using large-language models.

fCM-Engine

An Execution Engine for fragment-based Case Management (fCM) based on Access/CPN

fiber2xes

This project contains a python utility intended to use EHR data coming from fiber to create .xes event logs.

blockchain-choreography

Tamper proof collaborative modelling of choreograpy models based on distributed ledger technology.

rembrandt-frontend

The front end for the Rembrandt Resource-Management-Platform.

rembrandt

A resource organization and resource usage optimization platform.

chor-checker-frontend

Frontend for the choreography model checking framework

ark_automate_local

Execute robots build with ark_automate locally

bpt-docker-zoo

Docker-compose file to easily deploy bpt lab applications Gryphon, Unicorn and Chimera

fcm2cpn

data-based-process-variant-analysis

Jupyter Notebook

odea-light

The purpose of this repository is to provide and maintain code to quantify, interpret, and configure ontology-based event abstraction for process mining.

orion

fCM-query-generator