Software-as-a-service reference process extension verification framework

Abstract

The disclosure describes methods, software, and systems, including a method for providing extension points for core process models. Extension points are provided for a core process model associated with a core process. The extension points are pre-defined and annotated with constraints that specify restricted behavior of extensions plugged into the core process model at the extension points. The extension points are formulated in a process extension constraint definition language and allow a restriction of runtime behavior. The process extension constraint definition language is based on temporal logic and enhances existing property specification patterns with specific support to formulate constraints at an extension task type level for activities included in a process extension. Instructions are received from a user to plug selected extensions into an instance of the core process model. Each selected extension includes user-customized behavior for the extension. The instance of the core process model is validated.