A formal object-oriented approach to defining consistency constraints for UML models

We discuss how integrity consistency constraints between different UML models can be precisely defined at a language level. In doing so, we introduce a formal object-oriented metamodeling approach. In the approach, integrity consistency constraints between UML models are defined in terms of invariants of the UML model elements used to define the models at the language-level. Adopting a formal approach, constraints are formally defined using Object-Z. We demonstrate how integrity consistency constraints for UML models can be precisely defined at the language-level and once completed, the formal description of the consistency constraints will be a precise reference of checking consistency of UML models as well as for tool development.

Eigenvalues of Casimir invariants for Uq[osp(m|n)]

For each quantum superalgebra U-q[osp(m parallel to n)] with m > 2, an infinite family of Casimir invariants is constructed. This is achieved by using an explicit form for the Lax operator. The eigenvalue of each Casimir invariant on an arbitrary irreducible highest weight module is also calculated. (c) 2005 American Institute of Physics.

Kurturawniaiwak (Badu) and the archaeology of villages in Torres Strait.

Despite more than 30 years of archaeological research, not a single detailed site report has ever been published for a village site in Torres Strait. This paper presents the results of small-scale excavations at the 700 year old village of Kurturniaiwak on Badu island in mid-western Torres Strait. It represents the first in an ongoing series of systematic excavations of village sites in this part of Torres Strait. Initial results support conclusions of major socio-cultural change for the region as recently proposed by McNiven, and indicate that a major reconfiguration of settlement-subsistence-ritual systems probably took place in western Torres Strait sometime between 600 and 800 years ago.