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.

Hydrostability and Scaling Up Molecular Sieve Silica (MSS) Membranes for H2/CO Separation in Fuel Cell Systems

MSS membranes are a good candidate for CO cleanup in fuel cell fuel processing systems due to their ability to selectively permeate H2 over CO via molecular sieving. Successfully scaled up tubular membranes were stable under dry conditions to 400°C with H2 permeance as high as 2 x 10-6 mol.m-2.s^-1.Pa^-1 at 200 degrees C and H2/CO selectivity up to 6.4, indicating molecular sieving was the dominant mechanism. A novel carbonised template molecular sieve silica (CTMSS) technology gave the scaled up membranes resilience in hydrothermal conditions up to 400 degrees C in 34% steam and synthetic reformate, which is required for use in fuel cell CO cleanup systems.

La Pointe Saint Mathieu, Brittany, France

The "Pointe Saint Mathieu" is one of the most westerly continental landmarks of France. The promontory is located at the entrance of the "Goulet de la Rade de Brest", that is the entrance channel of the harbour of Brest in Brittany (France). It marks also the Southern end of the "Chenal du Four" that is the main navigation channel between the islands of Ouessant, Molène and Béniquet, and Brittany. The "Chenal du Four" is reputed for its dangers. The tidal range is greater than 7 m in spring tides, and the mid-tide current may exceed 5 knots. The Saint Mathieu promontory is equipped with a lighthouse and a semaphore. The former is located in the ruins of an old monastery, founded during the 6th century AD by Saint Tanguy. The present ruins are the remnants of buildings from the 11th to 15th centuries. The first lighthouse was installed in 1689, although the monks of the monastery used to maintain a signal light since the 1250s. Completed in 1835, the present "Phare de la Pointe Saint-Mathieu" is 37 m high and it reaches 58.8 m above sea level During World War 2, the Pointe Saint Mathieu was defended by a series of concrete fortifications built by the Germans. Some were based upon some earlier French bunker systems, like the coastal battery at the Rospects which included 4 main gun bunkers (4*150 mm, or 2*150 mm & 2*105 mm), an observation bunker on the Western side close to sea, and several smaller structures. There was also the large Kéringar Blockhaus system, near Lochrist, located about 1 km inland and designed for 4 guns of 280 mm. Its command bunker remains a landmark along the main road. All this area was very-heavily bombed between 1943 and 1944, and particularly during the battle of Brest in August-September 1944 ("L'Enfer de Brest").

Rough Notes on Programming AVR Microcontrollers in C

These notes follow on from the material that you studied in CSSE1000 Introduction to Computer Systems. There you studied details of logic gates, binary numbers and instruction set architectures using the Atmel AVR microcontroller family as an example. In your present course (METR2800 Team Project I), you need to get on to designing and building an application which will include such a microcontroller. These notes focus on programming an AVR microcontroller in C and provide a number of example programs to illustrate the use of some of the AVR peripheral devices.

Entrance, Agriculture and Entomology Building, Brisbane

View to entrance.

Stair, Agriculture and Entomology Building, Brisbane

View to circulation stair from exterior.

Entrance, Agriculture and Entomology Building, Brisbane

View to entrance.

Brick detail, Agriculture and Entomology Building, Brisbane

Detailed view of venting in brick work. Bricks used were commons, with prevalent dark blue iron staining.

Door and window detail, Agriculture and Entomology Building, Brisbane

View to side entrance opening and window detail with sliding timber shutters above, from exterior.

Agriculture and Entomology Building, Brisbane

View to north and east facing wings, along circulation path to the roof feature connection between wings.

Windows and venting to elevation, Agriculture and Entomology Building, Brisbane

View to elevation with timber sliding shutters, aluminium double hung sash windows and brick venting.

Agriculture and Entomology Building, Brisbane

View across car park to north-west elevation.

Stair exterior, Agriculture and Entomology Building, Brisbane

View to circulation stair, with venting detail, from exterior.

Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Entangled States and Collective Nonclassical Effects in Two-Atom Systems

We propose a review of recent developments on entanglement and nonclassical effects in collective two-atom systems and present a uniform physical picture of the many predicted phenomena. The collective effects have brought into sharp focus some of the most basic features of quantum theory, such as nonclassical states of light and entangled states of multiatom systems. The entangled states are linear superpositions of the internal states of the system which cannot be separated into product states of the individual atoms. This property is recognized as entirely quantum-mechanical effect and have played a crucial role in many discussions of the nature of quantum measurements and, in particular, in the developments of quantum communications. Much of the fundamental interest in entangled states is connected with its practical application ranging from quantum computation, information processing, cryptography, and interferometry to atomic spectroscopy.