13
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Compositionality of Rewriting Rules with Conditions

      Preprint
      ,

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          We extend the notion of compositional associative rewriting as recently studied in the rule algebra framework literature to the setting of rewriting rules with conditions. Our methodology is category-theoretical in nature, where the definition of rule composition operations is encoding the non-deterministic sequential concurrent application of rules in Double-Pushout (DPO) and Sesqui-Pushout (SqPO) rewriting with application conditions based upon M-adhesive categories. We uncover an intricate interplay between the category-theoretical concepts of conditions on rules and morphisms, the compositionality and compatibility of certain shift and transport constructions for conditions, and thirdly the property of associativity of the composition of rules without conditions.

          Related collections

          Most cited references13

          • Record: found
          • Abstract: found
          • Article: not found

          MetaCycle: an integrated R package to evaluate periodicity in large scale data.

          Detecting periodicity in large scale data remains a challenge. While efforts have been made to identify best of breed algorithms, relatively little research has gone into integrating these methods in a generalizable method. Here, we present MetaCycle, an R package that incorporates ARSER, JTK_CYCLE and Lomb-Scargle to conveniently evaluate periodicity in time-series data. MetaCycle has two functions, meta2d and meta3d, designed to analyze two-dimensional and three-dimensional time-series datasets, respectively. Meta2d implements N-version programming concepts using a suite of algorithms and integrating their results.
            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Rule-Based Modelling of Cellular Signalling

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Sesqui-Pushout Rewriting

                Bookmark

                Author and article information

                Journal
                19 April 2019
                Article
                1904.09322
                209418c1-7947-4c32-99e7-b6de2d6a6bdb

                http://arxiv.org/licenses/nonexclusive-distrib/1.0/

                History
                Custom metadata
                16B50, 60J27, 68Q42 (Primary) 60J28, 16B50, 05E99 (Secondary)
                64 pages
                cs.LO math.CT

                Theoretical computer science,General mathematics
                Theoretical computer science, General mathematics

                Comments

                Comment on this article