SWAT4LS2009 – A.L. Lamprecht: Semantics-Based Composition of EMBOSS Services with Bio-jETI
November 20, 2009 Leave a comment
Bio-jETI: framework for model-based graphical design execution and management of bioinformatics processes
PROPHETS Plugin: visual semantic domain modeling, lose specification within the process model, non-formal specification of constrains using natural language templates, automatic generation of model checking formulae.