Class hierarchy composition aims at constructing software systems by composing a set of class hierarchies into an executable system. Current composition algorithms cannot provide semantic guarantees. We present a composition algorithm, together with an interference criterion and its correctness proof, which guarantees that behavior of the original hierarchies is preserved for interference-free ...

The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orchestrations. In this paper an ontology for executable BPEL processes is presented, which reflects both the natural language description and the syntax given in the specification. The ontology makes BPEL process models accessibl...

The Web Services Modelling Framework (WSMF) and the Web Services Modelling Ontology (WSMO) provide a unique, highly innovative perspective onto Semantic Web and Web Service technologies. We present in this paper the SWWS Studio – a prototype that supports and elaborates that perspective, making the technology easy to use and transparent for the end user. At present the SWWS Studio is comprised ...

In Construction Morphology (CM), a compound is treated as a construction at the word level with a systematic correlation between its form and meaning, in the sense that any change in the form is accompanied by a change in the meaning. Compound words are coined by compounding templates which are called abstract schemas in CM. These abstract constructional schemas generalize over sets of existing...

In complex distributed environments, it is important to achieve high degree of machine-to-machine interaction, not only on a functional, but on a semantic level. Therefore, we propose the NOMADS (Networks of Mobile Adaptive Dependable Systems) Republic, a vision of the future community open to all interested hardware and software entities, and based on adaptive and, if necessary, composable ser...

Advances in Semantic Web and Ontologies have pushed the role of semantics to a new frontier: Semantic Composition of Web Services. A good example of such compositions is the querying of multiple bioinformatics data sources. Supporting effective querying over a large collection of bioinformatics data sources presents a number of unique challenges. First, queries over bioinformatics data sources ...

This paper presents a technique called generic composition to provide a uniform basis for modal operators, sequential composition, different kinds of parallel compositions and various healthiness conditions appearing in a variety of semantic theories. The weak inverse of generic composition is defined. A completeness theorem shows that any predicate can be written in terms of generic compositio...

We are developing a framework for interactive composition of services that assists users in sketching their requirements by analyzing the semantic description of the services. We are applying this framework to compose end-to-end simulations for earthquake scientists. We describe the requirements that an interactive framework poses to the representation of the services, and how the representatio...