مروری بر مدلسازی حالات ذهنی در مهندسی نیازمندیها بر مبنای یک چارچوب عاملگرا بر اساسi* و CASL

این پژوهش یک رویکرد مهندسی نیازمندیهای عامل محور را معرفی میکند که مدلهای غیررسمی i* را با مشخصات رسمی در فرمالیسم مشخصات سیستم چندعاملی CASL ترکیب میکند. این رویکرد به مهندس نیازمندیها اجازه میدهد تا از ویژگیهای مکمل فریمورکها بهره برداری کند. از i* میتوان برای مدلسازی وابستگی های اجتماعی بین عامل ها و اینکه چگونه انتخابهای طراحی فرآیند بر اهداف عامل تاثیر میگذارد، استفاده کرد. CASL نیز برای مدلسازی رسمی فرآیندهای پیچیده مورد استفاده قرار میگیرد. در چارچوب ترکیبی i*-CASL، اهداف و دانش عاملان بهعنوان حالات ذهنی آنها نشان داده میشود که امکان تجزیه وتحلیل رسمی و تائید، تعاملات پیچیده عامل و دانش ناقص را فراهم می کند.

Keywords:

مهندسی نرم افزار عاملگرا , مهندسی نیازمندیها , مدلهای i* و .CASL