کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875316 1441633 2016 20 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A formal model of service-oriented dynamic object groups
ترجمه فارسی عنوان
یک مدل رسمی از گروه های شیء پویا سرویس گرا
کلمات کلیدی
ترجمه چکیده
خدمات خودآموز، خود توصیف، واحد های نرم افزاری فناوری بی طرف هستند که می توانند در زمان اجرا منتشر، کشف شده، پرس و جو و متشکل از برنامه های کاربردی نرم افزار باشند. طراحی و ساخت برنامه های نرم افزاری برای ایجاد برنامه های کاربردی یا خدمات کامپوزیتی، مستلزم انتزاع بیش از آنچه در زبان های برنامه نویسی شی گرا معمول یافت می شود. در این مقاله، انتزاع سرویس گرا مانند سازگاری با سرویس، کشف و پرس و جو در یک محیط شی گرا مورد بررسی قرار می گیرد. ما یک مدل رسمی گروه های پویا شی گرا که خدمات خود را به محیط زیست ارائه می دهند، توسعه می دهیم. این گروه ها به طور مستقیم به پارادایم شی گرا به این معنا هستند که می توانند به صورت پویا ایجاد شوند، هویت دارند و می توانند تماس های متنی دریافت کنند. برخلاف اشیاء، گروهها برای ساختن کد استفاده نمی شوند. یک گروه خدمات خود را از طریق رابط ها صادر می کند و به اشیاء برای اجرای این خدمات متکی است. اشیاء می توانند گروه های مختلفی را بپیچانند یا ترک کنند گروه ها می توانند به صورت پویا اینترفیس های جدید را صادر کنند، آنها از کشف سرویس پشتیبانی می کنند و می توانند در زمان اجرا برای رابط هایی که آنها پشتیبانی می کنند را مورد سوال قرار دهند. ما یک معانی عملیاتی و یک سیستم نوع استاتیک برای این مدل گروههای شیء پویا را تعریف می کنیم و نشان می دهیم که برنامه های به خوبی تایپ خطاهای متداول را در زمان اجرا ایجاد نمی کنند.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
یک مدل رسمی از گروه های شیء پویا سرویس گرا
چکیده انگلیسی
Services are autonomous, self-describing, technology-neutral software units that can be published, discovered, queried, and composed into software applications at runtime. Designing and composing software services to form applications or composite services, require abstractions beyond those found in typical object-oriented programming languages. This paper explores service-oriented abstractions such as service adaptation, discovery, and querying in an object-oriented setting. We develop a formal model of dynamic object-oriented groups which offer services to their environment. These groups fit directly into the object-oriented paradigm in the sense that they can be dynamically created, they have an identity, and they can receive method calls. In contrast to objects, groups are not used for structuring code. A group exports its services through interfaces and relies on objects to implement these services. Objects may join or leave different groups. Groups may dynamically export new interfaces, they support service discovery, and they can be queried at runtime for the interfaces they support. We define an operational semantics and a static type system for this model of dynamic object groups, and show that well-typed programs do not cause method-not-understood errors at runtime.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volumes 115–116, 1 January–1 February 2016, Pages 3-22
نویسندگان
, , , ,