Integrating balanced scorecard domain formalization with underlying project plan formalization

Summary form only given. The balanced scorecard is a management system that enables organizations to clarify their vision and strategy and translate them into action. It provides feedback about both the internal business processes and external outcomes in order to continuously improve strategic performance and results. In the organizations, there exists the problem that the strategies, - that are the only sustainable forms that the organizations have to create value - are changing, but the tools to measure them are not. We believe that if the organizations have tools that support - or help - to maintain a permanent and actualized snapshot of the reality, then the managers have the possibility to make decisions with greater speed and accuracy, as well as to observe with more anticipation the deviations of the desirable goals from reality. We present a proposal to construct formally tools for supporting balanced scorecard in the organizational environment. In order to construct high quality software, it is important to formally define domain and requirement specifications. To do this we use RAISE Specification Language (RSL) since it is well suited to formal specifications of real developments in the software industries. RSL is a formal language, but it also allows rigorous - not strictly formal - style of specifications, where only the critical properties of the system are proved. These tools permit to organizations describe and measure things to manage assets based on knowledge and strategies for value creation.