بانک مقالات ISI با ترجمه فارسی
مقالات با ترجمه فارسی

عنوان انگلیسی مقاله

TOWARDS FORMAL VERIFICATION OF WEB SERVICE COMPOSITION

ترجمه فارسی عنوان مقاله

بسوی تایید رسمی از سرویس وب ترکیبی

منبع مقاله

Lecture Notes in Computer Science Volume 4102, 2006, pp 257-273

مشخصات مقاله

فایل PDF انگلیسی /۵ صفحه / فایل doc فارسی /۱۵ صفحه/  ۲۰۰۶ 

چکیده انگلیسی مقاله

-Correct notation for specifying the composite service alone is not sufficient to guarantee reliability, thus comes a strong demand on modeling and verifying web services composition languages. This paper presented a formal method of web service composition verification based on Petri net. Focus is given onBPEL4WS specification, of which both behavior semantics and communication semantics are covered. Meta-model transformation rules are given and automatic verification process is also introduced.

چکیده فارسی مقاله

 نماد درست برای تعیین سرویس ترکیبی  به تنهایی برای تضمین قابلیت اطمینان کافی نیست ، بنابراین یک تقاضای قوی در مدل سازی  و تایید زبان های  سرویس های وب ترکیبی می آید. ارئه این مقاله یک روش رسمی از مبتنی بر سرویس وب ترکیبی در شبکه پتری تایید می شود. تمرکز یک مشخصه BPEL4WS ارائه می دهد. که هر دو رفتار semantics و ارتباط semantics تحت پوشش هستند. قوانین تغییر مدل Meta داده می شود و  فرآیند تایید خودکار نیز معرفی شده است.

پیش نمایش صفحه اول مقاله

بسوی تایید رسمی از سرویس وب ترکیبی

بسوی تایید رسمی از سرویس وب ترکیبی

حجم مقاله : ۵۶۵ کیلوبایت                قیمت: ۸۰۰۰ تومان

 

پاسخ دهید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *

شما می‌توانید از این دستورات HTML استفاده کنید: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>