search

Kappa-Dev / KappaTools

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
http://kappalanguage.org/
GNU Lesser General Public License v3.0
108 stars 40 forks source link

Formation of cyclic pattern: automatic generation of set of orthogonal patterns. #496

Open feret opened 6 years ago

feret commented 6 years ago

Set of orthogonal patterns allows for the design of specific abstraction tailored to the formation of a given pattern. We should inspect the rhs of rules for cyclic patterns, and introduce one orthogonal pattern for each one, so as to infer if only the cyclic pattern may be build, or if unfolded forms may occur as well.

feret commented 6 years ago

Aurélie has built the decision tree. I still have to plug everything with the rest of the analysis.