Frank Michael Kraft

AdaPro GmbH · Management

A design-time status schema model is defined at design-time and includes a core status schema group and an. a status schema model. The status schema model includes a core status schema group and an extended status schema group. The status schema model also includes a precondition included in one of the status schema groups. The precondition identif...

Planning is concerned with the automated solution of action sequencing problems described in declarative languages giving the action preconditions and e ects. One important application area for such technology is the creation of new processes in Business Process Management (BPM), which is essential in an ever more dynamic business environment. A ma...

A design-time status schema model describes the progress of a data object through a computing process. The status schema model includes status variables, processing actions and constraints for performing actions. The status schema model also may describe permitted changes to a status variable in response to performing an action. At runtime, the sta...

Data changes during transaction processing by a computer system are constrained. An outbound processing sub-component of a first processing component is enabled to change a value of a status variable relating to processing performed on a data object instance by the first processing component. The data object instance includes values for variables a...

A computer-implemented method of evaluating interactions between processes. The method includes storing a message choreography meta-model that includes an interaction meta class and a constraint meta-class. A user creates a message choreography model between a first process and a second process. The method further includes executing a verification...

A computer system, in which cancellation status models are used. The computer system receives a request to cancel a parent data object node instance and accesses a first cancellation building block that models a first cancellation subprocess for the first type of data object node and that is integrated in a first status schema defined for the first...

In several application areas for Planning, in particular helping with the creation of new processes in Business Process Management (BPM), a major obstacle lies in the modeling. Obtaining a suitable model to plan with is often prohibitively complicated and/or costly. Our core observation in this work is that, for software-architectural purposes, SAP...

In several application areas for Planning, in particular helping with the creation of new processes in Business Process Management (BPM), a major obstacle lies in the modeling. Obtaining a suitable model to plan with is often prohibitively complicated and/or costly. Our core observation in this work is that, for software-architectural purposes, SAP...

Business processes control the flow of activities within and between enterprises. Business Process Management is concerned, amongst other things, with the maintenance of these processes. In particular, it becomes ever more important to be able to quickly create modified processes for changed market conditions. We show that AI Planning can help with...

Component integration plays a decisive role in service-oriented architectures (SOAs). The technical implementation must faithfully reflect business and enterprise integration requirements. This implies a good understanding of the globally observable message choreography but also of how messages are handled by the involved components and by the SOA...

A precise definition of interaction behavior between services is a prerequisite for successful business-to-business integration. Service choreographies provide a view on message exchanges and their ordering constraints from a global perspective. Assuming message sending and receiving as one atomic step allows to reduce the modelers’ effort. As down...