The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
OWL-S is an ontology that provides the necessary vocabulary for describing various components of Web services so that automated discovery, composition and invocation of Web services can be made possible. The main component, the process model, describes the interaction protocol between a Web service and its clients. Such protocol includes not only the inputs, outputs, preconditions and results of the...
In a service-oriented geoscientific research environment, individual geospatial services must be chained together as Web geoprocessing workflows to solve a complex geoscientific problem. The development of Web geoprocessing workflows can be divided into three phases: process modeling, process model instantiation, workflow execution. Provenance, or called lineage, records the derivation history of...
We propose an RDF-based user interface language called RaUL and a RESTful service called ActiveRaUL that interprets the language and produces XHTML+RDFa in return. The RaUL markup language separates the purpose (data publishing) of a Semantic Web form from its presentation. ActiveRaUL operates and generates RaUL markup, that separates the control elements on a Web form from the data that the form...
In this paper, A production environment monitoring system based on GPRS-Internet was designed and implemented. The system uses ARM9 embedded CPU as its host and realizes monitoring function and man-machine interface by using cross-platform C++ graphic interface library Qt in Linux OS. It sends collected data to remote server by GPRS model and clients realize real-time and long distance monitoring...
The current workflow nets models of WS-BPEL are feature completed, but almost all of them lack data information, so they cannot be used to detect the data access exception in WS-BPEL. In order to overcome this shortcoming, this paper presents a new type of Petri nets-DWFN(Data workflow nets), which makes the data flow modeling and exceptions detection of WS-BPEL possible. Then the DWFN model of corresponding...
Along with web service composition becomes more and more complexity, design of composition process becomes more and more error-prone. In this article we put forward a WSC_ECPN model for web service composition description based on extended colored Petri net. This model is independent of any concrete process description languages, supports process description and can describe composition process more...
Web services composition design, verification and monitoring are active and widely studied research directions. Little work however has been done in integrating these related dimensions using a unified formalism. In this paper we propose a declarative event-oriented framework, called DISC, that serves as a unified framework to bridge the gap between the process design, verification and monitoring...
This paper investigates an executable concurrent model for OWL-S process models. To this end, a concurrent temporal logic programming language, Framed Temporal Logic Programming Language (FTLL), and OWL-S process models are briefly introduced. Further, the computational model, Kripke Transition System (KTS), is inductively defined for processes of OWL-S. Moreover, an algorithm K-F is formalized to...
When two Web services work together, they exchange messages in a predefined interface process. Two interface processes should be compatible when they can work properly. Our idea to fix incompatibility problem in service processes is to change an incompatible process so that the new process can simulate a compatible process. We consider not only the control flow but also the data flow in modeling the...
Remote control over the internet is generating significant research interest, of which a major research challenge is the generation of Web User Interface (WUI) according to individual user's specific requirements, for example different users have an interest in monitoring and controlling different machines. Furthermore, the same user may also be interested in different machines in different sessions...
Web service is a distributed application. The purpose of web service is to achieve reuse of program cross-platform applications. In this paper, we present a kind of architecture of online examination system based on technology of web service and COM components, and put forward an implementation of the system.
To analyze model of Web services composition, firstly analyze and abstract dataflow and control construct in OWL-S process to build high level Petri net model, then describe Petri net in Poses++ language, at last simulate Petri net with Poses++ to check data type and deadlock and calculate service performance. The experiment shows that this model analyzing method is able to accomplish type checking...
In order to ensure the correctness and reliability of Web services composition based on OWL-S, verify the interaction protocol of Web services. It is provided that three lay architecture. Composition service based on OWL-S, GA model is the middle model and the Promela model is the verification model, SPIN as a model validator. The OWL-S composition Web services transform a top-down conversation protocol...
With the rapid expanse of the web service over the internet, discovering relevant web services becomes a significant challenge. To tackle this problem, a service-discovering framework based on behavioral equivalence is proposed in this paper. First, pi-calculus as a formal tool is adopted to express service behavior, including the published services and the query services. Then, the reverse engineering...
Service level agreements (SLAs) impose many non-functional requirements on services. Business analysts specify and check these requirements in business process models using tools such as IBM WebSphere Business Modeler. System integrators on the other hand use service composition tools such as IBM WebSphere Integration Developer to create service composition models, which specify the integration of...
In this paper we report on our work towards a novel system that aims at the combination of classical failure handling methods for composite service execution and support for automatic handling of semantic application level failures. In particular, we formulate the notion of Control Flow Intervention; a generalization for handling those two types of failure categories. When combined with automatic...
With the development of Web services and service-oriented architecture (SOA), Web services has become the primary method to implement geospatial information sharing and interoperability, besides, geospatial information processing modeling basing on Web service compositions is one of the research hotspots. The data-centered procedure of geospatial information processing describes the steps of data...
Today's focus is tied to the introduction of XML and Web services and Business Process Management. But to design large and complex business processes requires a language that supports modularization and reuse in a portable manner. This paper outlines an extension to BPML that allows for the definition of sub-processes that can be reused by the BPML process. This paper describes the different kinds...
In order to realization electronic parts product appearance quality detection control, one kind of processor based on the intelligent knowledge automatic extraction and system intelligence modeling was presented. In the processor, wavelet-fuzzy technique and neural network technique are combined. Uses the fuzzy wavelet extraction image feature, and wavelet function is used as fuzzy membership function...
This paper describes a benchmarking workload model for business process execution language (BPEL) engines for Web services. The proposed model is based on simulation of real world traffic conditions by defining a set of requirements which best characterize the end-users. The performance characteristics are evaluated on top of collected measurements such as success/fail rate, response times or round-trip...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.