Bio-jETI: a framework for semantics-based service composition

作者: 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.

参考文章(51)
Tiziana Margaria, Bernhard Steffen, Clemens D. Renner, Marco Bakera, Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA. pp. 85- 97 ,(2007)
Tiziana Margaria, Marco Bakera, Harald Raffelt, Bernhard Steffen, Synthesizing the Mediator with jABC/ABC. EON. ,(2008)
Christian Kubczak, Tiziana Margaria, Matthias Kaiser, Bjoern Knuth, Jens Lemcke, Abductive Synthesis of the Mediator Scenario with jABC and GEM. EON. ,(2008)
Ulrich Zukowski, Tiziana Margaria, Bernhard Steffen, Burkhard Freitag, An Approach to Intelligent Software Library Management database systems for advanced applications. pp. 71- 78 ,(1995)
Ian Taylor, Matthew Shields, Ian Wang, Andrew Harrison, The Triana Workflow Environment: Architecture and Applications Workflows for e-Science, Scientific Workflows for Grids. pp. 320- 339 ,(2007) , 10.1007/978-1-84628-757-2_20
Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger, MOSEL: A FLexible Toolset for Monadic Second-Order Logic tools and algorithms for construction and analysis of systems. pp. 183- 202 ,(1997) , 10.1007/BFB0035388
Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)
Bernhard Steffen, Data Flow Analysis as Model Checking international conference on theoretical aspects of computer software. pp. 346- 365 ,(1991) , 10.1007/3-540-54415-1_54
David Schmidt, Bernhard Steffen, Program Analysis as Model Checking of Abstract Interpretations static analysis symposium. pp. 351- 380 ,(1998) , 10.1007/3-540-49727-7_22