جستجوي پيشرفته | کتابخانه مجازی الفبا

استفاده از فن‌آوری وب معنایی در مهندسی نرم‌افزار یکی از راه‌های غلبه کردن بر مشکلات کنونی مهندسی نرم‌افزار است؛ به‌طوری‌که امروزه توجه بسیاری از محققان به این مقوله معطوف شده است و روش‌های مختلفی در این راستا ارایه کرده‌اند. برخی از این روش‌ها هستی‌شناسی محور بوده و بر تولید کد نرم‌افزار از مدل‌های معنایی متمرکزند و شماری دیگر، مبتنی بر هستی‌شناسی بوده و از فن‌آوری وب معنایی به‌عنوان ابزار کمکی در فرآیند‌های کلاسیک نرم‌افزار استفاده کرده‌اند.در این پایان‌نامه برای تولید سریع نرم‌افزار، یک روش معنایی جدید با نام SRAD، پیشنهاد شده‌است. در این روش، مدل ایستای دامنه در هستی‌شناسی دامنه و مدل پویای آن در هستی‌شناسی برنامه توصیف می‌شود. هستی‌شناسی دامنه در حقیقت جایگزینی قدرتمند برای مدل داده است زیرا در این هستی‌شناسی ضمن اینکه مانند پایگاه‌های داده، داده‌های نرم‌افزار ذخیره می‌شود، زمینه برای استفاده از استدلال‌گرها و موتورهای قواعد نیز مهیا می‌شود. تمام عملکردهای نرم‌افزار در هستی‌شناسی برنامه توصیف و پیاده‌سازی می‌شود. می‌توان بر اساس چارت عملیاتی سیستم، عملکردهای نرم‌افزار را در این هستی‌شناسی به‌صورت سلسله‌مراتبی توصیف و پیاده‌سازی کرد. برای پیاده‌سازی عملکردها در هستی‌شناسی برنامه، از قواعد وب معنایی بهره گرفته شده است. در حقیقت بدنه یک عملکرد با استفاده از لیست مرتبی از قواعد قابل پیاده‌سازی است. برای اجرای عملکردهای توصیف شده در هستی‌شناسی برنامه می‌توان از موتور‌های قواعد کلاسیک مانند Jess بهره گرفت ولی برای افزایش کارایی، در راستای این پایان‌نامه، موتور اجرای RE طراحی و پیاده‌سازی شده است. این موتور ضمن پشتیبانی از انواع اتم‌های مختلف، قادر است عملکردهای توصیف شده در هستی‌شناسی برنامه را با کارایی مطلوب به اجرا در آورد.برخلاف اکثر روش‌های موجود که سعی در ایجاد کد نرم‌افزار دارند، با استفاده از روش SRAD در حقیقت مدلی از نرم‌افزار ایجاد شده است که قابل اجرا است. به‌عبارت دیگر منطق کاری نرم‌افزار به‌جای اینکه در پس کد‌های آن نهان شود، در یک مدل رسمی توصیف می‌شود. چنین مدلی ضمن انتزاعی‌تر کردن فرآیند تولید، می‌تواند فرآیند نگهداری نرم‌افزار را نیز بسیار آسان کند. SRAD روشی معنایی برای تولید سریع نرم‌افزارهایی است که نگهداری بسیار آسانی دارند.

در مباحث مربوط به حقوق زن، مساله حق طلاق براى زنان یکى از پرسشهاى اساسى است. اگر چه بر پایه قانون اسلام و حقوق ایران، طلاق از اختیارات مرد است ولى زن نیز در صورت عدم رعایت‏حقوق وى از طرف شوهر بویژه آنگاه که ادامه زندگى زناشویى موجب عسر و حرج او گردد، حق درخواست طلاق از قاضى را خواهد داشت و دادگاه نیز در صورت احراز شرایط، به منظور تحقق عدالت، اقدام به صدور حکم طلاق خواهد نمود. به اعتقاد ما این حکم به تمام موارد تحقق نشوز مرد، قابل تسرى است. تحقق این نظریه گامى است مؤثر در جهت احقاق حقوق زنان و پیشگیرى از تعدى به حقوق آنان در زندگى زناشویى. بدین جهت در نوشتار حاضر، قلمرو نظریه طلاق زن به وسیله دادگاه و ماهیت‏حقوقى آن مورد بررسى قرار گرفته است.