作者: Anna-Lena Lamprecht , Tiziana Margaria , Bernhard Steffen
DOI: 10.1186/1471-2105-10-S10-S8
关键词:
摘要: The development of bioinformatics databases, algorithms, and tools throughout the last years has lead to a highly distributed world services. Without adequate management support, in silico researchers are hardly able exploit potential building complex, specialized analysis processes from these Semantic Web aims at thoroughly equipping individual data services with machine-processable meta-information, while workflow systems support construction service compositions. However, even this combination, currently would have deal manually interfaces, adequacy semantic annotations, type incompatibilities, consistency In paper, we demonstrate by means two examples how technology together an domain modelling frees dealing types, inconsistencies. Bio-jETI, can be graphically combined complex without worrying about details their interfaces or mismatches composition. These issues taken care level Bio-jETI's model checking synthesis features. Whenever possible, they automatically resolve considered setting. Otherwise, indicate impossible/incorrect combinations. latter case, developer may either modify his composition using semantically similar services, ask for help developing missing mediator that correctly bridges detected gap. Newly developed mediators should then adequately annotated semantically, added library later reuse situations. We show power annotations modelled enabled Using methods, users orchestrate wealth heterogeneous (type) consistency. success method strongly depends on careful annotation provided its consequent exploitation analysis, validation, synthesis. convinced will become standard, as preconditions widespread use (preferred) Web.