Print

New constructs to support automated planning, continuous runtime interference monitoring and verification

New constructs have been developed (supporting automated planning, continuous runtime interference monitoring and verification) to ensure continuous correctness and seemless integration of all business processes in this new setting. In addition, this has resulted in a set of business process design guidelines and techniques, which support the new decentralized and highly distributed energy market.

Contact

Hans Wortmann (University of Gronginen)