Task FO[2]: Run Time Consistency Management

This task is concerned with the problem of keeping information in a consistent state at run time, where in the SHI P scenarios we expect information to be distributed in various heterogeneous processes represented on different abstraction levels and across heterogeneous views. This task will make use of the results of FormalSafe and will transfer them to the setting of heterogeneous processes.

All Tickets

Ticket Priority Summary Owner
No tickets found

Last modified 8 years ago Last modified on 25.02.2011 10:45:43