Tools     

Lins - The Labeling Inspector

In order to prove the EL-shellability of noncrossing partition lattices associated with well-generated complex reflection groups, I developed this little tool that infers an EL-labeling for these lattices. It relies on Gap 3.
Lins itself is a command-line tool that should be self-explanatory. The Gap script is included in the archive, but can be downloaded separately from here. Run Lins from a command-line terminal via

java -jar lins.jar

set up the correct paths, choose the desired reflection group and follow the orders. Many thanks to Daniel for providing a Java interface for conexp-clj, which improved the runtime of Lins by eons. Download

Core - The Contextual Role Editor

In my diploma thesis I dealt with the topic of describing role-oriented software models in terms of Formal Concept Analysis.
I wrote two papers on this topic and eventually developed a little tool that shall assist the development process. I called it Core, as an abbreviation for Contextual Role Editor.
Core can be downloaded from here. Note that Core requires the Eclipse Modeling Tools. See the included manual for a quick introduction on how to get started.
As a starting example, you might want to use the following files:

• steimann.rd
• steimann_base.cex
• steimann_role.cex

If you have questions, remarks or want to report some bugs, simply drop me a mail. If you want to extend or customize the role model editor of Core, you can find the sources here. Simply import the folders into Eclipse. Note that you need to have GMF installed. (This is guaranteed if you already have the Eclipse Modeling Tools.) Check the manual for some elementary troubleshooting.