Revisiting model-driven engineering for run-time verification of business processes

Wei Dou, Domenico Bianculli, Lionel Briand

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Run-time verification has been widely advocated in the last decade as a key technique to check whether the execution of a business process and its interactions with partner services comply with the application requirements. Despite the substantial research performed in this area, there are very few approaches that leverage model-driven engineering (MDE) methodologies and integrate them in the development process of applications based on business process descriptions. In this position paper we describe our vision and present the research roadmap for adopting MDE techniques in the context of run-time verification of business processes, based on our early experience with a public service partner in the domain of eGovernment. We maintain that within this context, the adoption of MDE would contribute in three ways: 1) expressing, at a logical level, complex properties to be checked at run time using a domain-specific language; 2) transforming such properties in a format that can leverage state-of-the-art, industrial-strength tools in order to check these properties; 3) integrating such property checker in run-time verification engines, specific to a target run-time platform, without user’s intervention.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsDaniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher
PublisherSpringer Verlag
Pages190-197
Number of pages8
ISBN (Electronic)9783319117423
DOIs
Publication statusPublished - 2014
Externally publishedYes
Event8th International Conference on System Analysis and Modeling: Models and Reusability, SAM 2014 - Valencia, Spain
Duration: 29 Sep 201430 Sep 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8769
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Conference on System Analysis and Modeling: Models and Reusability, SAM 2014
Country/TerritorySpain
CityValencia
Period29/09/1430/09/14

Fingerprint

Dive into the research topics of 'Revisiting model-driven engineering for run-time verification of business processes'. Together they form a unique fingerprint.

Cite this