Past, present and future of information and knowledge sharing in the construction industry: Towards semantic service-based e-construction

The paper reviews product data technology initiatives in the construction sector and provides a synthesis of related ICT industry needs. A comparison between (a) the data centric characteristics of Product Data Technology (PDT) and (b) ontology with a focus on semantics, is given, highlighting the pros and cons of each approach. The paper advocates the migration from data-centric application integration to ontology-based business process support, and proposes inter-enterprise collaboration architectures and frameworks based on semantic services, underpinned by ontology-based knowledge structures. The paper discusses the main reasons behind the low industry take up of product data technology, and proposes a preliminary roadmap for the wide industry diffusion of the proposed approach. In this respect, the paper stresses the value of adopting alliance-based modes of operation

Issues about the Adoption of Formal Methods for Dependable Composition of Web Services

Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B applications. While current studies on these topics are mostly focused - from the technical viewpoint - on standards and protocols, this paper investigates the adoption of formal methods, especially for composition. We logically classify and analyze three different (but interconnected) kinds of important issues towards this goal, namely foundations, verification and extensions. The aim of this work is to individuate the proper questions on the adoption of formal methods for dependable composition of Web Services, not necessarily to find the optimal answers. Nevertheless, we still try to propose some tentative answers based on our proposal for a composition calculus, which we hope can animate a proper discussion

Emerging Perspectives on Self Service Technologies in Retail Banking

This paper attempts to critically examine the available literature on the subject, discuss a model that provides a managerial framework for analyzing the variables associated with customer value, and to identify potential research areas. The discussion draws conceptual impetus from new technologies in banking services through self service technologies in banking as a tool for optimizing profit. The discussion in the paper also analyzes the main criteria for successful internet-banking strategy and brings out benefits of e-banking from the point of view of banks, their technology and customer values and tentatively concludes that there is increasing returns to scale in the bank services in relation to the banking products, new technology and customer value.Self service technology, retail banking, customer value, profit optimization

Approach towards an operational tool to apply institutional analysis for the assessment of policy feasibility within SEAMLESS-IF

Environmental Economics and Policy,

Incompatibility, Product Attributes and Consumer Welfare: Evidence from ATMs

Incompatibility in market with network effects reduces consumers? ability to ?mix and match? components offered by different sellers, but can also spur changes in product attributes that might beneÞt consumers. In this paper, we estimate the effects of incompatibility on consumers in a classic hardware/software market: ATM cards and machines. We Þnd that while ATM fees ceteris paribus reduce the network beneÞt from other banks? ATMs, a surge in ATM deployment accompanies the shift to surcharging. This is valuable to consumers and often completely offsets the harm from higher fees. The results suggest that policy discussions of incompatibility must consider not only its direct effect on consumers, but also its effect on product attributes.ATMs, incompatibility, compatibility, discrete choice, network effects, demand estimation

Compatibility and pricing with indirect network effects: evidence from ATMs

Incompatibility in markets with indirect network effects can reduce consumers’ willingness to pay if they value “mix and match” combinations of complementary network components. For integrated firms selling complementary components, incompatibility should also strengthen the demand-side link between components. In this paper, we examine the effects of incompatibility using data from a classic market with indirect network effects: Automated Teller Machines (ATMs). Our sample covers a period during which higher ATM fees increased incompatibility between ATM cards and other banks’ ATM machines. We find that incompatibility led to lower willingness to pay for deposit accounts. We also find that incompatibility benefited firms with large ATM fleets.Automated tellers

Reasoning About a Service-oriented Programming Paradigm

This paper is about a new way for programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for programming services. Both the theoretical formalization and the language interpreter showed us the evidence that a new programming paradigm exists. In this paper we illustrate the basic features it is characterized by

A Service-Based Component Model: Formalism, Analysis and Mechanization

Component-Based Software Engineering (CBSE) is one of the approaches to master the development of large scale software. In this setting, the verification concern is still a challenge. The objective of our work is to provide the designer of components-based systems with the methods to assist his/her use of the components. In particular, the current work adresses the composability of components and their services. A component model is presented, based on services. An associated simple but expressive formalism is introduced; it describes the services as extended LTS and their structuring as components. The composition of components is mainly based on service composition and encapsulation. The composability of component is defined from the composability of services. To ensure the correctness of component composition, we check that an assembly is possible via the checking of the composabiblity of the linked services, and their behavioral compatibility. In order to mechanize our approach, the services and the components are translated into the MEC and LOTOS formalism. Finally the MEC and LOTOS CADP toolbox is used to perform experiments