Skip to content

@sesygroup Software Engineering and Synthesis Group

Change the repository type filter

All

    Repositories list

    11 repositories

    • choreography-synthesis-enactment

      Public
      Highly-collaborative distributed systems: synthesis and enactment at work
      frameworkautomated-deploymentweb-service-composition
      frameworkautomated-deploymentweb-service-compositiondistributed-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.8k•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 …
      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…
      Java
      •
      Apache License 2.0
      •1•0•0•0•Updated Jul 14, 2017Jul 14, 2017
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.