Repositories list

• mobile-static-analysis-replication-package

  Public
  R

  •2•0•0•0•Updated Feb 17, 2021Feb 17, 2021

• 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•0•Updated Oct 12, 2020Oct 12, 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