GitHub - aemartinez/chorgram

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 436 Commits
.devcontainer		.devcontainer
aux		aux
cc		cc
non-public		non-public
wiki		wiki
.gitignore		.gitignore
BCGBridge.hs		BCGBridge.hs
BranchingProperty.hs		BranchingProperty.hs
BuildGlobal.hs		BuildGlobal.hs
CFSM.hs		CFSM.hs
ChorAutomata.hs		ChorAutomata.hs
Dependency.hs		Dependency.hs
Dockerfile		Dockerfile
DotStuff.hs		DotStuff.hs
ErlanGC.hs		ErlanGC.hs
FSA.hs		FSA.hs
GCGrammar.y		GCGrammar.y
GlobalGraph.hs		GlobalGraph.hs
GraphGrammar.y		GraphGrammar.y
HKCBridge.hs		HKCBridge.hs
Install.md		Install.md
Makefile		Makefile
Misc.hs		Misc.hs
PartialOrderReduction.hs		PartialOrderReduction.hs
PetriNet.hs		PetriNet.hs
PetrifyBridge.hs		PetrifyBridge.hs
PomsetSemantics.hs		PomsetSemantics.hs
QoSCFSM.hs		QoSCFSM.hs
QoSLogic.hs		QoSLogic.hs
README		README
RGCGrammar.y		RGCGrammar.y
Representability.hs		Representability.hs
SyntacticGlobalChoreographies.hs		SyntacticGlobalChoreographies.hs
SystemGrammar.y		SystemGrammar.y
TS.hs		TS.hs
TestQoS.hs		TestQoS.hs
WellFormedness.hs		WellFormedness.hs
cfsm2gc		cfsm2gc
chorgram.hs		chorgram.hs
docker-compose.yml		docker-compose.yml
gc2dot.hs		gc2dot.hs
gc2fsa.hs		gc2fsa.hs
gc2gml.hs		gc2gml.hs
gc2pom.hs		gc2pom.hs
gmc.hs		gmc.hs
handleND.hs		handleND.hs
help.txt		help.txt
pom2gc.hs		pom2gc.hs
project.hs		project.hs
pyproject.toml		pyproject.toml
sysparser.hs		sysparser.hs
utils.py		utils.py
wb.hs		wb.hs
wf.hs		wf.hs
ws.hs		ws.hs

Repository files navigation

CHORGRAM

A tool chain for

- converting communicating finite state machines (CFSMs) to global choreographies (GCs)
- projecting GCs on CFSMs
- check multiparty compatibility

Chorgram is written in haskell and uses hkc and petrify as auxiliary
tools. The integration between chorgram and hkc and petrify is is
attained with some python scripts. Chorgram uses dot to display CFSMs,
transition systems, global graphs, and semantics



CONTENT 

aux: a directory with configuration files; it is advisable to put in
     aux the directories of hkc and petrify

BCGBridge.hs: from our notation to BCG. This is very much work in progress to
              rely on BCG in order to minimise CFSMs

BranchingProperty.hs: checks the branching property

BuildGlobal.hs: from petri nets in global graphs

CFSM.hs: data and functions on CFSMs

cfsm2gc.py: checks gmc of system of CFSMs and builds its GC

Dependency.hs

DotStuff.hs: configuration for dot

gc2fsa.hs: projects a global graph on its CFSMs in .fsa format

GCGrammar.y: lex/yacc parser generator for the syntax of GCs

GlobalGraph.hs: data and functions on GCs

gmc.hs: generalised multiparty compatibility checker

HKCBridge.hs: transforms CFSMs in the hkc format

Makefile: a makefile

Misc.hs: should I say more?

PartialOrderReduction.hs: compacts p.o.

PetrifyBridge.hs: transforms files to the format of petrify

PetriNet.hs: utils on Petri nets

Representability.hs: representability checker

SemanticGlobalGraphs.hs: computes the semantics of GCs...well, not really yet! The 'sloopy' option is the default, due to my 'lazy' option

gc.hs: extracts the semantics of a GCs and its (non minimised) projections

gc.py: python script for post-processing of the output of gc.hs

SyntacticGlobalGraphs.hs: an editor for GCs

sysparser.hs: parses the process algebraic presentation of systems CFSMs (.sys format)

SystemGrammar.y: lex/yacc parser generator for the process algebraic presentation of systems CFSMs

TS.hs: data structures and functions for manipulating transition systems of CFSMs