Natallia Kokash

Main menu: Home | Publications | Presentations | Reviews | Gallery

sample header image

Projects: COMPAS

COMPAS (Compliance-driven Models, Languages and Architectures for Services) is a EU funded project which aims at designing and implementing novel models, languages, and architectures inluding required software components and services to ensure dynamic and on-going compliance of software services to business regulations and 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.

My contribution

From April 2008 I am responsible for the work package 3 " Behavioural model for service composition compliance" of the COMPAS project. This work package focuses on the formal specification of business processes and automated analysis of related compliance requirements. More specifically, I coordinate research on translation of business process modeling notations and execution languages (BPMN, UML, BPEL) to Reo coordination language, specification of compliance requirements using mathematical logics and application of model checking tools to verify the validity of these requirements for a particular process.

Within this project, we developed plug-ins for generating process algebra specifications from graphical Reo models and integrated mCRL2 and CADP toolsets to the Eclipse Coordination Tools (ECT) environment. This enabled full-featured time and data-aware verification of Reo process models using model checking, simulation and model-based test generation tools from the aforementioned toolsets.

I authored the following deliverables:

  • D3.1 Specification of a Behavioural Model for Services [PDF].
  • D3.2 Visual Environment for Service Description [PDF].
  • D3.5 Service Model Interpreter/Simulator Engine [PDF].


NEXOF-RA aims to build the Reference Architecture for the NESSI Open Service Framework (NEXOF) leveraging research in the area of service-based systems, and to consolidate and trigger innovation in service-oriented economies.

My contribution

Within this project, I developed an architectural pattern called "Channel-based Service Coordination" which was included to the final report on Design-time Service Composition of the first NEXOF-RA cycle.