首页>
外国专利>
Software-as-a-service reference process extension verification framework
Software-as-a-service reference process extension verification framework
展开▼
机译:软件即服务参考流程扩展验证框架
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼