Project line: formally specifying the domain of balanced scorecard

Abstract

In today’s world, in both the public or private organizations, there exists the problem that the organizations have to create value, are changing, but the tools to measure them are not. On the other hand, in the current economy, the intangible assets are most important sources of competitive advantages, and it’s necessary to have tools that describe assets based on knowledge and strategies for value creation. Without these tools, the organizations have difficulties to manage thins that they are not able to describe or measure. Also, there exists a scheme to support the organizational management, called Balanced Scorecard that enables organizations to clarify their vision and strategy, and translate them into action. There are not too much integrated tools that carry from strategic mapping to Balance Scorecard. We believe that if this scheme has an automated solid base to help the management of the projects and the organizations, the managers will have the possibility to make decisions with bigger speed and accuracy, as well as to observe the deviations of the reality regarding the desirable thing with more anticipation. Here, we present a first proposal for formally construct tools to support the Balanced Scorecard in the organizational environment. In order to construct high quality software, it is important to formally outline the specification of the domain and the requirements. We do this in RAISE Specification Language, and its RAISE method, because of its intended use on real developments in the software industries. This language and this method are formal, but it allows intermediate specifications not formal –rigorous- and it is sufficiently of formality without the strict techniques required by the formal methods.