کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6861244 | 675268 | 2015 | 21 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Parametrized automata simulation and application to service composition
ترجمه فارسی عنوان
شبیه سازی اتوماتای پارامتری و کاربرد آن در ترکیب سرویس
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
اتوماتای پارامتری سرویس، پیش تنظیم شبیه سازی ترکیب ترکیب الفبای بی نهایت،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
The service composition problem asks whether, given a client and a community of available services, there exists an agent (called the mediator) that suitably delegates the actions requested by the client to the available community of services. We address this problem in a general setting where the agents communication actions are parametrized by data from an infinite domain and possibly subject to constraints. For this purpose, we define parametrized automata (PAs), where transitions are guarded by conjunction of equalities and disequalities. We solve the service composition problem by showing that the simulation preorder of PAs is decidable and devising a procedure to synthesize a mediator out of a simulation preorder. We also show that the Nonemptiness problem of PAs is PSPACE-complete.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Symbolic Computation - Volume 69, JulyâAugust 2015, Pages 40-60
Journal: Journal of Symbolic Computation - Volume 69, JulyâAugust 2015, Pages 40-60
نویسندگان
Walid Belkhir, Yannick Chevalier, Michael Rusinowitch,