Abstrakt. Modellprogram är en användbar formalism för testning av programvara och designanalys. De används i industriella verktyg, såsom SpecExplorer, som ett kompakt, uttrycksfullt och exakt sätt att ange komplexa beteenden. En av utmaningarna med modellprogram har varit svårigheten att skilja kontraktsmodellering från scenariomodellering. Det har inte varit klart hur man skall skilja dessa farhågor åt på ett rent sätt. I denna uppsats introducerar vi sammansättning av modellprogram, motivera varför det är användbart att kunna komponera modellprogram, och vad sammansättning av modellprogram formellt innebär.
Begreppet modellprogram sammansättning är en förenklad och utökad version av parallell sammansättning av modellprogram i REF.
Composition of model programs
{'venue': 'FORTE 2007, volume 4574 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}