A Semantic End-to-End Process Constraint Modeling Framework

Process constraint modeling and development, focusing on how to enforce the conformity of process constraints throughout its lifecycle, including design, deployment and runtime execution, remains a big challenge in the research area of model-driven development, especially when such constraints are considered in the composite Web services and workflow applications. By extending our previous work in process constraint ontology and process constraint language with the capability of exception definition and handling, we propose a semantic end-to-end process constraint modeling framework. In addition to constraint modeling at the design time, both static and dynamic verification in constraint's lifecycle are covered. While the former concentrates on syntactic, semantic and service specification verifications during design and deployment phases, the latter focuses on constraint verification during runtime, with the help of the underlying monitoring module. The scenarios of emergency reaction and nepotism in interview are considered and we illustrate how ontology and semantic reasoning are utilized in a constraint's whole lifecycle.