فا   |   En
Login
Paper Title Authors Conference Abstract
یک الگوریتم تخصیص منبع مبتنی بر اتاماتای یادگیر برای محیط ابر میلاد رنجبری
جواد اکبری ترکستانی
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
‏مدیریت منابع در محیط محاسبات ابری شامل تخصیص منابع پردازشی، ذخیره ‏سازی و شبکه به یک مجموعه از نرم‌افزار‌های کاربردی است. هدف فراهم کننده منابع، تمرکز بر روی کارایی و ... more
‏مدیریت منابع در محیط محاسبات ابری شامل تخصیص منابع پردازشی، ذخیره ‏سازی و شبکه به یک مجموعه از نرم‌افزار‌های کاربردی است. هدف فراهم کننده منابع، تمرکز بر روی کارایی و بهره‏وری منابع با در نظر گرفتن محدودیت‌های توافق‌نامه سطح خدمات است. کارایی منابع از طریق تکنیک‌های مجازی‌سازی بدست می‌آید که اشتراک زیرساخت فراهم کننده منابع را بین ماشین‌های مجازی فراهم می‌کند. در این مقاله، یک روش جدید مبتنی بر اتوماتای یادگیر جهت تخصیص کارامد منابع در محیط ابر پیشنهاد می‏ گردد. روش پیشنهادی با درنظر گرفتن تغییرات منبع درخواستی کاربر، میزبانی را که ممکن است دچار سربار شود را پیش‌بینی می‌کند. روش پیشنهادی، ضمن تضمین کیفیت خدمات، به‌علت جلوگیری از سربار میزبان و همچنین افزایش میزبان‌های که باید خاموش شوند منجر به کاهش انرژی مصرفی مرکز داده نیز می‌شود. الگوریتم پیشنهادی در محیط نرم ‏افزار CloudSim شبیه‌سازی گردیده و برای داده‌های بارکاری، اطلاعات پردازنده یک روز سیستم واقعی پروژه CoMon، که ناظر زیرساخت برای PlanetLab می‌باشد، استفاده شده است. کارایی الگوریتم پیشنهادی از نظر معیارهای انرژی مصرفی، نقض توافق‏نامه سطح خدمات و تعداد میزبان‏ های خاموش شده با الگوریتم‌های DVFS ،NPA، رگرسیون محلی (LR)، آستانه (THR)، میانگین انحراف مطلق (MAD) و دامنه میان‌ چالاکی (IQR) مقایسه شده است. نتایج حاصل از شبیه‌سازی نشان می ‏دهد الگوریتم پیشنهادی با میزان انرژی مصرفی Kwh 175.48 و نقض توافق‏نامه سطح خدمات 0.00326 درصد کارایی بهتری نسبت به سایر الگوریتم‏ های مورد مقایسه ارائه می ‏دهد. less
‏مدیریت منابع در محیط محاسبات ابری شامل تخصیص منابع پردازشی، ذخیره ‏سازی و شبکه به یک مجموعه از نرم‌افزار‌های کاربردی است. هدف فراهم کننده منابع، تمرکز بر روی کارایی و ... more
خرید مقاله
بهبود نمایش تطبیقی محتواي جویبارسازي شده رضا سلیمانی توانی
محمدرضا نوری‌فرد
احسان فقیهی
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
در روش های اخیر جویبارسازی ویدیو، برای بهبود کیفیت نمایش و مقابله با وقفه ها، از روش نمایش تطبیقی محتوای چند رسانه ای استفاده می شود. در این مقاله الگوریتمی ... more
در روش های اخیر جویبارسازی ویدیو، برای بهبود کیفیت نمایش و مقابله با وقفه ها، از روش نمایش تطبیقی محتوای چند رسانه ای استفاده می شود. در این مقاله الگوریتمی پیشنهادی به‏ منظور تعیین مناسب تاخیر نمایش آغازین یک ویدیوی جویبارسازی شده در سمت گیرنده معرفی شده است. هم‏چنین برای جلوگیری از سرریز یا پاریز بافر به ‏دلیل عدم تناسب سرعت پخش محتوا و نرخ ورودی آن، الگوریتمی پیشنهادی با عنوان مراقبت محتوا ارایه شده است. در روش پیشنهادی مراقبت محتوا یا CP، سه ناحیه سبز، زرد و قرمز در نظر گرفته شده است. در ناحیه سبز یا ناحیه ایمن، نرخ نمایش عادی اعمال می گردد. در ناحیه زرد یا ناحیه هشدار، تلاش می‏ شود نرخ نمایش به حالت عادی مربوط به ناحیه سبز بازگردانده شود. در ناحیه قرمز یا ناحیه خطر، به‏ منظور جلوگیری از پاریز بافر یا سرریز بافر، تغییر نرخ نمایش تا حد کیفی قابل قبول برای کاربر در نظر گرفته می‌شود. در این مقاله، عملکرد روش پیشنهادی با استفاده از شبیه‌سازی بررسی و با تعدادی از الگوریتم‌های نمایش تطبیقیِ موجود مقایسه شده است. نتایج به ‏دست آمده نشان می دهد که روش پیشنهادی، احتمال پاریز بافر و هم‏چنین سرریز بافر را کاهش می دهد و از منظر کیفیتِ تجربه کاربر نیز عملکرد مناسب‌تری دارد. less
در روش های اخیر جویبارسازی ویدیو، برای بهبود کیفیت نمایش و مقابله با وقفه ها، از روش نمایش تطبیقی محتوای چند رسانه ای استفاده می شود. در این مقاله الگوریتمی ... more
خرید مقاله
ارائه يک روش جديد به منظور رفع ناهمخوانی در يکپارچه سازی داده ها با استفاده از همجوشی سطح بالا زينب نخعی
علی احمدی
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
امروزه با گسترش حجم داده ها و فراگير شدن اينترنت، داده هايی که يک موجوديت از دنيای واقعی را توصيف می کنند، بندرت تنها از يک منبع اطلاعاتی بازيابی می ... more
امروزه با گسترش حجم داده ها و فراگير شدن اينترنت، داده هايی که يک موجوديت از دنيای واقعی را توصيف می کنند، بندرت تنها از يک منبع اطلاعاتی بازيابی می شوند. هدف اصلی يک سيستم يکپارچه سازی داده ها، ايجاد دسترسی يکسان روی منابع داده ای توزيع شده و ناهمگون است که به طور مستقل از هم و از طریق شاکله های مختلف و سطوح دسترسی متفاوت به داده ها ايجاد شده اند. يکپارچه سازی داده ها معمولا در سه سطح شاکله، نمونه، و مقادير انجام می شود. برای از بين بردن ناهمگونی در سطح مقادير از روش های همجوشی استفاده می شود. روش های همجوشی ارائه شده برای رفع ناهمخوانی ها در يکپارچه سازی به سه دسته آماری، ساختاری و بهينه سازی تقسيم می شوند که اکثرا علاوه بر داشتن مشکلاتی از قبيل لزوم پيش فرض های زياد در مورد توزيع داده ها، هزينه محاسباتی زياد فرآيند استدلال و استنتاج، عدم کارايی برای سناريوهای پيچيده و ... همجوشی سطح پايين محسوب می شوند. علاوه بر اين در اکثر روش های ارائه شده، برای هر موجوديت تنها يک مقدار صحيح در نظر گرفته می شود. در اين مقاله، راهکاری بر اساس شبکه منطق مارکوف و شبکه های اطلاعاتی ارائه شده است که با کشف روابط ميان موجوديت ها و استفاده از اطلاعاتی که از ارزيابی موقعيت موجوديت ها به دست می آيد، ناهمخوانی های موجود در سطح مقادير را رفع می کند. به کمک اين روش که همجوشی سطح بالا محسوب می شود، امکان تشخيص چند مقدار صحيح برای موجوديت ها وجود خواهد داشت. less
امروزه با گسترش حجم داده ها و فراگير شدن اينترنت، داده هايی که يک موجوديت از دنيای واقعی را توصيف می کنند، بندرت تنها از يک منبع اطلاعاتی بازيابی می ... more
خرید مقاله
PDIFT: یک چارچوب جامع و کارا برای ردگیری پویای جریان اطلاعات حسین قاسمی
محمدرضا رزازی
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
روش ردگیری پویای جریان اطلاعات یکی از قوی‎ترین تکنیک‎های تحلیل نرم‎افزار است که برای ردگیری داده‎های مورد علاقه در هنگام اجرای برنامه برای استفاده می‎شود. با این وجود ردگیری پویای ... more
روش ردگیری پویای جریان اطلاعات یکی از قوی‎ترین تکنیک‎های تحلیل نرم‎افزار است که برای ردگیری داده‎های مورد علاقه در هنگام اجرای برنامه برای استفاده می‎شود. با این وجود ردگیری پویای جریان اطلاعات به دلیل سربار زمانی عظیم، وجود نتایج کاذب و پیچیدگی پیاده‎سازی غیر عملی است. برای مقابله با این مسائل، در این مقاله یک چارچوب پویای ردگیری اطلاعات ارائه شده است که به تحلیل‎گر نرم‎افزار کمک می‎کند تا بتواند فرآیند ردگیری پویای جریان اطلاعات را با دقت، سرعت و سهولت بیشتر با استفاده از تکنیک ابزارمندی پویای باینری در سطح برنامه انجام دهد. چارچوب ارائه شده باید قادر باشد جریان اطلاعات را شناسایی کند، مقادیر آلودگی را ذخیره نماید و بر ورودی/خروجی نرم‎افزار هدف نظارت نماید. در این مقاله ما PCDIFT را ارائه کرده‎ایم؛ یک چارچوب ردگیری جریان اطلاعات جامع و شتابدار باینری که می‎تواند بدون در اختیار داشتن کد منبع یا هرگونه وابستگی به سخت‎افزار خاص جریان اطلاعات نرم‎افزار هدف را سریع و دقیق ردگیری نماید. این چارچوب دوهسته‎ای از ردگیری جریان ضمنی اطلاعات، که در نظر نگرفتن آن مهمترین دلیل نتایج کاذب منفی در فرآیند ردگیری جریان اطلاعات است، پشتیبانی کرده و با ارائه‎ی روش‎هایی برای کاهش نتایج کاذب و افزایش سرعت، ردگیری جریان ضمنی اطلاعات را عملا ممکن می‎سازد. ما یک ابزار ردگیری جریان اطلاعات نیز براساس چارچوب ارائه شده ایجاد کردیم تا میزان سادگی، سرعت و دقت کار با چارچوب ارائه شده را نشان دهیم. نتایج ارزیابی ما براساس SPEC2000 و برخی نرم‎افزارهای معروف ارائه شده‎ است که نشان‎گر 2.9 برابر سربار برای ردگیری جریان صریح اطلاعات و 9.6 برابر سربار برای ردگیری جریان صریح و ضمنی اطلاعات است. less
روش ردگیری پویای جریان اطلاعات یکی از قوی‎ترین تکنیک‎های تحلیل نرم‎افزار است که برای ردگیری داده‎های مورد علاقه در هنگام اجرای برنامه برای استفاده می‎شود. با این وجود ردگیری پویای ... more
خرید مقاله
ترکیب وب سرویس خودکار آگاه از QoS بر مبنای عوامل همیار با استفاده از الگوریتم دسته بندی Top-k سمیه لطف محمدی
سیما عمادی
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
تا کنون راهکارهای زیادی برای ارتباطات بین سیستم‌های نرم افزاری مطرح گردیده که ترکیب سرویس‌ها یکی از این روش‌ها است. با توجه به رشد روز افزون و فراگیر معماری سرویس ... more
تا کنون راهکارهای زیادی برای ارتباطات بین سیستم‌های نرم افزاری مطرح گردیده که ترکیب سرویس‌ها یکی از این روش‌ها است. با توجه به رشد روز افزون و فراگیر معماری سرویس گرا و سیستم‌های تحت وب، انتخاب وب سرویس‌های مناسب و نحوه ترکیب آن‌ها مسئله‌ای حائز اهمیت است. بدیهی است که با توجه به نیازهای کنونی سیستم‌ها و اهمیت سرعت و دقت در جریان امور استفاده از عوامل هوشمند مورد نیاز بوده و کیفیت و بازدهی را به حداکثر می‌رساند. به همین دلیل مطالعه در مورد وب سرویس‌ها و ترکیب آن‌ها بر اساس عامل‌های هوشمند بسیار ضروری و مورد توجه می‌باشد. نظر به اهمیت در دسترس پذیری و پاسخ گویی بدون وقفه در سیستم‌های تحت وب، ایجاد چندین ترکیب بهینه می‌تواند مؤثر واقع ‌شود. بنابراین در این مقاله سعی بر آن گردیده است که روشی مناسب برای ترکیب سرویس‌های اتمیک بر مبنای عوامل با لحاظ نمودن پارامتر کیفیت سرویس به کار گرفته شود. این روش با استفاده از الگوریتم Top-k و ساختار موازی آن می‌تواند چندین راه حل مناسب به دست آورد تا در مواقع لزوم از قابلیت جایگزینی این راه حل‌ها به جای بهترین ترکیب استفاده نماید. همچنین فیلتر نمودن داده‌ها قبل از ایجاد ترکیب در داده‌هایی با مقیاس بزرگ، مجموعه سرویس‌های انتخابی را کاهش می‌دهد. بنابراین نتایج حاصل از تحلیل و ارزیابی روش پیشنهادی، بهینه سازی مطلوبی در زمان اجرا و مصرف حافظه نمایان می‌سازد. less
تا کنون راهکارهای زیادی برای ارتباطات بین سیستم‌های نرم افزاری مطرح گردیده که ترکیب سرویس‌ها یکی از این روش‌ها است. با توجه به رشد روز افزون و فراگیر معماری سرویس ... more
خرید مقاله
تعیین شباهت فرآیندها با استفاده از نگاشت هستان‌نگار ساره صادقیان اصل
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
با توجه به حجم رو به رشد اطلاعات ثبت شده در سازمان‌ها، هر روز نیاز به پژوهش آنها بیشتر احساس می‌شود. در این راستا زمینه تحقیقاتی فرآیندکاوی به استخراج اطلاعات ... more
با توجه به حجم رو به رشد اطلاعات ثبت شده در سازمان‌ها، هر روز نیاز به پژوهش آنها بیشتر احساس می‌شود. در این راستا زمینه تحقیقاتی فرآیندکاوی به استخراج اطلاعات ارزشمند از فایل وقایع می‌پردازد. یکی از حوزه‌های فرآیند‌کاوی تعیین شباهت فرآیندهای استخراج شده از فایل وقایع است. بیشتر پژوهش‌های انجام گرفته در این حوزه فرض می‌کنند مدل فرآیندی از فایل وقایع استخراج شده و روش‌هایی برای شباهت مدل‌ها ارائه نموده‌اند. اگر چه پیشرفت‌های خوبی در این روش‌ها مشاهده شده و حتی برخی از آنها شباهت معنایی را محاسبه می‌کنند اما چالش اصلی آنها این است که رویدادهای واقعی موجود در فایل وقایع را نادیده می‌گیرند. این در حالی است که مدل فرآیندها در بسیاری از موراد روال واقعی را نشان نمی‌دهند. از سوی دیگر روش‌هایی هستند که شباهت را با استفاده از فایل وقایع محاسبه می‌کنند اما هیچ‌ کدام از آنها معنا را در نظر نمی‌گیرند. به نظر می‌رسد افزودن معنا به این‌گونه روش‌ها منجر به کارایی و دقت بیشتر نتایج گردد. ایده پیشنهادی ابتدا با استفاده از فایل وقایع برای هر یک از دو فرآیند مورد مقایسه یک هستان‌نگار ایجاد کرده و سپس با نگاشت هستان‌نگار‌ها شباهت فرآیندهای متناظر آنها را محاسبه می‌کند. در نهایت از مجموعه فایل‌های وقایع بیمارستان آکادمیک هلند برای ارزیابی استفاده شده است. less
با توجه به حجم رو به رشد اطلاعات ثبت شده در سازمان‌ها، هر روز نیاز به پژوهش آنها بیشتر احساس می‌شود. در این راستا زمینه تحقیقاتی فرآیندکاوی به استخراج اطلاعات ... more
خرید مقاله
بهبود رده بندی چند برچسبی براساس استخراج قوانین انجمنی مثبت و منفی از روی برچسب ها خلیل غفوری پور
زهرا میرزامؤمن
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
امروزه روش های رده بندی چندبرچسبی کاربردهای فراوانی در رده بندی متون و یادداشت گذاری روی تصاویر و ویدئوها دارد. از آنجایی که در دنیای واقعی بین برچسب ها ارتباطاتی ... more
امروزه روش های رده بندی چندبرچسبی کاربردهای فراوانی در رده بندی متون و یادداشت گذاری روی تصاویر و ویدئوها دارد. از آنجایی که در دنیای واقعی بین برچسب ها ارتباطاتی وجود دارد، یافتن ارتباطات و استفاده از آن در مراحل آموزش و رده بندی در مطالعات جدید مورد توجه قرار گرفته است. در برخی کارهای اخیر در مرحله آموزش رده بند از قوانین انجمنی برای مدل سازی ارتباطات بین برچسب ها استفاده شده است. این قوانین در مرحله رده بندی، به منظور اصلاح برچسب هایی که رده بند پیش بینی نکرده است، مورد استفاده قرار می گیرند. در این مقاله روش جدیدی پیشنهاد کرده ایم که با استفاده از آن می توان در عملیات پس پردازش، علاوه بر اصلاح برچسب هایی که توسط رده بند پیش بینی نشده اند، برچسب هایی را که به اشتباه پیش بینی شده اند نیز اصلاح کرد. به این ترتیب که در روش پیشنهادی، علاوه بر ارتباطات مثبت بین برچسب ها، از ارتباطات منفی بین برچسب ها نیز در اصلاح نتایج رده بندی نمونه استفاده کرده ایم. آزمایشهای تجربی انجام شده روی دو مجموعه داده ی استاندارد و رایج در حوزه رده بندی چندبرچسبی نشان می دهند استفاده از ارتباطات منفی به همراه ارتباطات مثبت بین برچسب ها باعث بهبود معیارهای مهم ارزیابی رده بندها می شود. less
امروزه روش های رده بندی چندبرچسبی کاربردهای فراوانی در رده بندی متون و یادداشت گذاری روی تصاویر و ویدئوها دارد. از آنجایی که در دنیای واقعی بین برچسب ها ارتباطاتی ... more
خرید مقاله
روشی برای تطبیق برنامه‌های کاربردی مبتنی بر سرویس در زمان اجرا مهسا رجب‌پور خشکرودی
کاوان صدیقیانی
فریدون شمس علیئی
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
امروزه معماری سرویس‌گرا به‌عنوان روشی اثربخش برای طراحی و توسعه سیستم‌های توزیع‌شده به‌کار گرفته می‌شود. با توجه به محیط پویا و متغیری که این سیستم‌ها در آن قرار دارند، تطبیق‌پذیری ... more
امروزه معماری سرویس‌گرا به‌عنوان روشی اثربخش برای طراحی و توسعه سیستم‌های توزیع‌شده به‌کار گرفته می‌شود. با توجه به محیط پویا و متغیری که این سیستم‌ها در آن قرار دارند، تطبیق‌پذیری به یکی از ویژگی‌های اساسی در سیستم‌های سرویس‌گرا تبدیل شده‌است. تاکنون مطالعات متعددی در زمینه حمایت از تطبیق‌پذیری در این سیستم‌ها انجام شده‌است. با این‌وجود اغلب روش‌هایی که تاکنون معرفی شده‌اند با تمرکز بر تغییراتی که عملکرد سرویس‌های تشکیل‌دهنده این سیستم‌ها را تحت تأثیر قرار می‌دهند، روشی را جهت مقابله با این نوع تغییرات ارائه داده‌اند. این در حالی‌است که برخی از تغییرات محیطی که یک سیستم سرویس‌گرا با آن مواجه است عملکرد مؤلفه همنواساز را تحت تآثیر قرار می‌دهد. در چنین شرایطی استفاده از روش‌های فوق نمی‌تواند موفقیت چشمگیری در تطبیق سیستم داشته‌ باشد. برای مقابله با این تغییرات می‌توان از یک منطق همنواسازی توزیع‌شده استفاده کرد و وظیفه مدیریت سرویس‌ها را به‌نحوی بین مؤلفه‌های همنواساز تقسیم نمود که اثرات سوء تغییرات محیطی را تا حد امکان کاهش دهد. با این وجود، به دلیل زمان‌بر بودن تعیین بهترین گونه همنواسازی، اغلب روش‌هایی که تاکنون برای توسعه سیستم‌های مبتنی بر سرویس با منطق همنواسازی توزیع‌شده ارائه شده‌اند، تنها بر طراحی و توسعه اولیه این سیستم‌ها تمرکز داشته‌اند. بر این اساس در این مقاله روشی برای تغییر پویا و توزیع‌شده همنواسازی ارائه شده‌ است که قادر است در زمان اجرا و با توجه به شرایط محیطی، همنواسازی مناسب سیستم را تعیین نماید. جهت ارزیابی، روش پیشنهادی در یک فرآیند مسیریابی شبیه‌سازی شده مورد استفاده قرار گرفته‌ است. نتایج ارزیابی نشان می‌دهد که این روش در زمان اجرا امکان تغییر همنواسازی را در یک مرتبه زمانی خطی فراهم کرده و همچنین امکان بهبود زمان پاسخ سیستم را فراهم می‌کند. less
امروزه معماری سرویس‌گرا به‌عنوان روشی اثربخش برای طراحی و توسعه سیستم‌های توزیع‌شده به‌کار گرفته می‌شود. با توجه به محیط پویا و متغیری که این سیستم‌ها در آن قرار دارند، تطبیق‌پذیری ... more
خرید مقاله
روشی مدل‌محور برای توسعه سرویس‌گرا با استفاده از زبان‌های BPMN و SoaML فاطمه وارث
محمدجواد امیری
مصطفی خرم‌آبادی آرانی
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
امروزه توسعه سرويس‌گرا به عنوان يک متدلوژي توسعه نرم‌افزار از جايگاه ويژه‌اي در علم مهندسي نرم‌افزار برخوردار است. از سوی دیگر رویکرد مدل‌محور با مدل‌سازی سیستم در سطوح مختلف انتزاع ... more
امروزه توسعه سرويس‌گرا به عنوان يک متدلوژي توسعه نرم‌افزار از جايگاه ويژه‌اي در علم مهندسي نرم‌افزار برخوردار است. از سوی دیگر رویکرد مدل‌محور با مدل‌سازی سیستم در سطوح مختلف انتزاع به خودکارسازی و پویایی فرآیند توسعه کمک می‌کند. هدف از این مقاله ارائه روشی برای توسعه ‌سرویس‌‌گرا به صورت مدل‌محور، با استفاده از زبان‌ مدل‌سازی فرآیندهای کسب و کار و زبان مدل‌سازی معماری سرویس‌گرا می‌باشد. روش ارائه شده در این مقاله طی سه مدل کسب‌ و‌ کار، مدل طراحی سیستم سرویس‌گرا و مدل پیاده‌سازی سیستم سرویس‌گرا و با بیان قوانین نگاشت بین این سه مدل، فازهای مدل‌سازی کسب‌ و‌ کار، شناسایی، توصیف، تحقق، ترکیب و پیاده‌سازی سرویس‌ها را انجام می‌دهد. این روش، با شناسایی سرویس‌ها مبتنی بر اهداف کسب و کار، مدل فرآیندهای کسب و کار و موجودیت‌ها آغاز و در ادامه به توصیف سرویس‌ها با تعیین پیام‌ها، واسط‌های سرویس، قراردادهای سرویس و معماری سرویس‌های سیستم می‌پردازد سپس در فاز تحقق سرویس‌ها، قطعات نرم‌افزاری تعیین می‌شوند و در ادامه در ترکیب سرویس‌ها، هم‌نوایی و هم‌آرایی سرویس‌ها با استفاده از استاندارد BPMN2.0 مدل می‌شود. سرانجام مولفه‌های پیاده‌سازی سرویس‌ها شامل شمای XSD، کد WSDL، کد WS-BPEL و کد WS-CDL از روی مولفه‌های مدل طراحی سیستم استخراج می‌شوند. استفاده توامان از اهداف، فرآیندهای کسب و کار و موجودیت‌های کسب و کار در شناسایی سرویس‌ها، توصیف سرویس‌ها از هر دو جنبه ساختاری و رفتاری، در نظر گرفتن روابط بین سرویس‌ها و موجودیت‌ها علاوه بر روابط بین سرویس‌ها با یکدیگر در تعیین قطعات نرم‌افزار در تحقق سرویس‌ها و مدل‌سازی هم‌نوایی و هم‌آرایی سرویس‌ها به طور دقیق با استفاده از BPMN2.0 و اعتبارسنجی مدل‌ هم‌آرایی در کنار خودکارسازی فرآیند شناسایی، توصیف، تحقق و ترکیب‌ سرویس‌ها، تولید خودکار مولفه‌های پیاده‌سازی و استفاده از استانداردهای مدل‌سازی از مزایای روش پیشنهادی در مقایسه با روش‌های موجود می‌باشد. less
امروزه توسعه سرويس‌گرا به عنوان يک متدلوژي توسعه نرم‌افزار از جايگاه ويژه‌اي در علم مهندسي نرم‌افزار برخوردار است. از سوی دیگر رویکرد مدل‌محور با مدل‌سازی سیستم در سطوح مختلف انتزاع ... more
خرید مقاله
ارائه روشی برای توصیف و درستی‌یابی صوری هم‌آرایی وب‌سرویس‌‌ها یوسف رستگاری
سیده زهرا سجادی
فریدون شمس
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
از سند هم‌آرایی وب‌سرویس‌ها (WS-CDL) برای تعریف همکاری بین چندین واحد کسب‌ و‌ کار سرویس‌گرا استفاده می‌شود. توصیف تعاملات و هماهنگی بین واحدهای همکار به منظور دستیابی به اهداف مشترک ... more
از سند هم‌آرایی وب‌سرویس‌ها (WS-CDL) برای تعریف همکاری بین چندین واحد کسب‌ و‌ کار سرویس‌گرا استفاده می‌شود. توصیف تعاملات و هماهنگی بین واحدهای همکار به منظور دستیابی به اهداف مشترک انجام می‌شود. ناسازگاری‌هایی ممکن است در حین تعاملات رخ دهند، بنابراین ضرورت دارد تا سند هم‌آرایی سرویس‌ها در زمان طراحی، یا بعد از تغییر و قبل از اجرای مجدد، ارزیابی شود. در تحقیق جاری، توصیف صوری سند هم‌آرایی با استفاده از زبان Z ارائه شده است. ارزیابی نحو و ساختار سند هم‌آرایی، ترتیب تبادل پیام‌ها و بررسی نتایج مورد انتظار از تعاملات از جمله مواردی هستند که از طریق مدل‌های صوری ارزیابی می‌شوند. نحوه تبدیل سند هم‌آرایی به توصیف‌های صوری را با استفاده از مطالعه موردی "فرآیند خرید برنامه سفر" نمایش می‌دهیم. less
از سند هم‌آرایی وب‌سرویس‌ها (WS-CDL) برای تعریف همکاری بین چندین واحد کسب‌ و‌ کار سرویس‌گرا استفاده می‌شود. توصیف تعاملات و هماهنگی بین واحدهای همکار به منظور دستیابی به اهداف مشترک ... more
خرید مقاله
Conferences and Events





Registration in Computer Society of Iran
Search Papers