Modal abstraction and replication of processes with data door