Repositories list

• choreography-synthesis-enactment

  Public
  Highly-collaborative distributed systems: synthesis and enactment at work

  frameworkautomated-deploymentweb-service-composition+ 4distributed-coordinationchoreography-enactmentservice-oriented-applicationsautomated-choreography-synthesis

  Java

  •

  Apache License 2.0

  •1•0•0•5•Updated Jan 6, 2022Jan 6, 2022

• flowable-engine

  Public
  A compact and highly efficient workflow and Business Process Management (BPM) platform for developers, system admins and business users.

  Java

  •

  Apache License 2.0

  •2.7k•0•0•0•Updated Nov 29, 2020Nov 29, 2020

• mobile-static-analysis-replication-package

  Public
  R

  •2•0•0•0•Updated Mar 6, 2020Mar 6, 2020

• multisynth-studio

  Public
  Web application that supports model-based synthesis of software integration code, as well as different kind of analysis and verification.

  JavaScript

  •2•0•0•0•Updated Nov 20, 2018Nov 20, 2018

• tactical-choreographies

  Public
  JavaScript

  •

  Apache License 2.0

  •1•0•0•0•Updated Mar 21, 2018Mar 21, 2018

• concrete-participant-behavior

  Public
  Automata-based model used to modeling a concrete behavioral specification of a service which considers synchronous, asynchronous, or internal communication.

  Java

  •

  Apache License 2.0

  •2•0•0•0•Updated Jul 20, 2017Jul 20, 2017

• abstract-participant-behavior

  Public
  Automata-based model used to modeling an abstract behavioral specification of a service which considers synchronous or internal communication.

  Java

  •

  Apache License 2.0

  •1•0•0•0•Updated Jul 20, 2017Jul 20, 2017

• choreography-specification

  Public
  Automata-based model in which a transition from a state to another models the exchange of a message between two peers. The choreography specification describes the way peers perform their interactions from a global perspective by focusing on the exchange of messages.

  Java

  •

  Apache License 2.0

  •1•0•0•0•Updated Jul 20, 2017Jul 20, 2017

• hybrid-system-behavior

  Public
  Automata-based model used to modeling the behaviour of a composed system that use asynchronous and/or synchronous communication.

  Java

  •

  Apache License 2.0

  •1•0•0•0•Updated Jul 20, 2017Jul 20, 2017

• coordination-logic-realizer

  Public
  Concretizes a set of Abstract CD Behavior model according to the set of Concrete Participant Behaviors.

  Java

  •

  Apache License 2.0

  •1•0•0•0•Updated Jul 14, 2017Jul 14, 2017

• coordination-logic-extractor

  Public
  Extracts the coordination logic that is required to coordinate the choreography peers in a distributed way. The extracted coordination logic is thus distributed into a set of Abstract CD Behavior models.

  Java

  •

  Apache License 2.0

  •1•0•0•0•Updated Jul 14, 2017Jul 14, 2017