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

Conference "Technologies Microsoft in the theory and programming practice"
Authors:
Nikiforov Igor V. Petrov Aleksey V. Yusupov Yury V.
Abstract:

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.