Modeling business and information system goals

The bachalor thesis is about modeling business and information system goals. The objective of this modeling is to determine what are the long-term business and information system goals; it models goals in a current state (business or information system) "as-is" and goals in a future state "to-be". Goal modeling is not about modeling goals in a transformation between these states, because they are not long-lasting. This modeling belongs to an analysis of the system requirements technique. Because it is relatively young, while very beneficial method of system requirements analysis, it is necessary to give it a proper attention. Important is the very definition of the "goal" itself and the reason why we actually model and why. For goal modeling several modeling languages are, used, which include framework i* and KAOS methodics. This thesis closely examines both these languages, and compair their readiness for the goal modeling in a practical way