modelling Using Alloy for lightweight modelling. UML2 using bouml keys database of filepaths database of keys