Background: More than in other domains the heterogeneous services world in bioinformatics demands for a methodology to classify and relate resources in a both human and machine accessible manner. The Semantic Web, whi...
详细信息
Background: More than in other domains the heterogeneous services world in bioinformatics demands for a methodology to classify and relate resources in a both human and machine accessible manner. The Semantic Web, which is meant to address exactly this challenge, is currently one of the most ambitious projects in computer science. Collective efforts within the community have already led to a basis of standards for semantic service descriptions and meta-information. In combination with process synthesis and planning methods, such knowledge about types and services can facilitate the automatic composition of workflows for particular research questions. Results: In this study we apply the synthesis methodology that is available in the Bio-jETI workflow management framework for the semantics-based composition of EMBOSS services. EMBOSS (European Molecular Biology Open Software Suite) is a collection of 350 tools (March 2010) for various sequence analysis tasks, and thus a rich source of services and types that imply comprehensive domain models for planning and synthesis approaches. We use and compare two different setups of our EMBOSS synthesis domain: 1) a manually defined domain setup where an intuitive, high-level, semantically meaningful nomenclature is applied to describe the input/output behavior of the single EMBOSS tools and their classifications, and 2) a domain setup where this information has been automatically derived from the EMBOSS Ajax Command Definition (ACD) files and the EMBRACE Data and Methods ontology (EDAM). Our experiments demonstrate that these domain models in combination with our synthesis methodology greatly simplify working with the large, heterogeneous, and hence manually intractable EMBOSS collection. However, they also show that with the information that can be derived from the (current) ACD files and EDAM ontology alone, some essential connections between services can not be recognized. Conclusions: Our results show that adequate domain m
Language-Driven Engineering (LDE) is a new paradigm that aims at involving stakeholders, including the application experts, in the system development and evolution process using dedicated domains-specific languages (D...
详细信息
When using today's admission control systems some kind of interaction is generally required. That is because the system needs something to check a person's identity before it allows access. Often the system wi...
详细信息
When using today's admission control systems some kind of interaction is generally required. That is because the system needs something to check a person's identity before it allows access. Often the system will ask for a pin or a password. For many people these interactions are a problem as they might be unable interact with the system in the required way due to impairments. This can be caused by a disease such as Parkinson's or Alzheimer's or they might be unable to use their hands for other reasons. In hospitals, retirement homes or assisted living communities many people would benefit from a contactless admission control system. We propose a system that recognizes human identities from continuous geometrical features that were estimated using the Kinect 2. Those include the distance between the eyes and the estimated height of a person. A Bayesian Classifier for continuous features is used to predict people's identities. The preliminary recognition results suggest that the proposed geometrical features can contribute to reliable admission control. This work was supported by SysTeam GmbH Dortmund, Germany.
In this paper, we leverage service-orientation as a means for combining the strengths of the UML-based code generator framework AndroMDA for generating static application aspects with code generators focussing on the ...
详细信息
In this paper, we leverage service-orientation as a means for combining the strengths of the UML-based code generator framework AndroMDA for generating static application aspects with code generators focussing on the dynamic aspects. The latter are developed with Genesys, a code generation framework that combines the ideas of model-driven development and service-orientation in order to enable a high-level engineering of code generators. This demonstrates a new level of reusability and even has the potential for full code generation, which elegantly eliminates the need for the typical round-trip engineering in model-driven development environments. We demonstrate the applicability of our approach by means of an example from the field of bioinformatics.
PROPHETS is our flexible framework for the synthesis of processes from libraries of basic services. In this paper we demonstrate how its synthesis strategy can be tailored to the considered application domain. For thi...
详细信息
PROPHETS is our flexible framework for the synthesis of processes from libraries of basic services. In this paper we demonstrate how its synthesis strategy can be tailored to the considered application domain. For this purpose, PROPHETS provides a number of configuration options, such as different data exchange formats (e.g. shared variables and pipe lining) for the resulting process, as well as structural and temporal logic constraints for minimizing the inherent search space. We illustrate the impact of adequate synthesis tailoring by contrasting two real-life case studies with diametric characteristics.
Random Forests are one of the most popular classifiers in machine learning. The larger they are, the more precise is the outcome of their predictions. However, this comes at a cost: their running time for classificati...
详细信息
Summary form only given. The panel moderated by Bernhard Steffen (University of Dortmund) reviews this development, discusses the perspectives, and establishes recommendations for future directions of software enginee...
详细信息
Summary form only given. The panel moderated by Bernhard Steffen (University of Dortmund) reviews this development, discusses the perspectives, and establishes recommendations for future directions of software engineering, and, in particular, for the future role of formal methods in this area.
This paper shows how the reflexivity of Ecore can be exploited for incrementally bootstrapping domain-specific code generators in the model-driven and service-oriented code generation framework Genesys. Key to this te...
详细信息
This paper shows how the reflexivity of Ecore can be exploited for incrementally bootstrapping domain-specific code generators in the model-driven and service-oriented code generation framework Genesys. Key to this technology is the EMF SIB Generator, which, based on a very small set of manually written code generator services called SIBs, incrementally generates services in a bootstrapping fashion. To this end, it leverages Ecore's metamodel, which is specified in Ecore itself, to iteratively enlarge the set of SIBs until all concepts of Ecore are covered. On this basis, the EMF SIB Generator can then be used to generate all services required for constructing a corresponding code generator for any given metamodel specified in Ecore. This approach can be staightforwardly applied to arbitrary metalevels and elegantly enables the model-driven and service-oriented construction of code generators for Ecore-based domain-specific languages.
暂无评论