Affordable Access

A Constrained Object Model for Configuration Based Workflow Composition

Authors
  • Albert, Patrick
  • Henocque, Laurent
  • Kleiner, Mathias
Type
Preprint
Publication Date
Jun 09, 2005
Submission Date
Jun 09, 2005
Identifiers
arXiv ID: cs/0506031
Source
arXiv
License
Unknown
External links

Abstract

Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving techniques. Recent research observed that building a composite workflow bears strong relationships with finite model search, and that some workflow languages can be defined as constrained object metamodels . This lead to consider the viability of applying configuration techniques to this problem, which was proven feasible. Constrained based configuration expects a constrained object model as input. The purpose of this document is to formally specify the constrained object model involved in ongoing experiments and research using the Z specification language.

Report this publication

Statistics

Seen <100 times