Compliance-driven Models, Languages, and Architectures for Services

01.02.2008 - 31.01.2011
Research funding 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 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 compositions and permit re-use of this, we will enhance business process languages, such as 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 behavioural 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 dynami¬cally. 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.

People

Project leader

Project personnel

Institute

Grant funds

  • European Commission (EU) FP7 I.3 COOPERATION Information and Communication Technologies 7.Rahmenprogramm für Forschung European Commission - Framework Programme European Commission Call identifier FP7-ICT-2007-1 Application number 215175

Research focus

  • Distributed and Parallel Systems: 100%

Keywords

GermanEnglish
Modellgesteuerte EntwicklungModel-driven Development
Service-orientiertes Computingservice-oriented computing
Compliancecompliance

External partner

  • PriceWaterhouseCoopers
  • Stichting Centrum voor Wiskunde en Informatica
  • THALES Services SAS
  • Universita degli Studi di Trento
  • Universite Claude Bernard Lyon
  • APERA SP. Z.O.O.
  • Stichting Katholieke Universiteit Brabant
  • Universität Stuttgart

Publications