عنوان مقاله |
نویسنده (ها) |
مربوط به کنفرانس |
چکیده |
|
کشف قوانین بر روی پرسوجوهای ساختیافتهی وب معنایی جهت یاری کاربران انسانی در نگارش پرسوجوهای SPARQL |
سعید شفیعی حسنآبادی
احسان عسگریان
|
نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
یکی از زبانهای رایج تولید پرسوجوهای ساختیافته در وب معنایی SPARQL است. تولید این پرسوجوها، جهت استفاده از دادههای وب معنایی با قالب RDF (چهارچوب توصیف منابع)، برای افرادی که ... مشاهده کامل
یکی از زبانهای رایج تولید پرسوجوهای ساختیافته در وب معنایی SPARQL است. تولید این پرسوجوها، جهت استفاده از دادههای وب معنایی با قالب RDF (چهارچوب توصیف منابع)، برای افرادی که با هستانشناس تعریفشده بر بسترِ مجموعه دادهها آشنایی ندارند، میتواند فرایندی پیچیده باشد. در این بین وجود الگوهای مشخص (از پیش تعریفشده) برای چگونگی ساخت پرسوجوهای SPARQL، کاربران انسانی تازهکار را با مشکل مواجه نموده است. در این پژوهش با استفاده از الگوریتمهای یادگیری ماشین، کاوش بررسی قوانین انجمتی ارسال شده شده اندقوانین ترتیبی و تعریف قالبهای ثابتی بر روی الگوهای سهگانه در بدنهی پرسوجوهای SPARQL ارسالشده از سوی کاربران، میتوان به پیشبینی و تخمین اجزای آتی بکارفته در چینش پرسوجویهای آتی پرداخت تا به کاربران آتی وب معنایی در نگارش پرسوجوهای ساختیافته کمک نمود. دقتهای بالای به دست آمده از ارزیابی این قوانین، بر روی مجموعه دادهی معتبر پرسوجوهای پایانهی DBpedia در سال 2011 نشان از کارایی مناسب این قوانین دارد. عدم مشاهده کامل
یکی از زبانهای رایج تولید پرسوجوهای ساختیافته در وب معنایی SPARQL است. تولید این پرسوجوها، جهت استفاده از دادههای وب معنایی با قالب RDF (چهارچوب توصیف منابع)، برای افرادی که ... مشاهده کامل
|
خرید مقاله
|
یک الگوریتم مبتنی بر تحلیل پیوند برای رتبه بندی پرس و جوی SPARQL |
اعظم فیضنیا
فتانه زرین کلام
|
نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
در وب معنایی، دادهها ساختیافته هستند و از طریق پیوندهای معنایی به یک دیگر متصل شدهاند. ساخت یافتگی دادهها، این امکان را فراهم میکند که بتوان براساس پرسوجوهای ساختیافته و ... مشاهده کامل
در وب معنایی، دادهها ساختیافته هستند و از طریق پیوندهای معنایی به یک دیگر متصل شدهاند. ساخت یافتگی دادهها، این امکان را فراهم میکند که بتوان براساس پرسوجوهای ساختیافته و دقیق SPARQL به جستجوی وب پرداخت. بنابراین برخلاف وب اسناد که در آن، جستجو تنها براساس پرسوجوی کلمهی کلیدی ممکن بود، در وب معنایی امکان پاسخ به پرسوجوهای غیرمبهم SPARQL به وجود آمده است. باتوجه به اینکه تمام نتایج بازگردانده شده در پاسخ به یک پرسوجوی SPARQL باید تمام شرایط ذکر شده در پرسوجو را برآورده نمایند، بررسی تمام نتایج و یافتن پاسخ مطلوب برای کاربر، امری زمانبر خواهد بود. در نتیجه نیاز به روشهایی برای رتبهبندی نتایج پرسوجوهای SPARQL وجود دارد که بتواند به کاربر کمک کند تا سریعتر پاسخ مورد نظر خود را بیابد. در این مقاله با تطبیق روش رتبهبندی PageRank و تخصیص خودکار وزن به پیوندهای معنایی مختلف، یک روش رتبهبندی برمبنای تحلیل پیوند برای نتایج پرسوجوهای SPARQL پیشنهاد شدهاست. روش تخصیص وزن، براساس تفکیک پیوندهای معنایی عام و خاص عمل مینماید. نتایج حاصل از ارزیابی نشان میدهد که روش تخصیص وزن پیشنهادی، در محاسبهی رتبه موفق است و باعث بهبود دقت الگوریتم رتبهبندی میشود. عدم مشاهده کامل
در وب معنایی، دادهها ساختیافته هستند و از طریق پیوندهای معنایی به یک دیگر متصل شدهاند. ساخت یافتگی دادهها، این امکان را فراهم میکند که بتوان براساس پرسوجوهای ساختیافته و ... مشاهده کامل
|
خرید مقاله
|
الگوریتم کشف منبع با استفاده از درخت وزندار در سیستمهای فوقکلانمقیاس |
سیما عمادی
زهرا زنبق
|
نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
سامانههاي فوقكلانمقياس سامانههايي هستند كه از نظر مقياس و اندازه فراتر از سامانههاي امروزي هستند. مقياس در سامانههاي فوقكلانمقياس باعث تغيير همه چيز ميشود. اين مساله باعث انفجار فضاي طراحي ... مشاهده کامل
سامانههاي فوقكلانمقياس سامانههايي هستند كه از نظر مقياس و اندازه فراتر از سامانههاي امروزي هستند. مقياس در سامانههاي فوقكلانمقياس باعث تغيير همه چيز ميشود. اين مساله باعث انفجار فضاي طراحي ميشود و بخشهايي را شامل ميشود كه امروزه به هيچ عنوان با آنها درگير نبوديم. نگهداشت يكپارچگي، مفهومي كه در طراحي چنين سیستمهايي مطرح ميشود فراتر از فعاليتهاي طراحي امروزي است. در واقع چالشهاي جديدي در دانش، ابزار و روشهاي امروزي مطرح ميشود. یکی از این چالشها یافتن منبع در این نوع سیستمها است، زیرا منابع در این سیستمها از نظر جغرافیایی بسیار پراکنده هستند. تاکنون روشهای متفاوتی برای کشف منبع در این نوع سیستمها ارائهشدهاست. واضح است که پیدا کردن منابع برای کاربران در چنین محیطی مسئلهای بسیار پیچیده و دشوار است. در این مقاله الگوریتم جدیدی معرفیشدهاست که از یک درخت وزندار برای کشف منبع استفاده میکند. در این روش میتوان به صورت مستقیم و بدون مراجعه به گرههای اضافی و ایجاد ترافیک غیرضروری به گرههایی که این منبع را در اختیار دارد، دست پیدا کرد. طبق نتایج شبیهسازی، ترافیک وارد بر شبکه و میزان لینک اشغالشده نسبت به روشهای دیگر کمتر است و کارایی شبکه در این روش بهبود یافتهاست. عدم مشاهده کامل
سامانههاي فوقكلانمقياس سامانههايي هستند كه از نظر مقياس و اندازه فراتر از سامانههاي امروزي هستند. مقياس در سامانههاي فوقكلانمقياس باعث تغيير همه چيز ميشود. اين مساله باعث انفجار فضاي طراحي ... مشاهده کامل
|
خرید مقاله
|
وارسی نمودار کلاس UML/OCL با استفاده از درخت نحو مجرد OCL و کلونی زنبور عسل مصنوعی |
عباس منصوری رضی
جابر کریمپور
شهریار لطفی
|
نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
در رویکرد توسعه مبتنی بر مدل، UML به همراه OCL به عنوان یک استانداردی که به طور گسترده پذیرفته شده، در فرآیند تولید و توسعه نرم افزار بکار گرفته شده ... مشاهده کامل
در رویکرد توسعه مبتنی بر مدل، UML به همراه OCL به عنوان یک استانداردی که به طور گسترده پذیرفته شده، در فرآیند تولید و توسعه نرم افزار بکار گرفته شده است. از آنجاییکه وارسی مدل تاثیر قابل ملاحظه ای روی کیفیت تولید نرم افزار نهایی دارد و وارسی مدل UML به همراه OCL یک مسئله تصمیم ناپذیر است در این مقاله روش جدیدی مبتنی بر الگوریتم کلونی زنبور عسل مصنوعی و درخت نحو مجرد OCL ارائه شده است که بطور خودکار مدل UML/OCL را وارسی میکند. عدم مشاهده کامل
در رویکرد توسعه مبتنی بر مدل، UML به همراه OCL به عنوان یک استانداردی که به طور گسترده پذیرفته شده، در فرآیند تولید و توسعه نرم افزار بکار گرفته شده ... مشاهده کامل
|
خرید مقاله
|
ارائه روشی برای تبدیل مدلهای UML-B به توصیفهای Object-Z |
محبوبه فلاحطلب
|
نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
تبدیل بین نمادگذاریهای صوری و بصری به فرآیند توسعه نرمافزار کمک میکند؛ به این ترتیب که از مدلسازی بصری در اوایل مرحله مدلسازی مفهومی (جهت درک ساده¬تر نیازمندیها توسط ذینفعان ... مشاهده کامل
تبدیل بین نمادگذاریهای صوری و بصری به فرآیند توسعه نرمافزار کمک میکند؛ به این ترتیب که از مدلسازی بصری در اوایل مرحله مدلسازی مفهومی (جهت درک ساده¬تر نیازمندیها توسط ذینفعان مختلف) و از روشهای صوری در مراحل بعدی، که نیازمندیها بهتر درک شدند (جهت طراحی و ساخت نرمافزار بر اساس توصیف صوری غیر مبهم و سازگار)، استفاده میشود. قوانین تبدیل بین مدلها در رویکردهای موجود اغلب به صورت غیردقیق بوده که این موجب ابهام در انتقالها میشود. همچنین در کارهای موجود، از زبانهای مدلسازی بصری ولی کاملا غیرصوری به عنوان زبان مبدا استفاده شده است. این موضوع موجب تاخیر در درستییابی صوری تا زمان تبدیل مدلها به یک زبان صوری می-شود. با توجه به مشکلات بالا، هدف این مقاله، تکمیل کار قبلی نویسندگان مقاله جهت ارائه روشی در سطح متامدل صوری به منظور تبدیل مدلهای UML-B، به عنوان یک نمادگذاری بصری و نیمهصوری شیگرا، به ساختارهای Object-Z، به عنوان یک زبان صوری غیر بصری است. استفاده از UML-B به جای سایر زبانهای کاملا بصری و غیرصوری، زمینه درستییابی بخشی از مدلهای بصری را در اوایل مرحله مدلسازی مفهومی فراهم میسازد. با استفاده از یک مطالعه موردی، کاربردپذیری روش ارائه شده نشان داده میشود. عدم مشاهده کامل
تبدیل بین نمادگذاریهای صوری و بصری به فرآیند توسعه نرمافزار کمک میکند؛ به این ترتیب که از مدلسازی بصری در اوایل مرحله مدلسازی مفهومی (جهت درک ساده¬تر نیازمندیها توسط ذینفعان ... مشاهده کامل
|
خرید مقاله
|
درک تکامل یک چارچوبنرمافزاری شیءگرا از طریق تحلیل تکامل مفاهیم عرضه شده توسط آن چارچوب در بین نسخههای مختلف آن |
ثریا غراوی
عباس حیدرنوری
|
نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
چارچوبهای نرمافزاری شیءگرا به دلیل داشتن مزایایی چون ایجاد یک بستر استاندارد برای طراحی و پیادهسازی سامانههای نرمافزاری، کاهش هزینهها، کاهش زمان توسعهی سیستم، استفاده مجدد از کد، و افزایش ... مشاهده کامل
چارچوبهای نرمافزاری شیءگرا به دلیل داشتن مزایایی چون ایجاد یک بستر استاندارد برای طراحی و پیادهسازی سامانههای نرمافزاری، کاهش هزینهها، کاهش زمان توسعهی سیستم، استفاده مجدد از کد، و افزایش قابلیت مراقبت و نگهداری به صورت گسترده توسط برنامهنویسان مورد استفاده قرار میگیرند. ولی این چارچوبهای نرمافزاری مشابه هر نرمافزار دیگر به دلیل مطرح شدن نیازمندیهای جدید و یا رفع کردن خطاها در طول زمان دچار تغییر و تحول میشوند. این تغییرات موجب میشوند برنامههایی که با استفاده از این چارچوبهای نرمافزاری نوشته شدهاند دچار مشکل شده و به درستی کار خود را انجام ندهند. بنابراین همراه با بهروزرسانی و تکامل چارچوبهای نرمافزاری، این برنامهها نیز نیازمند بهروزرسانی و تکامل میباشند. در این مقاله روشی ارائه شده است که تکامل یک چارچوب نرمافزاری شیءگرا را با استفاده از تحلیل تکامل مفاهیم یا وظیفهمندیهای عرضه شده توسط آن چارچوب در بین نسخههای مختلف آن می-سنجد، و قوانین تغییری برای فرآیند تکامل مفاهیم چارچوبهای نرمافزاری شیءگرا استخراج میکند که برنامهنویسان با استفاده از این قوانین تغییر میتوانند برنامههای خود را بهروزرسانی کنند. دستاورد این مقاله، روشی نیمهخودکار و با دقت و قابلیتبازیابی قابل قبول جهت کشف قوانین تغییر مورد نیاز برای بهروزرسانی برنامهها میباشد. برای بررسی و شفاف-سازی این روش نمونهی عملی از آن نیز پیادهسازی شده است. در نهایت برای سنجش کارایی روش پیشنهادی، تکامل تعدادی چارچوب نرمافزاری با استفاده از این روش تحلیل شده و نتایج بدست آمده با نتایج روشهای پیشین مقایسه گردیده است. عدم مشاهده کامل
چارچوبهای نرمافزاری شیءگرا به دلیل داشتن مزایایی چون ایجاد یک بستر استاندارد برای طراحی و پیادهسازی سامانههای نرمافزاری، کاهش هزینهها، کاهش زمان توسعهی سیستم، استفاده مجدد از کد، و افزایش ... مشاهده کامل
|
خرید مقاله
|
پالایش ترکیبی خروجی ابزارهای خودکارشناسایی الگوهای طراحی در تشخیص الگوهای با ساختار مشابه |
زینب اسمعیلپور
اشکان سامی
|
نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
الگوهای طراحی، ساختارهای اثبات شده و قابل اطمینانی هستندکه برای حل برخی ازمشکلاتی¬که به طورمکرردر طراحی نرمافزار شیگرا رخ میدهد، بکار برده میشوند. هرالگو هدف و ساختار مشخصی دارد. بنابراین ... مشاهده کامل
الگوهای طراحی، ساختارهای اثبات شده و قابل اطمینانی هستندکه برای حل برخی ازمشکلاتی¬که به طورمکرردر طراحی نرمافزار شیگرا رخ میدهد، بکار برده میشوند. هرالگو هدف و ساختار مشخصی دارد. بنابراین شناسایی خودکارالگوهای طراحی میتواند هدف و طرح کد نرم افزاری را بازیابی کند و هزینه و زمان نگهداشت پذیری را کاهش دهد. تاکنون ابزارها و روشهای زیادی برای شناسایی خودکار الگوهای طراحی ارائه شده است. خروجی تولید شده توسط این ابزارها هنوز هم دارای مثبت کاذب زیادی است (خصوصا در شناسایی الگوهای با ساختار مشابه). از اینرو روشهای پالایش خودکار نتایج ابزارها نیزپیشنهاد شدند. روشهای پالایش سعی بر شناسایی مثبت کاذب نتایج، برای ارائه ی یک خروجی مطمئن تردارند. در این مقاله یک پالایش ترکیبی ارائه شده است. ابداع این پالایش نسبت به روش¬های قبلی، استخراج معیارهای جدید با ثباتی است که به خوبی میتوانند، یک الگو را با در نظر گرفتن الگوهای با ساختار مشابه پالایش کند. خودکارسازی این پالایش با استفاده از روشهای دادهکاوی میباشد. این معیارها اولین دسته ای هستند که خصوصیت ثابت الگوریتمیک الگوی استراتژی را جستجو کرده اند. نتایج حاصل از روش پالایش ارائه شده، با دقت یادگیری 98.2% تا 100% الگوها را بصورت صحیح شناسایی میکند. عدم مشاهده کامل
الگوهای طراحی، ساختارهای اثبات شده و قابل اطمینانی هستندکه برای حل برخی ازمشکلاتی¬که به طورمکرردر طراحی نرمافزار شیگرا رخ میدهد، بکار برده میشوند. هرالگو هدف و ساختار مشخصی دارد. بنابراین ... مشاهده کامل
|
خرید مقاله
|
ارائه روشی آگاه از زمینه جهت اکتشاف سرویسها |
وهاب قاسمی
|
نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
گسترش بکارگیری معماری سرویسگرا و به تبع آن گسترش توسعه سرویسهای وب، نیاز به روشهای اکتشاف سرویس را دوچندان کرده است. با درنظر گرفتن زمینه در این روشها، میتوانیم سرویسهایی ... مشاهده کامل
گسترش بکارگیری معماری سرویسگرا و به تبع آن گسترش توسعه سرویسهای وب، نیاز به روشهای اکتشاف سرویس را دوچندان کرده است. با درنظر گرفتن زمینه در این روشها، میتوانیم سرویسهایی متناسب با نیاز کاربر و زمینه جاری به او پیشنهاد دهیم. روشهای زیادی برای اکتشاف سرویسها ارائه شده است که بعضا اطلاعات زمینهای را در نظر میگیرند، اما این روشهای آگاه از زمینه، در فرایند اکتشاف سرویس، سرویسهای مرکب را در نظر نگرفتهاند. در این مقاله روشی آگاه از زمینه برای اکتشاف سرویسها ارائه خواهد شد که سه ویژگی اصلی دارد: اول اینکه سرویسهای مرکب را در فرایند اکتشاف سرویس در نظر میگیرد، دوم اینکه سیاستهای کنترل دسترسی به سرویسها را لحاظ میکند، سوم اینکه از روشهای معنایی برای مدلسازی سرویسها و زمینه استفاده میکند. قابلیت کاربرد روش ارائه شده با استفاده از یک مطالعه موردی نشان داده میشود. نتایج مطالعه موردی نشان میدهد که بکارگیری این روش منجر به کاهش منفی کاذب خواهد شد. همچنین با استفاده از این روش میتوانیم سیاستهایی برای کنترل دسترسی کاربران به سرویسهای موجود اعمال نموده و از مزایای روشهای معنایی همچون استنتاج بهرهمند شویم. عدم مشاهده کامل
گسترش بکارگیری معماری سرویسگرا و به تبع آن گسترش توسعه سرویسهای وب، نیاز به روشهای اکتشاف سرویس را دوچندان کرده است. با درنظر گرفتن زمینه در این روشها، میتوانیم سرویسهایی ... مشاهده کامل
|
خرید مقاله
|
ارائه روشی مبتنی بر اهداف حرفه جهت شناسایی مدل تغییرپذیری سطح معماری در خانواده محصولات سرویسگرا |
صدیقه خوشنویس
فریدون شمس
|
نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
در خط تولید سرویسگرا، شناسایی سرویسهای مناسب و تغییرپذیری آنها در خط تولید سرویس گرا به صورتی که همراستا با حرفه باشند، تنها با استفاده از مدل ویژگی امکانپذیر نیست ... مشاهده کامل
در خط تولید سرویسگرا، شناسایی سرویسهای مناسب و تغییرپذیری آنها در خط تولید سرویس گرا به صورتی که همراستا با حرفه باشند، تنها با استفاده از مدل ویژگی امکانپذیر نیست و برای این منظور میبایست سرویسها را بر اساس فرایندهای حرفه شناسایی کرد؛ همانطورکه برای سیستمهای منفرد سرویسگرا نیز از این فرایندها استفاده میشود. در این پژوهش، روشی ارائه میشود که مبتنی بر اهداف سازمان تولید کننده نرمافزار، سرویسهای مناسب را شناسایی و تغییرپذیری آنها را تعیین میکند. این کار از طریق یک الگوریتم تکاملی با افراز گراف مربوط به «مدل خانواده فرایندهای حرفه» انجام میشود. سرویسهای به دست آمده در این روش از اصول طراحی منطبق با اهداف سازمان تبعیت کرده و در قالب مدل تغییرپذیری سرویس سازماندهی و توصیف میشوند. ارزیابی روش از طریق آزمایش تجربی نشان داد که مدلهای ایجاد شده توسط روش پیشنهادی سازگار، دارای قابلیت نگهداری بالا و از نظر معیارهای طراحی سرویسگرایی و خط تولید نرمافزار نزدیک به طراحی معماران و اغلب بهتر از آنها هستند. عدم مشاهده کامل
در خط تولید سرویسگرا، شناسایی سرویسهای مناسب و تغییرپذیری آنها در خط تولید سرویس گرا به صورتی که همراستا با حرفه باشند، تنها با استفاده از مدل ویژگی امکانپذیر نیست ... مشاهده کامل
|
خرید مقاله
|
طراحی و توسعه یک مجموعه متریک برای سیستمهای سرويسگرا |
علي رستمپور
علي کاظمي
فريدون شمس
|
نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
ارزيابي سرويسهاي نرم افزاري در سطح مدلسازي و همچنين در سطح پيادهسازي با توجه به ويژگيهاي کيفي ، يکي از فعاليتهاي کليدي براي اطمينان از پيادهسازي يک معماري سرويسگراي موفق ... مشاهده کامل
ارزيابي سرويسهاي نرم افزاري در سطح مدلسازي و همچنين در سطح پيادهسازي با توجه به ويژگيهاي کيفي ، يکي از فعاليتهاي کليدي براي اطمينان از پيادهسازي يک معماري سرويسگراي موفق است. براي انجام اين کار ضروري است که يک مجموعه از ويژگيهاي کيفي مانند قابليت استفاده مجدد، اتصال سست بين سرويسي، خودمختاري، انسجام و دانهبندي مناسب را در نظر گرفته و براي اندازهگيري آنها، متريکهايي تعريف کرد که بتوان به کمک اندازهگيري کمي، ميزان موثر بودن سرويسهاي نرم افزاري را بر مبناي اهداف کسب و کار تعيين کرد. با توجه به اينکه فاز مدلسازي، مبنايي براي فاز پيادهسازي محسوب ميشود، ارزيابي در اين فاز بسيار حائز اهميت است. تاکنون روشهاي بسياري براي ارزيابي سرويسهاي نرم افزاري ارائه شده است، اما تعداد کمي از آنها به ارزيابي در سطح مدلسازي پرداخته اند و عمده آنها نيز يا سرويس را با تعداد اندکي متريک مورد ارزيابي قرار دادهاند و يا اينکه متريکها طوري کمي نشده اند که قابل اندازه گيري توسط ابزار باشند. در اين مقاله متريکهايي براي اندازهگيري انسجام، پيچيدگي ساختاري و خودمختاري سرويس از ديدگاه موجوديت محور بودن، ارائه شده است که قابليت کمي شدن از طريق ماتريس کراد را دارند و از طريق اين متريکها ميتوان ميزان خوش تعريف بودن سرويس را اندازهگيري کرد. عدم مشاهده کامل
ارزيابي سرويسهاي نرم افزاري در سطح مدلسازي و همچنين در سطح پيادهسازي با توجه به ويژگيهاي کيفي ، يکي از فعاليتهاي کليدي براي اطمينان از پيادهسازي يک معماري سرويسگراي موفق ... مشاهده کامل
|
خرید مقاله
|