First commit of the tfsmandactivity operator

official_samples/bcool_TFSMAndActivity/language_workbench/.gitignore

@@ -0,0 +1 @@
+/gemoc-gen/

official_samples/bcool_TFSMAndActivity/language_workbench/.project

@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>org.gemoc.sample.bcool.tfsmandactivity</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.gemoc.bcool.model.xtext.bcoolbuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.gemoc.bcool.model.xtext.bcoolnature</nature>
+	</natures>
+</projectDescription>

official_samples/bcool_TFSMAndActivity/language_workbench/operator/TfsmAndActivities.bcool

@@ -0,0 +1,14 @@
+TfsmAndActivities
+
+ImportLib "platform:/resource/org.gemoc.sample.bcool.tfsmandactivity/operator/facilities.bcoollib"
+ImportLib "platform:/resource/org.gemoc.sample.bcool.tfsmandactivity/operator/facilities.moccml"
+
+ImportInterface "platform:/resource/org.modelexecution.operationalsemantics.ad.concurrent.ecl/model/ActivitiyDiagramV2.ecl"  as activity
+ImportInterface "platform:/resource/org.gemoc.sample.tfsm.eclmoc2as/ecl/TFSM.ecl" as tfsm
+
+
+Operator SyncFSMEventsAndActions (FSMEvents : tfsm::occurs, ActionExecute : activity::executeIt)
+when FSMEvents.name = ActionExecute.name;
+		CoordinationRule: 
+			facilities.RendezVous(FSMEvents, ActionExecute )
+end operator; 

official_samples/bcool_TFSMAndActivity/language_workbench/operator/facilities.bcoollib

@@ -0,0 +1,14 @@
+BCoolLibrary facilities{
+
+
+relationDeclarations { 
+	RelationDeclaration RendezVous {}
+    , RelationDeclaration Causality {}
+}
+
+
+expressionDeclarations {
+	ExpressionDeclaration SampledBy{}
+}
+
+}

official_samples/bcool_TFSMAndActivity/language_workbench/operator/facilities.moccml

@@ -0,0 +1,68 @@
+AutomataConstraintLibrary ModeAutomataCoordination{ 
+	import "platform:/plugin/fr.inria.aoste.timesquare.ccslkernel.model/ccsllibrary/kernel.ccslLib" as kernel;
+	import "platform:/plugin/fr.inria.aoste.timesquare.ccslkernel.model/ccsllibrary/CCSL.ccslLib" as CCSLLib;
+
+
+	RelationLibrary CCSLBasedRelations {
+
+		RelationDefinition RendezVousDef[RendezVous]{ 
+			Relation RendezVousrelat[Coincides]( Clock1->ClockA, Clock2->ClockB)
+		}
+
+		RelationDefinition CausalityDef[Causality]{ 
+			Relation Causalityrelat[Causes]( LeftClock->ClockLeft, RightClock->ClockRight)
+		}
+
+		RelationDefinition RendezVouswithGlobalClockDef[RendezVouswithGlobalClock]{ 
+			Expression sampledStartAction = SampledBy (Sampled -> globalClock, Trigger-> startAction)
+			Expression sampledOccurs = SampledBy (Sampled -> globalClock, Trigger-> occurs)
+
+			Relation RendezVousSamples[Coincides](   Clock2-> sampledStartAction , Clock1-> sampledOccurs  )
+			}
+
+		AutomataRelationDefinition RendenVousAfterTwoDef[RendenVousAfterTwo]{
+			init: initState
+
+			from initState to firstOccurs : initStateTofirstOccurs
+			-> ( )
+
+			from firstOccurs to secondOccurs : firstOccurstoSecondOccurs
+			-> ( when eventA )
+
+			from secondOccurs to firstOccurs : secondOccurstoFirstOccurs
+			-> ( when eventA , eventB)
+
+			State initState( out : initStateTofirstOccurs )
+			State firstOccurs ( in : initStateTofirstOccurs, secondOccurstoFirstOccurs out : firstOccurstoSecondOccurs)
+			State secondOccurs ( in : firstOccurstoSecondOccurs out : secondOccurstoFirstOccurs)
+		}
+
+		RelationDeclaration RendezVous (ClockA:clock, ClockB:clock) 
+		RelationDeclaration Causality (ClockLeft:clock, ClockRight:clock)
+		RelationDeclaration RendezVouswithGlobalClock (startAction: clock , occurs: clock, globalClock: clock )
+
+		RelationDeclaration RendenVousAfterTwo(
+			eventA:clock,
+			eventB:clock
+		)
+}
+
+	ExpressionLibrary BCOolfilters{
+		ExpressionDefinition FilterNDef [FilterN]{
+			root=filterN_result 
+				Expression filterN_result = Periodic
+						( PeriodicBaseClock->WaitingClock, PeriodicPeriod -> WaitingValue, PeriodicOffset -> four)	
+  		}
+
+		ExpressionDefinition SampledDef [SampledBy]{
+			root=Sample_result 
+			Expression Sample_result = SampledOn(SampledOnTrigger -> Trigger, SampledOnSampledClock ->Sampled)
+  		}
+
+		ExpressionDeclaration SampledBy(Trigger: clock,  Sampled: clock):clock
+		ExpressionDeclaration FilterN(WaitingClock: clock,  WaitingValue: int):clock
+
+	}	
+
+
+}