Compas

Ziele


The COMPAS project will design and implement novel models, languages, and an architectural framwork including required software components and services to ensure dynamic and on-going compliance of software services to business regulations and the stated user service-requirements. This is achieved using the model-driven software development (MDSD) approach to enable organizations developing custom business compliance solutions faster, cheaper, and with less required programming skills.

We devise a "design-for-compliance" technology framework wich will be used to ensure compliant composition of business processes and services and that will allow specification, validation and enforcement of comprehensive compliance policies related to these processes and services. To provide a framework for satisfying compliance concerns pertaining service composition and permit re-use of this, we will enhance business process languagues, such as (but not limited to) the Business Process Execution Language (BPEL), with enforceable compliance concepts and policies. Furthermore, we will develop specification languages and models for expressing typical compliance concerns.

A formally grounded and implemented behaviourial model for services and service composition will be provided enabling the formal validation of compliance of composed services to the behaviour and process constraints specifications. With our contributions, compliance concerns can be checked statically as well as dynamically. Finally, we will develop monitoring and management tools for tracking and validating those compliance concerns that can only be verified at runtime, thus enabling governance of compliance concerns. These tools will be complemented with reasoning and mining tooling that will help to "discover" compliant instances services and processes. COMPAS is a NESSI Project and plans standardization of some parts of its contributions.

Europäische Partner

  • Technische Universitaet Wien (Austria)
  • Stichting Centrum voor Wiskunde en Informatica (Netherlands)
  • Université Claude Bernard Lyon 1 (France)
  • Universitaet Stuttgart (Germany)
  • Stichting Katholieke Universiteit Brabant (Netherlands)
  • Universita degli Studi di Trento (Italy)
  • Apera sp. z o.o. (Poland)
  • Thales Services SAS (France)
  • Pricewaterhousecoopers Accountants N.V. (Netherlands)