Modeling and Analysis of Data Dependencies in Business Process for Data-Intensive Services

With the growing popularity of data-intensive services on the Internet, the traditional process-centric model for business process meets challenges due to the lack of abilities to describe data semantics and dependencies, resulting in the inflexibility of the design and implement for the processes. This paper proposes a novel data-aware business process model which is able to describe both explicit control flow and implicit data flow. Data model with dependencies which are formulated by Linear-time Temporal Logic(LTL) is presented, and their satisfiability is validated by an automaton-based model checking algorithm. Data dependencies are fully considered in modeling phase, which helps to improve the efficiency and reliability of programming during developing phase. Finally, a prototype system based on j BPM for data-aware workflow is designed using such model, and has been deployed to Beijing Kingfore heating management system to validate the flexibility, efficacy and convenience of our approach for massive coding and large-scale system management in reality.

Analysis and Related Suggestions on the Whole Process Engineering Consulting Service Mode at Home and Abroad

This paper first introduces the basic connotation of China’s whole-process engineering consulting.Immediately,analyze the organization model,service procurement model and charging standards of foreign whole-process engineering consulting(international terminology full-life cycle engineering consultant).Second,discuss the government’s role in the development of engineering consulting from two aspects:service management and market access.Finally,combined with the above analysis,the specific problems faced in the implementation process of the whole process engineering consulting are compared.Provide relevant suggestions on how companies and individuals respond to industry development trends.

National Forest Inventories capture the multifunctionality of managed forests in Germany

Background:Forests perform various important ecosystem functions that contribute to ecosystem services.In many parts of the world,forest management has shifted from a focus on timber production to multi-purpose forestry,combining timber production with the supply of other forest ecosystem services.However,it is unclear which forest types provide which ecosystem services and to what extent forests primarily managed for timber already supply multiple ecosystem services.Based on a comprehensive dataset collected across 150 forest plots in three regions differing in management intensity and species composition,we develop models to predict the potential supply of 13 ecosystem services.We use those models to assess the level of multifunctionality of managed forests at the national level using national forest inventory data.Results:Looking at the potential supply of ecosystem services,we found trade-offs(e.g.between both bark beetle control or dung decomposition and both productivity or soil carbon stocks)as well as synergies(e.g.for temperature regulation,carbon storage and culturally interesting plants)across the 53 most dominant forest types in Germany.No single forest type provided all ecosystem services equally.Some ecosystem services showed comparable levels across forest types(e.g.decomposition or richness of saprotrophs),while others varied strongly,depending on forest structural attributes(e.g.phosphorous availability or cover of edible plants)or tree species composition(e.g.potential nitrification activity).Variability in potential supply of ecosystem services was only to a lesser extent driven by environmental conditions.However,the geographic variation in ecosystem function supply across Germany was closely linked with the distribution of main tree species.Conclusions:Our results show that forest multifunctionality is limited to subsets of ecosystem services.The importance of tree species composition highlights that a lack of multifunctionality at the stand level can be compensated by managing forests at the landscape level,when stands of complementary forest types are combined.These results imply that multi-purpose forestry should be based on a variety of forest types requiring coordinated planning across larger spatial scales.

A Formal Model for BPEL4WS Description of Web Service Composition

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.

Enhancing the OGC WPS interface with GeoPipes support for real-time geoprocessing

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.

SINGLE SERVER QUEUES WITH A BATCH MARKOVIAN ARRIVAL PROCESS AND BULK RENEWAL OR NON-RENEWAL SERVICE

We first consider an infinite-buffer single server queue where arrivals occur according to a batch Markovian arrival process （BMAP）. The server serves customers in batches of maximum size ＇b＇ with a minimum threshold size ＇a＇. The service time of each batch follows general distribution independent of each other as well as the arrival process. The proposed analysis is based on the use of matrix-analytic procedure to obtain queue-length distribution at a post-departure epoch. Next we obtain queue-length distributions at various other epochs such as, pre-arrival, arbitrary and pre-service using relations with post-departure epoch. Later we also obtain the system-length distributions at post-departure and arbitrary epochs using queue-length distribution at post-departure epoch. Some important performance measures, like mean queue-lengths and mean waiting times have been obtained Total expected cost function per trait time is also derived to determine the locally optimal values of a and b. Secondly, we perform similar analysis for the corresponding infinite-buffer single server queue where arrivals occur according to a BMAP and service process in this case follows a non-renewal one, namely, Markovian service process （MSP）.