دانلود ترجمه مقاله مدلسازی مدیریت تصادف خودرو با روش KAOS
ترجمه در قالب فایل Word و قابل ویرایش میباشد
سال انتشار:2010
تعداد صفحه ترجمه:14
تعداد صفحه فایل انگلیسی:6
موضوع انگلیسی :Modeling Car Crash Management with KAOS
موضوع فارسی:دانلود ترجمه مقاله مدلسازی مدیریت تصادف خودرو با روش KAOS
چکیده انگلیسی: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.
Index Terms— Goal-oriented requirements engineering, multiview
system modeling, model construction, model analysis
چکیده فارسی:داشتن نرم افزار مورد نیاز برای مفروضات لازم ، یک پیش شرط مهم برای توسعه نرم افزار است. KAOS نرم افزاری است که مبتنی بر تشریح سازگاری کامل و کافی بوده و به خوبی از نرم افزارهای مورد نیاز اندازه گیری و مفروضات سازمان یافته است. زمان مدلسازی و روش پوشش به صورت عمدی و ساختاری و کاربردی و رفتارهای سیستم هدف است. مدل فرعی و عملیاتی یکپارچه شده است. تکنیک های نیمه رسمی و رسمی مکمل یکدیگر برای ساخت مدل و تجزیه و تحلیل کامل ان است. آنها پشتیابنی اولیه داشته و استدلال افزایش د مدل های جزئی برای تنوع از اهداف، از جمله استدلال رضایت هدف و ارزیابی گزینه ی جایگزین و تجزیه و تحلیل خطر است و تهدید ها و درگیری ها و مدیریت قابلیت ردیابی دارد. در این مقاله زبان مدلسازی و روش تصادف ماشین، مورد مطالعه قرار می گیرد. مدل کلی تولید و ادغام به هدف و عامل و عمل و رفتار ، مدل اصلی از سیستم است. مقاله به تشریح برخی از ویژگی ها توسط KAOS برای مدل به صورت تدریجی اقدام نموده است که از جمله ان شناسایی هدف و پالایش و دامنه مفاهیم ساختار و تجزیه و تحلیل خطر بای افزایش کامل عملیاتی هدف است.
