search

ftsrg / gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
http://gamma.inf.mit.bme.hu
30 stars 25 forks source link

Support asynchronous-reactive composition semantics in XSTS mapping #130

Closed grbeni closed 1 year ago

grbeni commented 2 years ago

The XSTS mapping could support the AR semantics by using nondeterministic actions instead of sequential actions in the XSTS mapping. Note that this has to be conducted in accordance with the component hierarchy, so we should use caching (maps) of these hierarchical (nondeterministic and sequential) actions from the atomic AA component's perspective.

grbeni commented 2 years ago

The abovementioned mapping has been implemented and the verification works. Now only the scheduling problem has to be solved during back-annotation (which parallelly running component ran/was scheduled).

grbeni commented 1 year ago

The back-annotation of the scheduling has been solved in 37fff61d102e9ab2ea7872c8383793e2b369b505.