Pages:  1 2 3 4 5 6
Linked Data
  Created - 2012/11/20 19:42:11+0000

I have successfully published a little bit of linked data , using the 303 redirect pattern . Take a look at http://id.mattunderscore.com/person/mattchampion and http://id.mattunderscore.com/project/ebchecker ; don't forget to use a RDF browser if you want to see the content negotiation work. You can replace the "id" with "rdf" and put ".rdf" as the extension if you want to see the raw RDF. I will add more as soon as I get the chance but I am very pleased with how this t... read more

Content Negotiation Filter
  Created - 2012/12/03 21:35:26+0000

As part of the (limited) linked data I provide on this website I implemented a content negotiation filter to provide the 303 redirects. It is configured with an XML file that describes the possible variants. The content negotiation algorithm is based on the Apache Negotiation Algorithm but lacks support for the encoding and character set. I implemented this myself because when I was trying to find out how I should do this I kept finding Paul Tuckey's UrlRewriteFilter and JAX-RS which uses annota... read more

Website
  Created - 2012/11/08 20:27:15+0000

My website mattunderscore.com is an attempt to demonstrate (show off) what I can do and share what I spend my time on. It also allows me to practice and experiment with technologies for dynamically generating web pages. I used to work at a company that used an internally developed application server and libraries to script server side behavior using Tcl scripts. These technologies are not widely used so I thought it would be a good idea to become familiar with more recognized technologies. Server side... read more

EbChecker
  Created - 2012/11/08 20:27:15+0000

I graduated from the University of Southampton with a Master's degree in Software Engineering. My dissertation presented an automata-based explicit model checker for Event-B which I have taken to calling EbChecker. Event-B is based on the B Method and is a formal specification language. I implemented the model checker as a plugin for Rodin , a development environment for Event-B based on Eclipse . The code is available from a BitBucket repository, https://bitbucket.org/mattunderscorechampion/modelcheck... read more

LTL2BA4JOSGi
  Created - 2012/11/08 20:27:15+0000

Sorry, I know that LTL2BA4JOSGi is a mouthful. It is not all my fault. Someone wrote a tool called ltl2ba for translating LTL formulae to Buchi automata. They implemented it in C. Someone else took this and constructed a JNI for it called LTL2BA4J . I used this in my model checker but I found I needed to make changes to load the native C library. I decided to go all the way and turn it into an OSGi bundle. This allows the OSGi framework to resolve the library to use and allows the model checker to declare... read more