Generation of formal model of a sysmem from requirements specified in Use Case Map

Conference "Technologies Microsoft in the theory and programming practice"

The paper presents an automatic approach for transformation of system requirements in UCM notation into a formal model. The approach is based on UCM2BP tool that provides different output formats from UCM maps.