On compliance of business processes with business contracts

This paper addresses the problem of ensuring compliance of business processes, implemented within and across organisational boundaries, with the constraints stated in related business contracts. In order to deal with the complexity of this problem we propose two solutions that allow for a systematic and increasingly automated support for addressing two specific compliance issues. One solution provides a set of guidelines for progressively transforming contract conditions into business processes that are consistent with contract conditions thus avoiding violation of the rules in contract. Another solution compares rules in business contracts and rules in business processes to check for possible inconsistencies. Both approaches rely on a computer interpretable representation of contract conditions that embodies contract semantics. This semantics is described in terms of a logic based formalism allowing for the description of obligations, prohibitions, permissions and violations conditions in contracts. This semantics was based on an analysis of typical building blocks of many commercial, financial and government contracts. The study proved that our contract formalism provides a good foundation for describing key types of conditions in contracts, and has also given several insights into valuable transformation techniques and formalisms needed to establish better alignment between these two, traditionally separate areas of research and endeavour. The study also revealed a number of new areas of research, some of which we intend to address in near future.

Interior under construction, Carpenter Hall house, Wilston, Brisbane

View to upper tower from lower section of house.

Interior under construction, Carpenter Hall house, Wilston, Brisbane

Triangular window openings to upper section of house.

Interior under construction, Carpenter Hall house, Wilston, Brisbane

Timber structure to upper floors, as seen from interior.

Under construction, PNG Coffee Industry Board Office and Warehouse, Goroka

View of post being hoisted into position during construction.

Northern entrance court under construction, Sunshine Coast University Library, Maroochydore

View to library entrance court under construction.

On the construction of nearest neighbour balanced row-column designs

Nearest–neighbour balance is considered a desirable property for an experiment to possess in situations where experimental units are influenced by their neighbours. This paper introduces a measure of the degree of nearest–neighbour balance of a design. The measure is used in an algorithm which generates nearest–neighbour balanced designs and is readily modified to obtain designs with various types of nearest–neighbour balance. Nearest–neighbour balanced designs are produced for a wide class of parameter settings, and in particular for those settings for which such designs cannot be found by existing direct combinatorial methods. In addition, designs with unequal row and column sizes, and designs with border plots are constructed using the approach presented here.

A unified and complete construction of all finite dimensional irreducible representations of gl(2|2)

Representations of the non-semisimple superalgebra gl(2/2) in the standard basis are investigated by means of the vector coherent state method and boson-fermion realization. All finite-dimensional irreducible typical and atypical representations and lowest weight (indecomposable) Kac modules of gl(2/2) are constructed explicity through the explicit construction of all gl(2) circle plus gl(2) particle states (multiplets) in terms of boson and fermion creation operators in the super-Fock space. This gives a unified and complete treatment of finite-dimensional representations of gl(2/2) in explicit form, essential for the construction of primary fields of the corresponding current superalgebra at arbitrary level.

International tourists and road safety in Australia: developing a national research and management programme

Motor vehicle crashes are the leading cause of injury death for international tourists. This makes road safety an important issue for tourism authorities. Unfortunately, as it is in other areas of tourist health, the common response from the travel and tourism industry is to remain silent about this problem and to leave any mishaps in the hands of insurers. At the same time, but for different reasons, international tourists are not usually targeted for road safety initiatives by transport authorities. Given that there are considerable 'hidden' costs associated with international tourists and motor vehicle crashes, the topic should be of concern to both tourism and transport groups. This paper examines issues concerned with driving in unfamiliar surroundings for international visitors in Australia, and proposes a national research and management programme to guide policy and planning in the area. (C) 1999 Elsevier Science Ltd. All rights reserved.

Protein fold recognition score functions: Unusual construction strategies

We describe two ways of optimizing score functions for protein sequence to structure threading. The first method adjusts parameters to improve sequence to structure alignment. The second adjusts parameters so as to improve a score function's ability to rank alignments calculated in the first score function. Unlike those functions known as knowledge-based force fields, the resulting parameter sets do not rely on Boltzmann statistics, have no claim to representing free energies and are purely constructions for recognizing protein folds. The methods give a small improvement, but suggest that functions can be profitably optimized for very specific aspects of protein fold recognition, Proteins 1999;36:454-461. (C) 1999 Wiley-Liss, Inc.