Abstrakt. Övergången från klassisk B [2] till Händelse-B-språket och -metoden [3] har lett till att vissa former av modellstrukturering och -sammansättning har avlägsnats, i syfte att på nytt uppfinna dem i framtiden. Detta arbete bidrar till detta återupptagande. Inspirerad av en föreslagen metod för tillståndsbaserad nedbrytning och förfining [5] av en Event-B-modell föreslår vi en välbekant parallell händelsesammansättning (över delade tillståndsvariabellistor) och mindre välbekant händelsefusion (över skärande tillståndsvariabellistor). En kort motivering ges för dessa och andra former av sammansättning av modeller, när det gäller funktionsbaserad modellering. Vi visar att modellkonsistens bevaras under sådana kompositioner. Mer påtagligt visar vi att modellsammansättning bevarar förfining.
Händelsesammansättning och händelsefusion, som introduceras i REF, liknar sammansättningen av modellprogram, där händelsesammansättning antar olika tillstånd variabler, medan händelsefusion tillåter delade tillstånd variabler.