Communicating Sequential Processes （CSP） is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set ...Communicating Sequential Processes （CSP） is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services （BPEL4WS） to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples . The methods for model checking, model verification and model simulation are also introduced.展开更多
Real-time geospatial information is used in various applications such as risk management or alerting services.Especially,the rise of new sensing technologies also increases the demand for processing the data in real t...Real-time geospatial information is used in various applications such as risk management or alerting services.Especially,the rise of new sensing technologies also increases the demand for processing the data in real time.Today’s spatial data infrastructures,however,do not meet the requirements for real-time geoprocessing.The OpenGIS®Web Processing Service(WPS)is not designed to process real-time workflows.It has some major drawbacks in asynchronous processing and cannot handle(geo)data streams out of the box.In previous papers,we introduced the GeoPipes approach to share spatiotemporal data in real time.We implemented the concept extending the Message Queue and Telemetry Transport(MQTT)protocol by a spatial and temporal dimension,which we call GeoMQTT.In this paper,we demonstrate the integration of the GeoPipes idea in the WPS interface to expose standardized real-time geoprocessing services.The proof of the concept is illustrated in some exemplary real-time geo processes.展开更多
基金Supported by the National Natural Science Foun-dation of China(60403027) the Natural Science Foundation of HubeiProvince(2005ABA258) the Open Foundation of State Key La-boratory of Software Engineering (SKLSE05-07)
文摘Communicating Sequential Processes （CSP） is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services （BPEL4WS） to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples . The methods for model checking, model verification and model simulation are also introduced.
文摘Real-time geospatial information is used in various applications such as risk management or alerting services.Especially,the rise of new sensing technologies also increases the demand for processing the data in real time.Today’s spatial data infrastructures,however,do not meet the requirements for real-time geoprocessing.The OpenGIS®Web Processing Service(WPS)is not designed to process real-time workflows.It has some major drawbacks in asynchronous processing and cannot handle(geo)data streams out of the box.In previous papers,we introduced the GeoPipes approach to share spatiotemporal data in real time.We implemented the concept extending the Message Queue and Telemetry Transport(MQTT)protocol by a spatial and temporal dimension,which we call GeoMQTT.In this paper,we demonstrate the integration of the GeoPipes idea in the WPS interface to expose standardized real-time geoprocessing services.The proof of the concept is illustrated in some exemplary real-time geo processes.
