Extension of specification language for soundness and completeness of service workflow

A Service Workflow is an aggregation of distributed services to fulfill specific functionalities. With ever increasing available services, the methodologies for the selections of the services against the given requirements become main research subjects in multiple disciplines. A few of researchers have contributed to the formal specification languages and the methods for model checking; however, existing methods have the difficulties to tackle with the complexity of workflow compositions. In this paper, we propose to formalize the specification language to reduce the complexity of the workflow composition. To this end, we extend a specification language with the consideration of formal logic, so that some effective theorems can be derived for the verification of syntax, semantics, and inference rules in the workflow composition. The logic-based approach automates compliance checking effectively. The Service Workflow Specification (SWSpec) has been extended and formulated, and the soundness, completeness, and consistency of SWSpec applications have been verified; note that a logic-based SWSpec is mandatory for the development of model checking. The application of the proposed SWSpec has been demonstrated by the examples with the addressed soundness, completeness, and consistency.     

生态服务的居民需求与影响因素偏效应测度——以上海市景观河流漕河泾为例

地表水环境生态服务具有公共物品特性,消费者需求信息难以获得,影响资源的有效配置和环境公共政策的科学性.应用意愿价值评估法调查496户居民上海城市景观河流水质改善的支付意愿,通过计量分析揭示影响需求的主要因素,并重点计算收入水平及差距、户籍、收入与户籍交互作用因素的边际影响.结果既符合消费理论的一般预期,也充分反映了我国转型经济阶段的社会特殊性.     

Evaluating the impact of virtualization characteristics on SaaS adoption

Software as a service (SaaS) is a service model in which the applications are accessible from various client devices through internet. Several studies report possible factors driving the adoption of SaaS but none have considered the perception of the SaaS features and the organization’s context. We propose an integrated research model that combines the process virtualization theory (PVT), the technology-organization-environment (TOE) framework and the institutional theory (INT). PVT seeks to explain whether processes are suitable for migration into virtual environments via an information technology-based mechanism as SaaS. The TOE framework seeks to explain the effects of the intra-organizational factors, while INT seeks to explain the effects of the inter-organizational factors on the technology adoption. This research addresses a gap in the SaaS adoption literature by studying the internal perception of the technical features of SaaS and technology, organization, and environment perspectives. Additionally, the integration of PVT, the TOE framework, and INT contributes to the information system (IS) discipline, deepening the applicability and strengths of these theories.     

A measure of regional influence with the analytic network process

The metropolitan region is commonly defined by a socio-spatial network of urban nodes that are linked in territory and function. Such a network is differentiated by size and dominance of the linked nodes, characterized by physical or virtual flows of a wide-ranging variety. The analytic network process (ANP) is a multi-criteria analytic method that measures the influence or dominance of the nodes in a network with feedback. We illustrate how ANP determines county rank as a measure of influence in a metropolitan statistical area (MSA) defined by its interrelated socio-economic and spatial elements qualitatively and quantitatively. We compare the ANP results to similar measures of regional influence in the literature.     

Epidemics,labour markets and unemployment: the impact of SARS on human resource management in the Hong Kong service sector

This article examines the links between epidemics and their economic consequences, specifically in terms of their impacts on labour markets and jobs. To exemplify the above, we examine the effects of SARS (Severe Acute Respiratory Syndrome) on the Hong Kong economy, its labour market and its level of employment and unemployment. The article hypothesizes that the greatest impact would be on human resource management (HRM) in the service industries and on particular sub-sectors, such as the hotel sector. It concludes that the dramatic demand and supply ‘shocks’ significantly affected both the demand for and the supply of labour in the sector, with discernible HRM consequences.