Research On Requirement Modeling Framework Based On I～* And AlbertⅡ

Requkement Engineering is an important branch of software engineering and a multi-disciplinary, human-centered process. Traditional requirement modeling usually only pays attention to "what" and "why" aspects of software system under development, but "why" aspects underlying system were ignored by developers. With increasing complexity and changing requirements of current system, people recognize the importance of modeling of organizational requirements. Because different languages have different abilities of expressiveness, naturalness, and precision, they are suitable for modeling different levels of software requirements. In this thesis, we present a framework for requkement modeling which combines i* framework that adapting for the modeling of organizational requkements with Albert II language that adapting for the modeling of system requkements.Fkst, this thesis describes i* framework and Albert II language in detail and each has its own flaws and strengths. We can attain a highly expressive and more precision framework through combining them. At the same time modeling concepts of i* framework and Albert II language are different, this goes against the transforming from model of organizational requkements to specification of system requkements. For making the links among them, this thesis has also searched for some relationships between concepts of i* model with its of Albert II specification.Second, this thesis also presents a framework for expressing non-functional requkements with Albert II language. In the framework, we express non-functional requkements with softgoal concept from i* framework. By decomposing softgoal, we refine the highly softgoal into functional ones and formally describe them in Albert II language.Last, this thesis shows the analyzing and modeling process of the framework that we presented by applying it to a banking system.