Software Engineering and Synthesis Group
- L'Aquila
- http://sesygroup.com/
- sesygroup@gmail.com
Pinned Loading
Repositories
- choreography-synthesis-enactment Public
Highly-collaborative distributed systems: synthesis and enactment at work
sesygroup/choreography-synthesis-enactment’s past year of commit activity - flowable-engine Public Forked from flowable/flowable-engine
A compact and highly efficient workflow and Business Process Management (BPM) platform for developers, system admins and business users.
sesygroup/flowable-engine’s past year of commit activity - multisynth-studio Public
Web application that supports model-based synthesis of software integration code, as well as different kind of analysis and verification.
sesygroup/multisynth-studio’s past year of commit activity - tactical-choreographies Public
sesygroup/tactical-choreographies’s past year of commit activity - concrete-participant-behavior Public
Automata-based model used to modeling a concrete behavioral specification of a service which considers synchronous, asynchronous, or internal communication.
sesygroup/concrete-participant-behavior’s past year of commit activity - abstract-participant-behavior Public
Automata-based model used to modeling an abstract behavioral specification of a service which considers synchronous or internal communication.
sesygroup/abstract-participant-behavior’s past year of commit activity - 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.
sesygroup/choreography-specification’s past year of commit activity - hybrid-system-behavior Public
Automata-based model used to modeling the behaviour of a composed system that use asynchronous and/or synchronous communication.
sesygroup/hybrid-system-behavior’s past year of commit activity - coordination-logic-realizer Public
Concretizes a set of Abstract CD Behavior model according to the set of Concrete Participant Behaviors.
sesygroup/coordination-logic-realizer’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…