Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns

We present work concerning the formal specification of business processes. It is of substantial benefit to be able to pin down the meaning of business processes precisely. This is an end in itself, but we are also concerned to do so in order that we might prove properties about the business processes that are being specified. It is a notable characteristic of most languages for representing business processes that they lack a robust semantics, and a notable characteristic of most commercial Business Process Management products that they have no support for verification of business process models. We define a high-level meta-model, called Liesbet , for representing business processes. The ontological commitments for Liesbet are sourced from the YAWL workflow patterns, which have been defined from studies into the behavioural nature of business processes. A formal characterisation of Liesbet is provided using Milner’s Calculus of Communicating Systems (CCS). In this article, we omit some of the technical details of this characterisation and instead present the essential features by means of an abstract machine language, called LCCS. We also explain how we have facilitated the verification of certain properties of business processes specified in Liesbet , and discuss how Liesbet supports the YAWL workflow patterns. We include a simple three-part example of using Liesbet .     

Size matters: entrepreneurial entry and government

We explore the country-specific institutional characteristics likely to influence an individual’s decision to become an entrepreneur. We focus on the size of the government, on freedom from corruption and on “market freedom” defined as a cluster of variables related to protection of property rights and regulation. We test these relationships by combining country-level institutional indicators for 47 countries with working-age population survey data taken from the Global Entrepreneurship Monitor. Our results indicate that entrepreneurial entry is inversely related to the size of the government, and more weakly to the extent of corruption. A cluster of institutional indicators representing “market freedom” is only significant in some specifications. Freedom from corruption is significantly related to entrepreneurial entry, especially when the richest countries are removed from the sample, but unlike the size of government, the results on corruption are not confirmed by country-level fixed-effects models.     

Non-market valuation of forest goods and services: Good practice guidelines

The European COST Action E45 on European Forest Externalities (EUROFOREX) participants developed a set of good practice guidelines for the non-market valuation of forests, elaborating on stated and revealed preference methodologies, as well as benefit transfer and meta-analytical procedures. This article presents a summary of the guidelines.     

Insurance Protection Funds in the European Union—Quo Vadis?

Contrary to the development in other major insurance markets in the world only 13 out of 27 EU member states have introduced until now some type of insurance protection funds (IPF). As a result around a third of the market is without any collective protection. There is also a continuous debate since 2001 among the member states on the need for such a system at the community level. The experiences of the latest financial crisis have raised new arguments for reorganizing the existing system to avoid regulatory arbitrage and to strengthen consumer security. Even the prospective implementation of provisions strengthening supervisory bodies, and the new solvency directive (so‐called Solvency II) are not fail‐safe solutions. This article is an attempt to review the current situation as regards IPF in the EU and to discuss possible development scenarios.     

Mean-Variance Optimal Reinsurance Arrangements

Reinsurance reduces the risk but it also reduces the potential profit. The aim of the paper is to derive optimal, from the cedent's point of view, reinsurance arrangements balancing the risk measured by variance and expected profits under various mean-variance premium principles of the reinsurer. We find that quota share, excess of loss or combinations of excess of loss with quota share are the optimal rules according to a fixed expected gain of the cedent     

Enrolment in higher education in The Netherlands

Summary In this paper we investigate the determinants of higher education enrolment in The Netherlands and estimate three different economic models referring to investment motives, consumption motives, and a combination of these two. By estimating these models for different years (1982 and 1991) we identify changes over time. The importance of financial variables appears to be vanishing. Moreover, we find that enrolment is no longer related to ability variables. We offer explanations for these findings. Finally, we employ the results to simulate some policy measures.     

THE EARLY EXERCISE PREMIUM REPRESENTATION OF FOREIGN MARKET AMERICAN OPTIONS1

The note deals with the pricing of American options related to foreign market equities. the form of the early exercise premium representation of the American option's price in a stochastic interest rate economy is established. Subsequently, the American fixed exchange rate foreign equity option and the American equity-linked foreign exchange option are studied in detail.     

Towards a New Eastern Enlargement of the EU and Beyond

Intereconomics - It is not the first time in EU history that the enlargement perspective is confronted with the need for integration deepening.