توضیحات
ABSTRACT
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. KAOS is a goal-driven, modelbased approach for elaborating a complete, adequate, consistent, and well-structured set of measurable software requirements and environment assumptions. The modeling language and method cover the intentional, structural, functional, and behavioral facets of the target system. Declarative and operational sub-models are integrated. Semi-formal and formal techniques complement each other for model construction, analysis and evolution. They support early and incremental reasoning on partial models for a variety of purposes including goal satisfaction arguments, property checks, animations, the evaluation of alternative options, the analysis of risks, threats and conflicts, and traceability management. The paper illustrates the modeling language and method on a car crash management case study. The overall produced model integrates the goal, object, agent, operation and behavior submodels of the system. The paper outlines some of the features supported by KAOS for incremental model elaboration, including goal identification and refinement, the structuring of domain concepts, risk analysis for increased requirements completeness, goal operationalization, the derivation of agent interfaces and the derivation of state machine behavior models.
INTRODUCTION
Requirements engineering (RE) is concerned with the elicitation, evaluation, specification, consolidation, and evolution of the objectives, functionalities, qualities, and constraints a software-based system should meet within some organizational or physical setting . The RE process is intrinsically complex. • A wide spectrum of concerns need to be addressed, ranging from high-level, strategic objectives to detailed, technical requirements. • Two systems are involved: the system as it is before software development and the system-to-be. The latter includes software and environment components such as people, devices or pre-existing software. • The involved stakeholders may have diverse, partial and conflicting concerns. • Risks must be anticipated in order to achieve requirements completeness and system robustness. • Numerous alternative options must be evaluated for selection of preferred ones. KAOS is a rigorous method for requirements engineering aimed at addressing those challenges . The method may be briefly characterized as follows. • Model-based and multi-view: the elaborated system specification is organized at various levels of abstraction and according to multiple system facets.
چکیده
بدست آوردن الزامات نرم افزاری مناسب تحت شرایط محیطی مناسب یک پیش شرط حیاتی برای توسعه نرم افزار مناسب است. KAOS یک رویکرد مبتنی بر هدف مبتنی بر هدف برای توسعه یک مجموعه کامل، کافی، سازگار و به خوبی ساختار مورد نیاز نرم افزار قابل اندازه گیری و فرضیه های محیطی است. زبان و روش مدل سازی جنبه های عمدی، ساختاری، عملکردی و رفتاری سیستم هدف را پوشش می دهد. مدل های اعلام شده و عملیاتی یکپارچه می شوند. تکنیک های نیمه رسمی و رسمی یکدیگر را برای ساخت، تحلیل و تکامل مدل تکمیل می کنند. آنها از استدلال های اولیه و افزایشی در مدل های جزئی برای مقاصد مختلف از جمله استدلال های رضایت از هدف، بررسی املاک، انیمیشن ها، ارزیابی گزینه های جایگزین، تجزیه و تحلیل خطرات، تهدیدات و درگیری ها و مدیریت ردیابی پشتیبانی می کنند. این مقاله زبان و روش مدل سازی در مورد مطالعه موردی مدیریت تصادف را نشان می دهد. مدل کلی تولید شده مدلهای هدف، شی، عامل، عملیات و رفتار سیستم را ادغام می کند. در این مقاله برخی از ویژگی های پشتیبانی شده توسط KAOS برای تکمیل مدل افزایشی، از جمله شناسایی و پالایش هدف، ساختار مفاهیم دامنه، تجزیه و تحلیل ریسک برای افزایش کامل الزامات، عملی شدن هدف، تبادل رابط های عامل و مشتق مدل های مدل حالت دستگاه است.
مقدمه
مهندسی الزامات (RE) مربوط به ایجاد، ارزیابی، مشخص کردن، تثبیت و تکامل اهداف، قابلیت ها، کیفیت ها و محدودیت ها است که یک سیستم مبتنی بر نرم افزار در برخی از شرایط سازمانی یا فیزیکی باید پاسخگو باشد. پروسه RE به طور ذاتی پیچیده است. • طیف گسترده ای از نگرانی ها باید در نظر گرفته شود، از اهداف بلند پایه، استراتژیک تا نیازهای دقیق و فنی. • دو سیستم درگیر هستند: سیستم همانطور که قبل از توسعه نرم افزار و سیستم باید باشد. این شامل اجزای نرم افزاری و محیطی مانند افراد، دستگاه ها یا نرم افزارهای موجود می باشد. • ذینفعان ذینفع ممکن است نگرانی های متنوع، جزئی و متناقض داشته باشند. • برای دستیابی به کامل بودن الزامات و ثبات سیستم، باید ریسک ها را پیش بینی کرد. • گزینه های جایگزین متعدد باید برای انتخاب ترجیحات ارزیابی شود. KAOS یک روش دقیق برای مهندسی الزامات با هدف حل این چالش ها است. این روش می تواند به طور خلاصه به صورت زیر شرح داده شود. • مبتنی بر مدل و چندین دیدگاه: مشخصات سیستم دقیق در سطوح مختلف انتزاع و با توجه به جنبه های مختلف سیستم سازماندهی شده است.
Year: 2013
Publisher : IEEE
By : Antoine Cailliau, Christophe Damas, Bernard Lambeau, and Axel van Lamsweerde
File Information: English Language/ 6 Page / size: 872 KB
Only site members can download free of charge after registering and adding to the cart
سال : 1392
ناشر : IEEE
کاری از : آنتونی Cailliau، کریستف Damas، برنارد Lambeau، و Axel van Lamsweerde
اطلاعات فایل : زبان انگلیسی / 6 صفحه / حجم : KB 872
نقد و بررسیها
هنوز بررسیای ثبت نشده است.