Service request monitoring using Petri nets and model at runtime
- 1. Université Constantine 2
- 2. University of Castilla-La Mancha
Description
Abstract The service computing paradigm has been widely adopted in various domains, such as in Web applications, Cloud computing and Internet of Things (IoT). Service providers offer services to their clients depending on their functional and non-functional requirements. Generally, the process of using a service consists of three steps discovery, selection, and invocation. This process is subject to many variables. For instance, no service with the required properties was found implying a requirement update, or just the invocation does not work. Therefore, the service monitoring is a necessary feature to be included by service providers. In this paper, we propose a model at-runtime approach to monitor this three-steps-process. We specify the proposed model using the Petri net formalism and the Flexible framework. Our approach allows service managers to monitor the three steps, change requirements when no service can satisfy the current requirements, and select other services when invocations fail. The monitoring system notifies service managers about the request state, the requirement changes required, and the invocation failures based on the Petri net marking. In addition, Python expressions can be used at runtime. Finally, a case study illustrates the approach by the implementation of a compression service.
Translated Descriptions
Translated Description (Arabic)
تم اعتماد نموذج حوسبة الخدمة على نطاق واسع في مجالات مختلفة، مثل تطبيقات الويب والحوسبة السحابية وإنترنت الأشياء (IoT). يقدم مقدمو الخدمات خدمات لعملائهم اعتمادًا على متطلباتهم الوظيفية وغير الوظيفية. بشكل عام، تتكون عملية استخدام الخدمة من ثلاث خطوات للاكتشاف والاختيار والاستدعاء. تخضع هذه العملية للعديد من المتغيرات. على سبيل المثال، لم يتم العثور على خدمة ذات خصائص مطلوبة تشير إلى تحديث المتطلبات، أو أن الاستدعاء فقط لا يعمل. لذلك، فإن مراقبة الخدمة هي ميزة ضرورية يجب تضمينها من قبل مقدمي الخدمة. في هذه الورقة، نقترح نهجًا نموذجيًا في وقت التشغيل لمراقبة هذه العملية المكونة من ثلاث خطوات. نحدد النموذج المقترح باستخدام شكليات Petri net والإطار المرن. يسمح نهجنا لمديري الخدمة بمراقبة الخطوات الثلاث، وتغيير المتطلبات عندما لا تستطيع أي خدمة تلبية المتطلبات الحالية، واختيار خدمات أخرى عند فشل الدعوات. يقوم نظام المراقبة بإخطار مديري الخدمة بحالة الطلب، وتغييرات المتطلبات المطلوبة، وإخفاقات الاستدعاء بناءً على علامة Petri net. بالإضافة إلى ذلك، يمكن استخدام تعبيرات بايثون في وقت التشغيل. أخيرًا، توضح دراسة الحالة النهج من خلال تنفيذ خدمة الضغط.Translated Description (French)
Résumé Le paradigme de l'informatique de service a été largement adopté dans divers domaines, tels que les applications Web, l'informatique en nuage et l'Internet des objets (IoT). Les prestataires proposent des services à leurs clients en fonction de leurs besoins fonctionnels et non fonctionnels. Généralement, le processus d'utilisation d'un service comprend trois étapes : la découverte, la sélection et l'invocation. Ce processus est soumis à de nombreuses variables. Par exemple, aucun service avec les propriétés requises n'a été trouvé, ce qui implique une mise à jour des exigences, ou simplement l'invocation ne fonctionne pas. Par conséquent, la surveillance du service est une fonctionnalité nécessaire à inclure par les fournisseurs de services. Dans cet article, nous proposons une approche modèle à l'exécution pour surveiller ce processus en trois étapes. Nous spécifions le modèle proposé en utilisant le formalisme du réseau de Petri et le cadre Flexible. Notre approche permet aux gestionnaires de services de surveiller les trois étapes, de modifier les exigences lorsqu'aucun service ne peut satisfaire les exigences actuelles et de sélectionner d'autres services lorsque les invocations échouent. Le système de surveillance informe les responsables de service de l'état de la demande, des modifications des exigences requises et des échecs d'invocation en fonction du marquage Petri net. De plus, les expressions Python peuvent être utilisées lors de l'exécution. Enfin, une étude de cas illustre l'approche par la mise en place d'un service de compression.Translated Description (Spanish)
Resumen El paradigma de la informática de servicios ha sido ampliamente adoptado en varios dominios, como en aplicaciones web, computación en la nube e Internet de las cosas (IoT). Los proveedores de servicios ofrecen servicios a sus clientes en función de sus requisitos funcionales y no funcionales. En general, el proceso de uso de un servicio consta de tres pasos: descubrimiento, selección e invocación. Este proceso está sujeto a muchas variables. Por ejemplo, no se encontró ningún servicio con las propiedades requeridas que implique una actualización de requisitos, o simplemente la invocación no funciona. Por lo tanto, la supervisión del servicio es una característica necesaria que deben incluir los proveedores de servicios. En este documento, proponemos un modelo de enfoque en tiempo de ejecución para monitorear este proceso de tres pasos. Especificamos el modelo propuesto utilizando el formalismo de la red de Petri y el marco flexible. Nuestro enfoque permite a los administradores de servicios monitorear los tres pasos, cambiar los requisitos cuando ningún servicio puede satisfacer los requisitos actuales y seleccionar otros servicios cuando las invocaciones fallan. El sistema de monitoreo notifica a los gerentes de servicio sobre el estado de la solicitud, los cambios de requisitos requeridos y los fallos de invocación basados en el marcado de red de Petri. Además, las expresiones de Python se pueden utilizar en tiempo de ejecución. Finalmente, un estudio de caso ilustra el enfoque mediante la implementación de un servicio de compresión.Files
latest.pdf.pdf
Files
(1.4 MB)
Name | Size | Download all |
---|---|---|
md5:7b516d80097a0f288c3ae94f3ac7eb94
|
1.4 MB | Preview Download |
Additional details
Additional titles
- Translated title (Arabic)
- مراقبة طلب الخدمة باستخدام شبكات بتري والنموذج في وقت التشغيل
- Translated title (French)
- Surveillance des demandes de service à l'aide des réseaux de Petri et du modèle au moment de l'exécution
- Translated title (Spanish)
- Supervisión de solicitudes de servicio utilizando redes y modelos de Petri en tiempo de ejecución
Identifiers
- Other
- https://openalex.org/W4310149606
- DOI
- 10.21203/rs.3.rs-2302388/v1
References
- https://openalex.org/W2022106311
- https://openalex.org/W2910806988