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.

Translating business contract constraints into compliant business processes

This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with contract. This is a progressive refinement using logic-based formalism to capture contract semantics and to serve as an intermediate step for transformation. Particular value of this approach is for those organisations that consider moving towards new approaches to enterprise contract management and applying them to their future contracts.