Marco Autili

Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)
Università dell'Aquila
Via Vetoio, 67100 L'Aquila (Italy)

Released Software Tools

  • MultiSynth Studio-logo.png project web pages
    The MultiSynth Studio is a web application that supports different kind of model-based synthesis of software integration code, as well as different kinds of analysis and verification. For instance, it permits to realize distributed systems by integrating existing software peers in a fully distributed way. It offers extension mechanisms so to include other kind of integration synthesis methodologies. Our mid-term goal is to include in the studio all the synthesis methodologies we have proposed in the past, so to offer a ready-to-use integrated working environment where practitioners can experiment with different synthesis methodologies, meeting both theoretical and practical interests.
    visit the MultiSynth Studio page

  • CHOReVOLUTION project web pages
    CHOReVOLUTION IDRE offers an integrated development and execution environment for dynamic and secured choreographies of services through a distributed coordination. This approach is useful in the development and management of complex interactions, such as intelligent transportation systems, IoT and smart city applications.
    visit the CHOReVOLUTION page

  • CHOReOSynth project web pages
    CHOReOSynth is a set of tools to automatically synthesize an automata-based specification of the coordination logic out of a BPMN2 choreography specification, and to distribute it between the choreography participants
    visit the CHOReOSynth page

  • CHAMELEON project web pages
    CHAMELEON is a framework for tailoring adaptable Java applications for resource-constrained devices and can be used for tackling a form of adaptation to the execution context. CHAMELEON is based on a static analysis approach to the inspection of Java programs and their characterization w.r.t. their resource consumption in a given execution environment. Explicitly targeting resource-constrained devices, we implemented and instantiated all the needed machinery on the Java platform (although other platforms are eligible) due to its widespread availability on today's mobile devices (e.g., smart phones, PDAs, etc.).
    visit the CHAMELEON page

  • Property Sequence Charts
    PSC is a simple but expressive language for specifying temporal properties. Two are the main requirements of PSC, simplicity and expressiveness. Remaining close to the graphical notation of UML2.0 Sequence Diagrams and Message Sequence Charts (MSC), the requirement of simplicity is satisfied. The PSC expressiveness is measured with the property specification patterns.
    visit the PSC page

    SYNTHESIS is a tool for the automated synthesis of centralized, distributed, and modular software connectors. The synthesized connector serves as integration code for a set of software components whose interaction beahviour is specified by means of state machines and interface description languages (e.g., IDL, WSDL). The generated code allows both the prevention of possible deadlocks and the insurance of safety and liveness properties specified through temporal logic (e.g., LTL).