In proof systems and conceptual modelling, context-awareness should be pre- cisely highlighted. In this chapter, we recall and detail preliminary results on contex- tualization and dependency state-based modelling using the for Event-B modelling lan- guage. The contextualization of Event-B models is based on knowledge provided from do- mains classified into constraints, hypotheses and dependencies, according to truthfulness in proofs. The dependency mechanism between two models makes it possible to struc- ture the development of system models, by organizing phases identified in the analyzed process. We illustrate via two simple case studies and on a voting protocol.