Clafer Wiki =========== v0.3.6 **ClaferWiki** is a wiki system integrated with [Clafer compiler](https://github.com/gsdlab/clafer). [Clafer](http://clafer.org) 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](http://gitit.net/). ### Live demo [Try me!](http://t3-necsis.cs.uwaterloo.ca:8091/) If the demo is down or you encounter a bug, please email [Michal Antkiewicz](mailto:mantkiew@gsd.uwaterloo.ca). Contributors ------------ * [Michał Antkiewicz](http://gsd.uwaterloo.ca/mantkiew), Main developer. Requirements, development, architecture, testing, technology transfer. * Chris Walker, co-op student May-Aug, 2012. Developer of Clafer Wiki, HTML and GraphViz generators. * [Jimmy Liang](http://gsd.uwaterloo.ca/jliang), Clafer compiler support, including multi-fragment compilation, source/AST/IR traceability, parsing and compilation error reporting. 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: * [Clafer compiler](https://github.com/gsdlab/clafer/) v0.3.6. * [The Haskell Platform](http://hackage.haskell.org/platform) v2013.2.0.0. * Cabal >= 1.18 * alternatively, GHC v7.6.3. * [Git](http://git-scm.com) * [Gitit wiki](http://gitit.net) v0.10.3.1. ### Installation from Hackage 1. `cabal update` 2. `cabal install claferwiki` 3. `cd ` (`C:\Users\\AppData\Roaming\cabal\i386-windows-ghc-7.6.3\claferwiki-0.3.6` on Windows or `.cabal/share/x86_64-linux-ghc-7.6.3/claferwiki-0.3.6/` on Linux) * execute `make install to=` * this will copy the wiki files ### Installation from source code 1. In some `` where you want to have the wiki source code * execute `git clone git://github.com/gsdlab/claferwiki.git` 2. execute `cabal update` 3. execute `make init` 4. execute `make` 5. execute `make install to=` * this will copy the wiki files ### 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 'master` are guaranteed to work well together. Development versions from branches `develop` should work well together but this might not always be the case. Usage ===== * in the `` execute `claferwiki.sh` to start the wiki server Wiki can be configured by editing the `gitit.cnf` file. See [Configuring and customizing gitit](http://gitit.net/README#configuring-and-customizing-gitit). Update ------ * in the `` execute `git pull` * execute `make update to=` * this will keep the directory structure and your existing git repository with the wiki contents Features -------- Telematics Example, Module Overview Telematics Example, Module Details * syntax coloring for Clafer models * linking from clafer name references within model fragments to clafer definitions * linking from clafer names used in wiki text to clafer definitions * pop-up information about clafers in graph rendering * translating constraints to controlled natural language and showing as pop-up? * overview with graph rendering, statistics, and download links for the entire model source and self-contained HTML rendering * integration with ClaferMooVisualizer Using Clafer Wiki ----------------- For general usage information for the GitIt wiki see the [README](http://gitit.net/README). You can insert code blocks with clafer code anywhere in the page as follows: \`\`\`clafer `` \`\`\` The model overview, including the graph, stats, and download links, can be added as follows: \`\`\` `{.clafer .summary}` `` \`\`\` 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 ------------ * Clafer Wiki is a set of plugins for the GitIt wiki which processes clafer code blocks and invokes the Clafer compiler. * All code blocks on a single page are interpreted as a single module. * The Clafer compiler generates HTML rendering of each code block. * The rendering is enriched with: * links to the definitions for super clafers (inheritance) * links to the types of references * compiler error highlights Need help? ========== * See [language's website](http://clafer.org) for news, technical reports and more * Check out a [Clafer tutorial](http://t3-necsis.cs.uwaterloo.ca:8091/Tutorial/Intro) * Try a live instance of [ClaferWiki](http://t3-necsis.cs.uwaterloo.ca:8091) which contains a repository of models for various applications * Try a live instance of [ClaferIDE](http://t3-necsis.cs.uwaterloo.ca:8094) * Try a live instance of [ClaferConfigurator](http://t3-necsis.cs.uwaterloo.ca:8093) * Try a live instance of [ClaferMooVisualizer](http://t3-necsis.cs.uwaterloo.ca:8092) * Take a look at (incomplete) [Clafer by examples wiki](https://github.com/gsdlab/clafer/wiki) * Browse example models in the [test suite](https://github.com/gsdlab/clafer/tree/master/test/positive) and [MOO examples](https://github.com/gsdlab/clafer/tree/master/spl_configurator/dataset) * Post questions, report bugs, suggest improvements [GSD Lab Bug Tracker](http://gsd.uwaterloo.ca:8888/questions/). Tag your entries with `claferwiki` (so that we know what they are related to) and with `michal` (so that Michał gets a notification).