DENEB: a platform for the development and execution of interoperable dynamic Web processes

Fabra, Javier; Álvarez, Pedro; Bañares, José Ángel; Ezpeleta, J.

doi:10.1002/cpe.1795

Cited by 7 publications

(3 citation statements)

References 45 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The ability to both identify a failure and adequately plan for its repair is very important for self‐adaptive software systems, since it provides systems with the means to recover from a failure on the fly. The models and structures previously stated allow for the establishment of a workflow, enabling the module responsible for monitoring and performing adaptations to operate in a way that makes it possible to reorganize existing service orchestrations and/or compositions, which are often involved in the adaptation process 75‐77 . Overall, the main purpose of such models and structures in the adaptation is that they enable the components of an application to, by themselves, adjust or optimize their parameters and/or states of execution according to different variants in the configuration of the context.…”

Section: S‐frame: a Modular Framework To Design Self‐appsmentioning

confidence: 99%

Design of frameworks for self‐adaptive service‐oriented applications: A systematic analysis

et al. 2021

View full text Add to dashboard Cite

Self‐adaptive service‐oriented Applications (Self‐Apps) must be able to understand themselves or the environment in which they are executed, and propose solutions to meet changing conditions. The development of these applications is not a trivial task, since it encompasses issues from different research areas. Despite the importance of frameworks for Self‐Apps, there is a lack of comprehensive analysis of how the design of such applications is performed, and regarding the standardization of concepts and coverage of minimum requirements for Self‐Apps. The main contribution of this article is to present this comprehensive analysis, providing the state of the art for this subject. This analysis was built through a Systematic Mapping Study, based on a total of 65 studies, from which we identify the main attributes for Quality of Service (QoS), search strategies, and service management strategies employed in the design of frameworks for Self‐Apps. The main aspects of requirements involved in the design of Self‐Apps were pointed out to stakeholders. For example, these applications must implement a method for evaluation of QoS based on metrics. We also put forward the S‐Frame, a modular solution that brings together the main features for the design of Self‐Apps, and describe the main challenges concerning these applications.

show abstract

Section: S‐frame: a Modular Framework To Design Self‐appsmentioning

confidence: 99%

Design of frameworks for self‐adaptive service‐oriented applications: A systematic analysis

et al. 2021

View full text Add to dashboard Cite

show abstract

“…The DENEB [40] business workflow system (based on a high-level type of Petri nets) does support runtime discovery of the service objects required to execute a business workflow and is an excellent implementation for mainstream internet eCommerce and business logic workflows since it can use formal methods to prove that the selected Petri net network will implement the desired business logic correctly. It also uses semantic web standards to facilitate service discovery.…”

Section: Related Workmentioning

confidence: 99%

Efficient orchestration of Node-RED IoT workflows using a Vector Symbolic Architecture

Simpkin

Taylor

Harborne

et al. 2020

Future Generation Computer Systems

View full text Add to dashboard Cite

Numerous workflow systems span multiple scientific domains and environments, and for the Internet of Things (IoT), Node-RED offers an attractive Web based user interface to execute IoT service-based workflows. However, like most workflow systems, it coordinates the workflow centrally, and cannot run within more transient environments where nodes are mobile. To address this gap, we show how Node-RED workflows can be migrated into a decentralized execution environment for operation on mobile ad-hoc networks, and we demonstrate this by converting a Node-RED based traffic congestion detection workflow to operate in a decentralized environment. The approach uses a Vector Symbolic Architecture (VSA) to dynamically convert Node-Red applications into a compact semantic vector representation that encodes the service interfaces and the workflow in which they are embedded. By extending existing services interfaces, with a simple cognitive layer that can interpret and exchange the vectors, we show how the required services can be dynamically discovered and interconnected into the required workflow in a completely decentralized manner. The resulting system provides a convenient environment where the Node-RED front-end graphical composition tool can be used to orchestrate decentralized workflows. In this paper, we further extend this work by introducing a new dynamic VSA vector compression scheme that compresses vectors for on-the-wire communication, thereby reducing communication bandwidth while maintaining the semantic information content. This algorithm utilizes the holographic properties of the symbolic vectors to perform compression taking into consideration the number of combined vectors along with similarity bounds that determine conflict with other encoded vectors used in the same context. The resulting savings make this approach extremely efficient for discovery in service based decentralized workflows.

show abstract

“…ese formal definitions are used to evaluate the correctness, precision enforcement, and consistency of the collaboration of the BPMN model. Currently, the formal execution semantics of the BPMN model can be divided into two categories: those that use pure mathematics to describe the behaviours (such as Communicating Sequential Processes (CSP) [10], Z language, Formal Concept Analysis (https://www.upriss.org.uk/fca/fca.html), and Backus Naur Form (BNF) syntax [9,11]) and those that use Petri nets [12] to formalize the behaviours and business flows [13]. Various workflow modelling languages, such as YAWL [14], which are based on Petri nets, can extend Petri nets to address more complex workflows [15][16][17] and can be directly integrated with JAVA applications [18].…”

Section: Introductionmentioning

confidence: 99%

A Petri Nets Evolution Method that Supports BPMN Model Changes

2021

Scientific Programming

View full text Add to dashboard Cite

The correctness of the business process modelling notation (BPMN) is essential for software success, and the BPMN formalization is the foundation of the correctness verification process. However, dynamically adapting the formalized BPMN model to changes in the BPMN model and protecting tokens from being lost in the remapping formalization are the main limitations of the BPMN formalization under changing business requirements. To overcome these limitations, an approach for evolving a Petri nets model according to the BPMN changes is proposed in this paper. In this approach, a check algorithm is designed to identify the differences between the original BPMN model and the updated BPMN model. Then, the evolution rules of the extended Petri nets (EPN) model are defined according to the results of the checking program. Finally, these evolution rules are described in the query/view/transformation operational mapping (QVTo) language and implemented in the Eclipse platform. We demonstrate the effectiveness of the evolution of the BPMN formalization using a case study of the Web Payment business system. Moreover, the dynamic evolution of the BPMN formalization can maintain the consistency between the original model and the updated model, and this consistency has been successfully verified.

show abstract

DENEB: a platform for the development and execution of interoperable dynamic Web processes

Cited by 7 publications

References 45 publications

Design of frameworks for self‐adaptive service‐oriented applications: A systematic analysis

Design of frameworks for self‐adaptive service‐oriented applications: A systematic analysis

Efficient orchestration of Node-RED IoT workflows using a Vector Symbolic Architecture

A Petri Nets Evolution Method that Supports BPMN Model Changes

Contact Info

Product

Resources

About