دانلود مقاله ISI تالیف و veri فی کاتیون از راهنماهای بالینی: یک مدل رانده رویکرد Q بئاتریس Pérez بسیار، *، ایوان Porres از ب

اختصاصی از فی موو دانلود مقاله ISI تالیف و veri فی کاتیون از راهنماهای بالینی: یک مدل رانده رویکرد Q بئاتریس Pérez بسیار، *، ایوان Porres از ب دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی :تالیف و veri فی کاتیون از راهنماهای بالینی: یک مدل رانده رویکرد Q بئاتریس Pérez بسیار، *، ایوان Porres از ب

موضوع انگلیسی :<!--StartFragment -->

Authoring and verification of clinical guidelines: A model driven approach ^q Beatriz Pérez ^a,*, Ivan Porres ^b

تعداد صفحه :17

فرمت فایل :PDF

سال انتشار :2010

زبان مقاله : انگلیسی

هدف: هدف از این پژوهش، ارائه یک چارچوب برای فعال تالیف و veri فی کاتیون از راهنماهای بالینی. چارچوب بخشی از یک پروژه تحقیقاتی بزرگتر با هدف بهبود نمایندگی، با کیفیت و استفاده از دستورالعمل های بالینی در عمل بالینی روزانه است.
مواد و روشها: فی veri روند کاتیون از یک راهنما است (1) مدل چک کردن تکنیک به منظور بررسی دستورالعمل در برابر خطاهای معنایی و تناقضات در تعریف Fi خود را، (2) همراه با مدل محور توسعه (MDD) تکنیک ها، که ما را قادر به طور خودکار پردازش دستی ایجاد بر اساس دستورالعمل کاتیونهای خاص و اظهارات زمانی منطق به بررسی می شود و veri فی اد در مورد این کاتیونهای خاص، و روند فی کاتیون veri سریع تر و مقرون به صرفه. به خصوص، ما با استفاده از UML دولت، نمودار برای نشان دادن پویایی دستورالعمل ها و، بر اساس این فی دستی د دستورالعمل NED کاتیونهای خاص، ما استفاده از زنجیره ای ابزار مبتنی بر MDD-به طور خودکار آنها را پردازش برای تولید مدل ورودی یک جستجوگر مدل. جستجوگر مدل طول می کشد مدل به دست آمده همراه با سی مورد نیاز دستورالعمل خاص، و veri فی ES آیا دستورالعمل تحقق LS خواص مانند.
یافته ها: چارچوب کلی اجرا شده است به عنوان یک گرفتگی پلاگین در نام GBDSSGenerator که، به ویژه، با شروع از علایم statechart UML به نمایندگی از یک دستورالعمل، اجازه می دهد تا کاتیون فی veri از دستورالعمل در برابر خاص مورد نیاز ج. علاوه بر این، ما یک رویکرد مبتنی بر الگوی برای تعریف معمول اتفاق می افتد انواع مورد نیاز در دستورالعمل تاسیس شده است. ما با موفقیت رویکرد کلی ما با تایید خواص در دستورالعمل های بالینی مختلف و در نتیجه تشخیص برخی از تناقضات در تعریف خود تایید شده است.
نتیجه گیری: چارچوب پیشنهادی اجازه می دهد تا (1) تالیف و (2) کاتیون فی veri از راهنماهای بالینی در برابر خاص مورد نیاز ج تعریف بر اساس مجموعه ای از اموال الگوهای فی کاتیون خاص، قادر به افراد غیر متخصص به راحتی ارسال رسمی کاتیونهای خاص و در نتیجه کاهش روند فی کاتیون veri.

دانلود مقاله ISI امنیت متامدل معماری برای امنیت مدل رانده

اختصاصی از فی موو دانلود مقاله ISI امنیت متامدل معماری برای امنیت مدل رانده دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی :امنیت متامدل معماری برای امنیت مدل رانده

موضوع انگلیسی :Security architecture metamodel for Model Driven security

تعداد صفحه :16

فرمت فایل :PDF

سال انتشار :2015

زبان مقاله : انگلیسی

یک جنبه کلیدی از طراحی هر سیستم نرم افزاری معماری آن است. یک موضوع برای همیشه طراحی معماری خوب و قوی مفاهیم جدید امنیتی است. بسیاری از برنامه های جدید در حال اجرا بر روی سیستم عامل قدرتمند است که دارای مدل های معماری غنی کافی برای حمایت از تکنیک تقسیم عددی بر مضرب های امنیتی و محدودیت های امنیتی واضح است. طراحی معماری متا مدل که اتصالات امنیتی در نظر به منظور اطمینان از مونتاژ امن واقع گرایانه و برای رسیدگی به مشکلات آسیب پذیری از تبادل داده ها جریان مورد نیاز است. تحقیقات ما یک رویکرد متا مدل سازی عمومی به نام SMSA (امنیت متا مدل برای معماری نرم افزار) برای توصیف یک سیستم نرم افزاری به عنوان یک مجموعه از قطعات است که از طریق اتصالات امنیتی تعامل پیشنهاد می کند. متامدل SMSA به عنوان یک UML SMSA طرفدار فی لو مدل شده است. ما بهره برداری UML ظرفیت قدرتمند (متا مدل ها و مدل) به د مفاهیم امنیت تعریف از SMSA (به عنوان مثال اتصالات امنیت، کامپوزیت و دامنه). رشته اصلی تی نفع از UML نرم افزار فی LE است به نمایندگی وفادار از اتصال دهنده برای حمایت از تعریف انواع اتصال امنیتی به صراحت و برای حمایت از آنها را با توانایی ارتباط خواص معنایی. ما همچنین مجموعه ای از تحولات مدل به نیاز فی تی امنیت یک سیستم فراهم می کند. یک مطالعه موردی که در SMSA: این تحولات دقیق و معتبر با سیستم پشتیبانی فسفات (SAGE) برای شرکت FERPHOS هستند. این مدل تست شده و تایید با محدودیت معنایی تعریف شده توسط طرفدار فی لو با استفاده از گرفتگی 3.1 پلاگین در در این مطالعه مورد.MSA،
اتصال امنیتی،
UML نرم افزار فایل،
ADL،
OCL،
آسیب پذیری معماری نقطه تشخیص،