search

blasedef / eu.quanticol.caspa

CASPA : a Collective Adaptive Stochastic Process Algebra
0 stars 0 forks source link

Validation Check Error #6

Open blasedef opened 9 years ago

blasedef commented 9 years ago

NO_ACTION_PARTNER = "eu.quanticol.noActionPartner" Action pairs - there must exist the opposite named action

If there exist: a[True]<1> There must exist its partner a[True]<1>

blasedef commented 9 years ago

However, there are some actions that do not need partners - so far this validation only covers unicast actions.

see bikesharing model (https://github.com/blasedef/caspaModels/blob/master/ExampleCASPAModels/bikeSharing.caspa) - notice that B has the broadcast actions (and other processes do too).