Hackage :: [Package]

Readme for claferwiki-0.3.5.1

Clafer Wiki

v0.3.5.1.1

ClaferWiki is a wiki system integrated with Clafer compiler. Clafer is a lightweight yet powerful structural modeling language. ClaferWiki allows for embedding Clafer model fragments in wiki pages and provides model authoring support including code highlighting, parse and semantic error reporting, hyperlinking from identifier use to its definition, and graphical view rendering.

ClaferWiki supports informal-to-formal modeling, that is, gradually refining parts of specification in natural language into a Clafer model fragments. ClaferWiki supports literate modeling - both the rich text and the model fragments can be freely mixed. Informal-to-formal modeling is important during domain modeling.

Also, ClaferWiki acts as a collaborative, lightweight, web-based integrated development environment (IDE) for Clafer. In addition to code highlighting, error reporting, hyperlinking, and graphical view rendering, it also provides model versioning and distributed online/offline editing capabilities as it is based on the Git distributed version control system and the Gitit wiki.

Live demo

Try me!

If the demo is down or you encounter a bug, please email Michal Antkiewicz.

Contributors

Getting the Clafer Wiki

Clafer can be installed either from Hackage or from the source code.

Dependencies for running

Regardless of the installation method, the following are required:

Installation from Hackage

  1. cabal update
  2. cabal install claferwiki
  3. cd <cabal's lib or share folder>/claferwiki-0.3.5.1 (lib on Windows or share on Linux and Mac)

Installation from source code

  1. In some <source directory> where you want to have the wiki source code
    • execute git clone git://github.com/gsdlab/claferwiki.git
  2. execute cabal install
  3. execute make install to=<target directory>

Important: Branches must correspond

All related projects are following the simultaneous release model. The branch master contains releases, whereas the branch develop contains code under development. When building the tools, the branches should match. Releases from branches 'masterare guaranteed to work well together. Development versions from branchesdevelop` should work well together but this might not always be the case.

Usage

Wiki can be configured by editing the gitit.cnf file. See Configuring and customizing gitit.

Update

Features

Telematics Example, Module Overview Telematics Example, Module Details

Using Clafer Wiki

For general usage information for the GitIt wiki see the README.

You can insert code blocks with clafer code anywhere in the page as follows:

```clafer

<here goes your model fragment>

```

The model overview, including the graph, stats, and download links, can be added as follows:

``` {.clafer .summary}

<the contents in this block are ignored>

```

To have the code blocks correctly processed, make sure to add an empty line before and after the code block, even if the code block is the last element on the page.

How it works

Need help?