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
- 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.
- multisynth-studio Public
Web application that supports model-based synthesis of software integration code, as well as different kind of analysis and verification.
- tactical-choreographies Public
- concrete-participant-behavior Public
Automata-based model used to modeling a concrete behavioral specification of a service which considers synchronous, asynchronous, or internal communication.
- abstract-participant-behavior Public
Automata-based model used to modeling an abstract behavioral specification of a service which considers synchronous or internal communication.
- 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.
- hybrid-system-behavior Public
Automata-based model used to modeling the behaviour of a composed system that use asynchronous and/or synchronous communication.
- coordination-logic-realizer Public
Concretizes a set of Abstract CD Behavior model according to the set of Concrete Participant Behaviors.
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…