Publisher of Iranian Journals and Conference Proceedings

Please waite ..
CIVILICAWe Respect the Science
Publisher of Iranian Journals and Conference Proceedings
عنوان
Paper

Using Timed Petri-Nets for Specifying Elaborate Requirements in Service Oriented Systems

تعداد صفحات: 8 | تعداد نمایش خلاصه: 1297 | نظرات: 0
سال انتشار: 1389
کد COI Paper: NCSCIT01_028
زبان Paper: Englishglish
(فایل این Paper در 8 صفحه با فرمت PDF قابل دریافت می باشد)

راهنمای دانلود فایل کامل این Paper

اگر در مجموعه سیویلیکا عضو نیستید، به راحتی می توانید از طریق فرم روبرو اصل این Paper را خریداری نمایید.

با عضویت در سیویلیکا می توانید اصل مقالات را با حداقل ۳۳ درصد تخفیف (دو سوم قیمت خرید تک Paper) دریافت نمایید. برای عضویت در سیویلیکا به صفحه ثبت نام مراجعه نمایید.در صورتی که دارای نام کاربری در مجموعه سیویلیکا هستید، ابتدا از قسمت بالای صفحه با نام کاربری خود وارد شده و سپس به این صفحه مراجعه نمایید.

لطفا قبل از اقدام به خرید اینترنتی این Paper، ابتدا تعداد صفحات Paper را در بالای این صفحه کنترل نمایید.

برای راهنمایی کاملتر راهنمای سایت را مطالعه کنید.

خرید و دانلود فایل Paper

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

قیمت این مقاله : 3,000 تومان

آدرس ایمیل خود را در کادر زیر وارد نمایید:

مشخصات نویسندگان Paper Using Timed Petri-Nets for Specifying Elaborate Requirements in Service Oriented Systems

Seyyed Hosein Seyyedi Arani - Islamic Azad University, Natanz Branch, Natanz, Iran
Mostafa Ghobaei Arani - Payame Noor University,Aran and Bidgol Branch, Aran and Bidgol, Iran

چکیده Paper:

In recent years, various organizations by following the concept of service oriented architecture, offer their services with independent and reusable programs on Internet. Since these services can be called by application programs and other services, the concept of implementing inter-organizational workflow by dynamically composing the services is being developed. The necessary requirement of this development is the existence of formally defined standard methods for specification of these compositions in an abstract way. In a service oriented system, users' requirements fall into simple and elaborate categories. To satisfy the former, it is sufficient to call one service; however, to satisfy the latter, it is necessary to call a composition of services. Additionally, to satisfy many of elaborate requirements, time constraint is a determinant of requirement satisfaction. In this paper, we first specify common types of elaborate and time-based users' requirements in service oriented systems, and then using an three-step approach, suggest a specific composition of services for each type of requirement. In the first step of the approach, an operator is ntroduced for informal stating a composite service. In the second step, the composition is formally specified using a model based on Transition Timed Petri-Nets, and in the third step, the model is defined formally

کلیدواژه ها:

Service oriented architecture(SOA), Web service, Services composition, Requirement specification, Petri-Nets

کد Paper/لینک ثابت به این Paper

برای لینک دهی به این Paper می توانید از لینک زیر استفاده نمایید. این لینک همیشه ثابت است و به عنوان سند ثبت Paper در مرجع سیویلیکا مورد استفاده قرار میگیرد:

https://civilica.com/doc/132733/

کد COI Paper: NCSCIT01_028

نحوه استناد به Paper:

در صورتی که می خواهید در اثر پژوهشی خود به این Paper ارجاع دهید، به سادگی می توانید از عبارت زیر در بخش منابع و مراجع استفاده نمایید:
undefined, undefined و undefined, undefined,1389,Using Timed Petri-Nets for Specifying Elaborate Requirements in Service Oriented Systems,اولین کنفرانس ملی محاسبات نرم و فن آوری اطلاعات,Mahshahr,,,https://civilica.com/doc/132733

در داخل متن نیز هر جا که به عبارت و یا دستاوردی از این Paper اشاره شود پس از ذکر مطلب، در داخل پارانتز، مشخصات زیر نوشته می شود.
برای بار اول: (1389, Seyyedi Arani, Seyyed Hosein؛ Mostafa Ghobaei Arani)
برای بار دوم به بعد: (1389, Seyyedi Arani؛ Ghobaei Arani)
برای آشنایی کامل با نحوه مرجع نویسی لطفا بخش راهنمای سیویلیکا (مرجع دهی) را ملاحظه نمایید.

Research Info Management

Certificate | Report Paper

Export Citation info of this Paper to research management softwares

علم سنجی و رتبه بندی Paper

مشخصات مرکز تولید کننده این Paper به صورت زیر است:
نوع مرکز: azad university
تعداد مقالات: 503
در بخش علم سنجی پایگاه سیویلیکا می توانید رتبه بندی علمی مراکز دانشگاهی و پژوهشی کشور را بر اساس آمار مقالات نمایه شده مشاهده نمایید.

New RelatedPapers

Share this paper

WHAT IS COI?

COI is a national code dedicated to all Iranian Conference and Journal Papers. the COI of each paper can be verified online.

Support