	
 COMP 763 "Modelling and Simulation Based Design" (Winter 2008)
 Jun Li / jun.li3@mail.mcgill.ca
 

--------------------------
Files in the project.zip
--------------------------

	Readme.txt   :	This file
	
	LNCS-tex.zip : Latex files with lncs style files and figures

-----------------
Kermeta programs
-----------------

workspace.zip : contains the Kermeta program generate by 
		Graph Grammar compiler, and test case models

workspace\fr.irisa.triskell.kermeta.samples.fsm.demo\
	.\kermeta\fsm.kmt	: the Kermeta program generate merged from all codes
							generated by Graph Grammar compiler,

	.\metamodels\fsmStatic.ecore   :  updated FSA meta-model
	.\metamodels\fsmStatic.ecoredi
	.\metamodels\fsmStatic.kmt

	.\models\sample1.fsm	: the even binary number recognizer FSA model
	fsm.demo.loaderFsm4prepost.launch	: launch script for running  
							the even binary number recognizer FSA model
							
	.\models\sample1postv.fsm	: FSA model with non-transitions
	fsm.demo.loaderFsm4pre.launch	: launch script for running above model
	
	#Notes: rest of programs are from orginal program packages


-----------------
AToM3 programs
-----------------
	FSAModels.zip : contains the FSA meta-model and updated graph grammar rules.
				    for Kermeta FSA Meta-model
	
	TransformationToolbar.zip : contains the model transformation toolbar 
								and graph grammar compiler.
								Activate the graph grammar compiler by pressing  
								the button "CGEN". 

	_GG-Kermeta\Rule01.kmt	: Separated Kermeta code translated from graph grammar rules
	_GG-Kermeta\Rule02.kmt
	_GG-Kermeta\Rule03.kmt
