FTSE LARES

This repository provides building blocks for target formalisms of the FTSE project wrt. algorithms, formalisms, tools and transformations.

---

• ftse.formalism – Metamodels, Parsers and Serializers for

  • lares: the LARES language
  • lares.flat: a LARES hierarchy-less flat representation
  • timenet: the Timenet petri net solver language

• ftse.transformations – Transformations

  • spa: LARES to SPA transformation
  • laresflat: LARES to Lares Flat transformation
  • additional: LARES Instance Graph Serializer
  • lares
  • pn

• ftse.simulation – Applied execution semantics ...

  • laresflat
  • pn

---

Prerequisites

Everything required for building should be specified in build.sbt using the Simple Build Tool - SBT. It may also be a viable option to install Scala as well.

Building

To build and package the library

sbt compile package

Usage

Start e.g. java REPL

scala -cp target/scala-2.11/lares_2.11-1.0.0.jar

And import stuff ...

scala> import ftse.formalism._
scala> ...

---

Links:

• LARES website
• Design of Computer and Communication Systems Group @BUM
• PhD Thesis