SoftwareEngineeringToolDemos / FSE-2014-CHOReOSynt

CHOReOSynt tool has been conceived to deal with an additional problem, namely, automated choreography enforcement.

Home Page:http://choreos.disim.univaq.it/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

FSE-2014-CHOReOSynt

This repository contains information related to the tool CHOReOSynt presented Foundations of Software Engineering, 2014. The tool was originally presented in this paper.

This repository is not the original repository for this tool. Here are some links to the original project:

In this repository, for CHOReOSynt you will find:

  • ❌ Source code (not available)
  • ❌ Executable tool (not available)
  • ❌ Virtual machine containing tool (not available)

CHOReOSynt is part of a large EU project CHOReOS and is not a standalone tool as of yet. Please contact Marco Autili for details. This repository was constructed by Saurav Shekhar under the supervision of Emerson Murphy-Hill. Thanks to Marco Autili for his help in establishing this repository.

About

CHOReOSynt tool has been conceived to deal with an additional problem, namely, automated choreography enforcement.

http://choreos.disim.univaq.it/