COMPliance-driven models, languages, and Architectures for Services

The Project

The COMPAS project will design and implement novel models, languages, and an architectural framework 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 which will be used to ensure the 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 languages, 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 behavior 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.


European Partners

  • 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)


This image shows Frank Leymann

Frank Leymann

Prof. Dr. Dr. h. c.

Managing Director

To the top of the page