• Home
• com.github.max-leuthaeuser
• scroll_2.12
• 1.61
• source code
• package.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

scroll.internal.formal.package.scala Maven / Gradle / Ivy

package scroll.internal

/**
  * This package contains the Scala reference implementation of the role-based modeling language for Compartment Role Object Models (CROM)
  * and Compartment Role Object Instances (CROI), as well as Constraint Models. The implementation is kept simple, comprehensive, and more
  * importantly close to their formalization. This is an adaption of [[https://github.com/Eden-06/formalCROM]].
  *
  * The reference implementation contains the following classes:
  * - [[scroll.internal.formal.CROM]] representing a Compartment Role Object Model
  * - [[scroll.internal.formal.CROI]] a Compartment Role Object Instance
  * - [[scroll.internal.formal.FormalRoleGroup]] the notion of a Role Group
  * - [[scroll.internal.formal.FormalConstraintModel]] a Constraint Model
  */
package object formal