Semantic Web service composition is a discovery process in which a given set of requirements are fulfilled by dynamically locating and assembling semantically annotated services [5, 6]. Semantic annotation of Web services is a set of models that describe its properties (e.g., inputs, outputs, process), in a formal language such as OWL-S [2]. These models provide an unambiguous description of se...

In this paper we investigate different technologies to attack the automatic solution of orchestration problems based on synthesis from declarative specifications, a semantically enriched description of the services, and a collection of services available on a testbed. In addition to our previously presented tableaux-based synthesis technology, we consider two structurally rather different appro...

In the current paper we describe how to combine web services and task patterns in a joint infrastructure. The central intention is to make up executable business processes by including generic pattern based web services which establish a relation between the service infrastructure and task management. This approach significantly increases the flexibility of process modeling due to the flexible ...

In graph-based systems there are many methods to compose (possibly different) graphs. However, none of these usual compositions are adequate to naturally express semantics of systems with dynamic topology, i.e., systems whose topology admits successive transformations through its computation. We constructed a categorical semantic domain for graph based systems with dynamic topology using a new ...

This paper introduces a knowledge representation formalism used for annotation of the French MEDIA dialogue corpus in terms of high level semantic structures. The semantic annotation, worked out according to the Berkeley FrameNet paradigm, is incremental and partially automated. We describe an automatic interpretation process for composing semantic structures from basic semantic constituents us...

In today’s Web, Web Services (WSs) are created and updated on the fly Nowadays, for answering complex needs of users, the construction of new web services based on existing ones is required. It has received a great attention from different communities. This problem is known as web services composition. However, it is one of big challenge problems of recent years in a distributed and dynamic env...

Over the past two decades the notion of a strong monad has found wide applicability in computing. Arising out of a need to interpret products in computational and semantic settings, different approaches to this concept have arisen. In this paper we introduce and investigate the connections between these approaches and also relate the results to monad composition. We also introduce new methods f...

The objectives of this experiment were to investigate the application of new ligands including different atoms & evaluation their nucleophile effects against various metals. Chemistry researchers are really interested in this field. From among various ligands, there are some ligands with different coordinating ligands as well. There are great number of intermediate complexes and major elements ...

The objectives of this experiment were to investigate the application of new ligands including different atoms & evaluation their nucleophile effects against various metals. Chemistry researchers are really interested in this field. From among various ligands, there are some ligands with different coordinating ligands as well. There are great number of intermediate complexes and major elements ...