-
-
Notifications
You must be signed in to change notification settings - Fork 11
Dependency Management
Library Dependencies: Dependencies.scala
Project Dependencies project/plugins.sbt:
-
"com.google.guava" % "guava" % v.guavaVersionSCROLL uses Guava Graphs to store the role-playing relationships (see e.g., RoleGraph.scala).
-
"com.typesafe.akka" %% "akka-actor" % v.akkaVersionAkka Finite State Machines are used to implement Role-playing Automatons (see RolePlayingAutomaton.scala).
-
"org.choco-solver" % "choco-solver" % v.chocoVersionThis SAT Solver is used to check Role-Group constraints (see RoleGroupsApi.scala).
-
"org.scala-lang" % "scala-reflect" % scalaVersion.valueUsed for all the reflection magic to find role methods / fields (see e.g., ReflectiveHelper.scala).
-
"org.eclipse.emf" % "org.eclipse.emf.common" % v.emfcommonVersion -
"org.eclipse.emf" % "org.eclipse.emf.ecore" % v.emfecoreVersion -
"org.eclipse.uml2" % "org.eclipse.uml2.uml" % v.umlVersionThe above three dependencies are used to import and check FRaMED Ecore models for wellformedness (see the formal package).
-
"org.scalatest" %% "scalatest" % v.scalatestVersion % "test"Used for all SCROLL unit tests (see the tests package).
-
"pl.project13.scala" % "sbt-jmh" % "0.2.27"Used for SCROLL benchmarks (see the benchmarks package).
sbt-updates might help.